Verification of multi-level rule-based expert systems

Authors:
Pedro Meseguer
Affiliations:
Centre d'Estudis Avançats de Blanes, C.S.I.C., Blanes, Girona, Spain
Venue:
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 1
Year:
1991

Citing 4
Cited 0

An assumption-based TMS

Artificial Intelligence
A decision-table-used processor for checking completeness and consistency in rule-based expert systems

International Journal of Man-Machine Studies
Supporting Start-to-Finish Development of Knowledge Bases

Machine Learning
Checking an expert systems knowledge base for consistency and completeness

IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 1

Quantified Score

Hi-index	0.00

Visualization

Abstract

Verification methods and tools developed so far have assumed a very simple model of rule-based expert system (RBES). Current RBES often do not comply this model and require more sophisticated verification techniques. A RBES model including uncertainty and control has been used to analyze four verification issues (inconsistency, redundancy, circularity and useless RB objects), identifying a number of new verification problems. The concepts of labels and environments (deKleer 1986) have been extended to incorporate uncertainty and control information, obtaining the constructs extended-labels and extended-environments. They have been used to express and solve these new verification problems.