Reliability Measure Theory: A Nonmonotonic Semantics.

Minkoo Kim, Anthony S. Maida: Reliability Measure Theory: A Nonmonotonic Semantics. IEEE Trans. Knowl. Data Eng. 5(1): 41-51(1993)

@article{DBLP:journals/tkde/KimM93,
  author    = {Minkoo Kim and
               Anthony S. Maida},
  title     = {Reliability Measure Theory: A Nonmonotonic Semantics},
  journal   = {IEEE Trans. Knowl. Data Eng.},
  volume    = {5},
  number    = {1},
  year      = {1993},
  pages     = {41-51},
  ee        = {db/journals/tkde/KimM93.html},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Abstract

This paper develops a new semantic framework for nonmonotonic reasoning. Specifically this paper proposes a reliability measure theory based on multivalued logics that view a knowledge base as set of contexts, and compares the contexts according to some reliability measure. The proposed theory shows higher precision of nonmonotonic reasoning than other approaches. In particular, the qualification problem does not occur and many unwanted conflicts are eliminated.

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]: ...
[2]: ...
[3]: Gerhard Brewka: Preferred Subtheories: An Extended Logical Framework for Default Reasoning. IJCAI 1989: 1043-1048
[4]: ...
[5]: ...
[6]: Matthew L. Ginsberg: Multi-Valued Logics. AAAI 1986: 243-249
[7]: ...
[8]: Steve Hanks, Drew V. McDermott: Default Reasoning, Nonmonotonic Logics, and the Frame Problem. AAAI 1986: 328-333
[9]: ...
[10]: Sarit Kraus, Daniel J. Lehmann, Menachem Magidor: Nonmonotonic Reasoning, Preferential Models and Cumulative Logics. Artif. Intell. 44(1-2): 167-207(1990)
[11]: Vladimir Lifschitz: Pointwise Circumscription: Preliminary Report. AAAI 1986: 406-410
[12]: ...
[13]: John W. Lloyd: Foundations of Logic Programming, 1st Edition. Springer 1984, ISBN 3-540-13299-6
[14]: ...
[15]: John L. McCarthy: Epistemological Problems of Artificial Intelligence. IJCAI 1977: 1038-1044
[16]: John McCarthy: Circumscription - A Form of Non-Monotonic Reasoning. Artif. Intell. 13(1-2): 27-39(1980)
[17]: John McCarthy: Applications of Circumscription to Formalizing Common-Sense Knowledge. Artif. Intell. 28(1): 89-116(1986)
[18]: John L. McCarthy: Generality in Artificial Intelligence. Commun. ACM 30(12): 1029-1035(1987)
[19]: ...
[20]: Drew V. McDermott, Jon Doyle: Non-Monotonic Logic I. Artif. Intell. 13(1-2): 41-72(1980)
[21]: Peter F. Patel-Schneider: A Decidable First-Order Logic for Knowledge Representation. IJCAI 1985: 455-458
[22]: David Poole: On the Comparison of Theories: Preferring the Most Specific Explanation. IJCAI 1985: 144-147
[23]: David Poole: A Logical Framework for Default Reasoning. Artif. Intell. 36(1): 27-47(1988)
[24]: Raymond Reiter: A Logic for Default Reasoning. Artif. Intell. 13(1-2): 81-132(1980)
[25]: ...
[26]: Yoav Shoham: Chronological Ignorance: Time, Nonmonotonicity, Necessity and Causal Theories. AAAI 1986: 389-393
[27]: David S. Touretzky: Implicit Ordering of Defaults in Inheritance Systems. AAAI 1984: 322-325
[28]: David S. Touretzky: The Mathematics of Inheritance Systems. Morgan Kaufmann 1986, ISBN 0-934613-06-0