Knowledge Modeling of Program Supervision Task and its Application to Knowledge Base Verification

Authors:
Mar Marcos;Sabine Moisan;Angel P. Del Pobil
Affiliations:
Universitat Jaume I, Dept. of Computer Science, Campus de Riu Sec, E-12071 Castellón, Spain;INRIA—Sophia Antipolis, BP 93, F-06902 Sophia Antipolis Cedex, France;Universitat Jaume I, Dept. of Computer Science, Campus de Riu Sec, E-12071 Castellón, Spain
Venue:
Applied Intelligence
Year:
1999

Citing 2
Cited 0

CommonKADS: A Comprehensive Methodology for KBS Development

IEEE Expert: Intelligent Systems and Their Applications
Assumptions of Problem-Solving Methods

EKAW '96 Proceedings of the 9th European Knowledge Acquisition Workshop on Advances in Knowledge Acquisition

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper presents a knowledge-level analysis of the programsupervision task based on two different systems: PEGASE and PULSAR. Aknowledge-level analysis of a knowledge-based system reveals the organisationof the knowledge it uses and how it uses this knowledge to solve the task. Itis also the key to determine the properties that it assumes about domainknowledge. These aspects of knowledge-level analysis have been successfully used as a framework to compare different systems, mostly for knowledge engineering purposes. This paper alsodescribes how domain knowledge assumptions have been exploited in theimplementation of a verification module for program supervision knowledge bases.