Applying rule-base anomalies to KADS inference structures (1998)
| Venue: | Working Notes from IJCAI-95 Workshop on Veri cation and Validation of Knowledge-Based Systems |
| Citations: | 7 - 2 self |
BibTeX
@INPROCEEDINGS{Harmelen98applyingrule-base,
author = {Frank Van Harmelen and Ai Group},
title = {Applying rule-base anomalies to KADS inference structures},
booktitle = {Working Notes from IJCAI-95 Workshop on Veri cation and Validation of Knowledge-Based Systems},
year = {1998},
pages = {271--280}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
The literature on validation and verification of knowledge-based systems contains a catalogue of anomalies for knowledge-based systems, such as redundant, contradictory or deficient knowledge. Detecting such anomalies is a method for verifying knowledge-based systems. Unfortunately, the traditional formulation of the anomalies in the literature is very specific to a rule-based knowledge representation, which greatly restricts their applicability. In this paper, we show how the traditional anomalies can be reinterpreted in terms of conceptual models (in particular KADS inference structures). For this purpose, we present a formalisation of KADS inference structures which enables us to apply the traditional rulebase anomalies to these inference structures. This greatly improves the usefulness of the anomalies, since they can now be applied to a much wider class of knowledge-based systems. Besides this reformulation and wider applicability of the traditional anomalies, further contribution...
