Knowledge-based Process Specification Language: A Specification and Validation Technique for Knowledge-based Systems

G. B. Prabhat and P. Srinivasan

This paper is the third in a series of papers to be presented on the KITS Methodology TM. In this paper, we focus on the verification and validation issues of Knowledge-Based Systems with particular reference to Knowledge-Based Process Specification Language, a shell-independent technique we had developed for the formal specification and subsequent validation of Knowledge- Based Processes.


This page is copyrighted by AAAI. All rights reserved. Your use of this site constitutes acceptance of all of AAAI's terms and conditions and privacy policy.