A Fix-Point Semantics for Rule-Base Anomalies

Du Zhang
Additional contact information
Du Zhang: California State University, USA

International Journal of Cognitive Informatics and Natural Intelligence (IJCINI), 2007, vol. 1, issue 4, 14-25

Abstract: A crucial component of an intelligent system is its knowledge base (KB) that contains knowledge about a problem domain. KB development involves domain analysis, context space definition, ontological specification, and knowledge acquisition, codification, and verification. KB anomalies can affect the correctness and performance of an intelligent system. In this article, we describe a fix-point semantics for a KB that is based on a multi-valued logic. We then use the fix-point semantics to provide formal definitions for four types of KB anomalies: (1) inconsistency, (2) redundancy, (3) incompleteness, and (4) circularity. We believe such formal definitions of KB anomalies will help pave the way for a more effective KB verification process.

Date: 2007
References: Add references at CitEc
Citations:

Downloads: (external link)
http://services.igi-global.com/resolvedoi/resolve. ... 018/jcini.2007100102 (application/pdf)

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:igg:jcini0:v:1:y:2007:i:4:p:14-25

Access Statistics for this article

International Journal of Cognitive Informatics and Natural Intelligence (IJCINI) is currently edited by Kangshun Li

More articles in International Journal of Cognitive Informatics and Natural Intelligence (IJCINI) from IGI Global
Bibliographic data for series maintained by Journal Editor ().