Approximate declarative semantics for rule base anomalies
Abstract
Despite the fact that there has been a surge of publications in verification and validation of knowledge-based systems and expert systems in the past decade, there are still gaps in the study of verification and validation (V&V) of expert systems, not the least of which is the lack of appropriate semantics for expert system programming languages. Without a semantics, it is hard to formally define and analyze knowledge base anomalies such as inconsistency and redundancy, and it is hard to assess the effectiveness of V&V tools, methods and techniques that have been developed or proposed. In this paper, we develop an approximate declarative semantics for rule-based knowledge bases and provide a formal definition and analysis of knowledge base inconsistency, redundancy, circularity and incompleteness in terms of theories in the first order predicate logic. In the paper, we offer classifications of commonly found cases of inconsistency, redundancy, circularity and incompleteness. Finally, general guidelines on how to remedy knowledge base anomalies are given.
Description
The article of record as published may be found at https://doi.org/10.1016/S0950-7051(99)00032-5
Rights
This publication is a work of the U.S. Government as defined in Title 17, United States Code, Section 101. Copyright protection is not available for this work in the United States.Collections
Related items
Showing items related by title, author, creator and subject.
-
A Mathematical Framework to Apply Tradespace Exploration to the Design of Verification Strategies
Salado, Alejandro; Farkhondehmaal, Farshad (Monterey, California. Naval Postgraduate School, 2018-04-30); SYM-AM-18-105This paper is intended to disseminate some initial outcomes of the NPS Research Acquisition Program's "Tradespace Exploration for Better Verification Strategies"project. The research addresses the design of verification ... -
The Department of the Navy Systems Engineering Career Competency Model
Whitcomb, Clifford; Delgado, Jessica; Khan, Rabia; Alexander, Juli; White, Corina; Grambow, Dana; Walter, Paul (Monterey, California. Naval Postgraduate School, 2015-04-30);The Naval Postgraduate School is developing a competency model for the profession of systems engineering. There is currently no professional engineering occupational code (08XX) for systems engineers, so there is no verified ... -
ESKAPE/CF: a knowledge acquisition tool for expert systems using cognitive feedback
Connor, James W. (Monterey, California. Naval Postgraduate School, 1991-03);The major bottleneck in the construction of expert systems is the time-consuming process of acquiring knowledge from experts. Automated knowledge acquisition tools have demonstrated the ability to reduce the time required ...