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

This paper presents a knowledge-level analysis of the program supervision task based on two different systems: PEGASE and PULSAR. A knowledge-level analysis of a knowledge-based system reveals the organisation of the knowledge it uses and how it uses this knowledge to solve the task. It is also the...

Full description

Saved in:
Bibliographic Details
Published in:Applied intelligence (Dordrecht, Netherlands) Netherlands), 1999-03, Vol.10 (2-3), p.185-196
Main Authors: Marcos, Mar, Moisan, Sabine, Del Pobil, Angel P
Format: Article
Language:English
Subjects:
Expert systems
Intelligence
Knowledge
Knowledge base
Knowledge bases (artificial intelligence)
Knowledge engineering
Mathematical models
Program verification (computers)
Pulsars
Studies
Supervision
Tasks
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:This paper presents a knowledge-level analysis of the program supervision task based on two different systems: PEGASE and PULSAR. A knowledge-level analysis of a knowledge-based system reveals the organisation of the knowledge it uses and how it uses this knowledge to solve the task. It is also the key to determine the properties that it assumes about domain knowledge. These aspects of knowledge-level analysis have been successfully used as a framework to compare different systems, mostly for knowledge engineering purposes. This paper also describes how domain knowledge assumptions have been exploited in the implementation of a verification module for program supervision knowledge bases.[PUBLICATION ABSTRACT]
ISSN:0924-669X
1573-7497
DOI:10.1023/A:1008375803305