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:
Available
$37.50
No Current Special Offers
TOTAL SAVINGS: $37.50

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.

Complete Article List

Search this Journal:
Reset
Volume 16: 1 Issue (2022): Forthcoming, Available for Pre-Order
Volume 15: 4 Issues (2021)
Volume 14: 4 Issues (2020)
Volume 13: 4 Issues (2019)
Volume 12: 4 Issues (2018)
Volume 11: 4 Issues (2017)
Volume 10: 4 Issues (2016)
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