Skip to main content

1999 | OriginalPaper | Buchkapitel

Geometric Interpretation of Strong Inconsistency in Knowledge Based Systems

verfasst von : E. Roanes-Lozano, E. Roanes-Macías, L. M. Laita

Erschienen in: Computer Algebra in Scientific Computing CASC’99

Verlag: Springer Berlin Heidelberg

Aktivieren Sie unsere intelligente Suche um passende Fachinhalte oder Patente zu finden.

search-config
loading …

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).

Metadaten
Titel
Geometric Interpretation of Strong Inconsistency in Knowledge Based Systems
verfasst von
E. Roanes-Lozano
E. Roanes-Macías
L. M. Laita
Copyright-Jahr
1999
Verlag
Springer Berlin Heidelberg
DOI
https://doi.org/10.1007/978-3-642-60218-4_29