Two Aspects of the Validation and Verification of Knowledge-Based Systems

Authors:
Trevor Bench-Capon;Frans Coenen;Hyacinth Nwana;Ray Paton;Michael Shave
Affiliations:
-;-;-;-;-
Venue:
IEEE Expert: Intelligent Systems and Their Applications
Year:
1993

Citing 0
Cited 3

Ontologies in legal information systems; the need for explicit specifications of domain conceptualisations

Proceedings of the 6th international conference on Artificial intelligence and law
A High-Level Petri Nets-Based Approach to Verifying Task Structures

IEEE Transactions on Knowledge and Data Engineering
Prototype of an Intelligent Failure Analysis System

ICCBR '01 Proceedings of the 4th International Conference on Case-Based Reasoning: Case-Based Reasoning Research and Development

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.