Reasoning in Inconsistent Knowledge Bases.

John Grant, V. S. Subrahmanian: Reasoning in Inconsistent Knowledge Bases. IEEE Trans. Knowl. Data Eng. 7(1): 177-189(1995)

@article{DBLP:journals/tkde/GrantS95,
  author    = {John Grant and
               V. S. Subrahmanian},
  title     = {Reasoning in Inconsistent Knowledge Bases},
  journal   = {IEEE Trans. Knowl. Data Eng.},
  volume    = {7},
  number    = {1},
  year      = {1995},
  pages     = {177-189},
  ee        = {db/journals/tkde/GrantS95.html},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Abstract

Databases and knowledge bases could be inconsistent in many ways. For example, during the construction of an expert system, we may consult many different experts. Each expert may provide us with a group of rules and facts which are self-consistent. However, when we coalesce the facts and rules provided by these different experts, inconsistency may arise. Alternatively, knowledge bases may be inconsistent due to the presence of some erroneous information. Thus, a framework for reasoning about knowledge bases that contain inconsistent information is necessary. Such a framework was described in [1], [21]. However, existing frameworks for reasoning with inconsistency do not support reasoning by cases and reasoning with the law of excluded middle ("everything is either true or false"). In this paper, we show how reasoning with cases, and reasoning with the law of excluded middle may be captured. We develop a declarative and operational semantics for knowledge bases that are possibly inconsistent. We compare and contrast our work with work on explicit and non-monotonic modes of negation in logic programs and suggest under what circumstances one framework may be preferred over another.

Joint ACM SIGMOD / IEEE Computer Society Anthology

CDROM Version: Load the CDROM "Volume 3 Issue 3, TKDE 1993-1995" and ...

Windows: Click the letter of your CD drive
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Mac: Click here
UNIX/LINUX: mount the CD and click on the path of your mount point:
/Anthology/An3-3 or /cdrom

DVD Version: Load ACM SIGMOD Anthology DVD 2" and ...

Windows: Click the letter of your CD drive
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Mac: Click here
UNIX/LINUX: mount the DVD and click on the path of your mount point:
/Anthology/aDVD2 or /dvd

References

[1]: Howard A. Blair, V. S. Subrahmanian: Paraconsistent Logic Programming. Theor. Comput. Sci. 68(2): 135-154(1989)
[2]: ...
[3]: ...
[4]: ...
[5]: ...
[6]: Melvin Fitting: Bilattices and the Semantics of Logic Programming. J. Log. Program. 11(1&2): 91-116(1991)
[7]: Michael Gelfond, Vladimir Lifschitz: The Stable Model Semantics for Logic Programming. ICLP/SLP 1988: 1070-1080
[8]: Michael Gelfond, Vladimir Lifschitz: Logic Programs with Classical Negation. ICLP 1990: 579-597
[9]: ...
[10]: ...
[11]: ...
[12]: ...
[13]: ...
[14]: Yong Hu, Li-Yan Yuan: Extended Well-Founded Model Semantics for General Logic Programs. ICLP 1991: 412-425
[15]: Yannis E. Ioannidis, Timos K. Sellis: Conflict Resolution of Rules Assigning Values to Virtual Attributes. SIGMOD Conference 1989: 205-214
[16]: Krishnaprasad Thirunarayan, Michael Kifer, David Scott Warren: On the Declarative Semantics of Inheritance Networks. IJCAI 1989: 1099-1103
[17]: Michael Kifer, Eliezer L. Lozinskii: RI: A Logic for Reasoning with Inconsistency. LICS 1989: 253-262
[18]: Robert A. Kowalski, Fariba Sadri: Logic Programs with Exceptions. ICLP 1990: 598-613
[19]: John W. Lloyd: Foundations of Logic Programming, 2nd Edition. Springer 1987, ISBN 3-540-18199-7
[20]: ...
[21]: Tadao Murata, V. S. Subrahmanian, Toshiro Wakayama: A Petri Net Model for Reasoning in the Presence of Inconsistency. IEEE Trans. Knowl. Data Eng. 3(3): 281-292(1991)
[22]: Shamim A. Naqvi, Francesca Rossi: Reasoning in Inconsistent Databases. NACLP 1990: 255-272
[23]: Stephen G. Pimentel, William L. Rodi: Belief Revision and Paraconsistency in a Logic Programming Framework. LPNMR 1991: 228-242
[24]: ...
[25]: Abraham Silberschatz, Michael Stonebraker, Jeffrey D. Ullman: Database Systems: Achievements and Opportunities. Commun. ACM 34(10): 110-120(1991)
[26]: V. S. Subrahmanian: Paraconsistent Disjunctive Deductive Databases. Theor. Comput. Sci. 93(1): 115-141(1992)
[27]: ...
[28]: Hisao Tamaki, Taisuke Sato: Unfold/Fold Transformation of Logic Programs. ICLP 1984: 127-138