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

Contents

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.