The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.03 - June (1993 vol.8)
pp: 76-81
ABSTRACT
<p>Two research projects that have examined problems related to system verification and validation and the associated issue of maintenance are described. The Mekas (Methodology for Knowledge Analysis) Project has developed a method to give knowledge engineers a thorough characterization of the domain, that is, a full description of the ontology, structure, functions, and theories that underpin the domain. This provides a coherent framework within which a knowledge base can be more readily identified with key aspects of the domain, aiding verification and validation. The second project, known as MAKE (Maintenance Assistance for Knowledge Engineers), was aimed at the process of constructing and revising the knowledge base. It is argued that the primary focus of verification and validation must be on the models, and the transitions between them, rather than simply on the executable representation.</p>
CITATION
Trevor Bench-Capon, Frans Coenen, Hyacinth Nwana, Ray Paton, Michael Shave, "Two Aspects of the Validation and Verification of Knowledge-Based Systems", IEEE Intelligent Systems, vol.8, no. 3, pp. 76-81, June 1993, doi:10.1109/64.215226
22 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool