Geometric Interpretation of Strong Inconsistency in Knowledge Based Systems

E. Roanes-Lozano, E. Roanes-Macías and L. M. Laita
Additional contact information
E. Roanes-Lozano: Universidad Complutense de Madrid, Dept. Algebra, Edificio “Almudena”
E. Roanes-Macías: Universidad Complutense de Madrid, Dept. Algebra, Edificio “Almudena”
L. M. Laita: Universidad Politécnica de Madrid, Dept. Artificial Intelligence, Campus de Montegancedo

A chapter in Computer Algebra in Scientific Computing CASC’99, 1999, pp 349-363 from Springer

Abstract: Abstract This paper distinguishes between two different kinds of inconsistency of rule-based Knowledge Based Systems (KBSs) constructed on multi-valued logics, which we have denoted “weak inconsistency” and “strong inconsistency”, respectively. While “weak inconsistency” is the inconsistency studied in the verification related references listed at the end of the article, “strong inconsistency” is introduced in this paper. “Strong inconsistency” is a particular case of “weak inconsistency”. An interesting interpretation in terms of polynomial ideals and (discrete) algebraic varieties is provided. Finally, an implementation in the Computer Algebra System (CAS) Maple is included. This implementation provides both a visualization of “strong inconsistency” and symbolic results (directly handling truth tables).

Keywords: Verification; KBSs; Multivalued Logics; Algebraic Varieties; Visualization (search for similar items in EconPapers)
Date: 1999
References: Add references at CitEc
Citations:

There are no downloads for this item, see the EconPapers FAQ for hints about obtaining it.

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:spr:sprchp:978-3-642-60218-4_29

Ordering information: This item can be ordered from
http://www.springer.com/9783642602184

DOI: 10.1007/978-3-642-60218-4_29

Access Statistics for this chapter

More chapters in Springer Books from Springer
Bibliographic data for series maintained by Sonal Shukla () and Springer Nature Abstracting and Indexing ().