ACM SIGMOD Anthology TKDE dblp.uni-trier.de

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}
}
BibTeX

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.

Copyright © 1993 by The Institute of Electrical and Electronic Engineers, Inc. (IEEE). Abstract used with permission.


Joint ACM SIGMOD / IEEE Computer Society Anthology

CDROM Version: Load the CDROM "Volume 3 Issue 3, TKDE 1993-1995" and ... DVD Version: Load ACM SIGMOD Anthology DVD 2" and ... BibTeX

References

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