A Fix-Point Semantics for Rule-Base Anomalies

A Fix-Point Semantics for Rule-Base Anomalies

Du Zhang (California State University, USA)
DOI: 10.4018/jcini.2007100102
OnDemand PDF Download:


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.

Complete Article List

Search this Journal:
Open Access Articles: Forthcoming
Volume 11: 4 Issues (2017): Forthcoming, Available for Pre-Order
Volume 10: 4 Issues (2016): 2 Released, 2 Forthcoming
Volume 9: 4 Issues (2015)
Volume 8: 4 Issues (2014)
Volume 7: 4 Issues (2013)
Volume 6: 4 Issues (2012)
Volume 5: 4 Issues (2011)
Volume 4: 4 Issues (2010)
Volume 3: 4 Issues (2009)
Volume 2: 4 Issues (2008)
Volume 1: 4 Issues (2007)
View Complete Journal Contents Listing