This Article 
 Bibliographic References 
 Add to: 
Reliability Measure Theory: A Nonmonotonic Semantics
February 1993 (vol. 5 no. 1)
pp. 41-51

A semantic framework for nonmonotonic reasoning is developed. Specifically, a reliability measure theory based on multivalued logics that view a knowledge base as a set of contexts is proposed, and the contexts are compared 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.

[1] A. Anderson and N. Belnap,Entailment: The Logic of Relevance and Necessity, Vol. I. Princeton, NJ: Princeton University, 1975.
[2] N. A., "A useful four-valued logic," inModern Uses of Multiple-Valued Logic, J. M. Dunn and G. Epstein, Eds. Dordrecht, Germany: D. Reidel, 1977, pp. 8-37.
[3] G. Brewka, "Preferred subtheories: An extended logical framework for default reasoning," inProc. IJCAI-89, 1989, pp. 1043-1048.
[4] H. Geffner and J. Pearl, "A framework for reasoning with defaults," Tech. Rep. CSD-870066 R-94-II, Comput. Sci. Dep., Univ. of California, Los Angeles, CA, 1988.
[5] M.R. Genesereth and N.J. Nilsson,Logical Foundations of Artificial Intelligence, Morgan Kaufmann, San Mateo, Calif., 1987.
[6] M. L. Ginsberg, "Multi-valued logics," inProc. AAAI-86, vol. 1, 1986, pp. 243-247.
[7] M. L. Ginsberg, "Multivalued logics: A uniform approach to reasoning in artificial intelligence,"Computation. Intell., vol. 4, pp. 265-316, 1988.
[8] D. Hanks and D. McDermott, "Default reasoning, nonmonotonic logics, and the frame problem," inProc. AAAI-86, 1986, pp. 328-333.
[9] M. Kim, "The semantics of multicontext interaction: An approach to reasoning with defaults," Ph.D. dissertation, The Pennsylvania State Univ., 1989.
[10] S. Kraus, D. Lehmann, and M. Magidor, "Nonmonotonic reasoning, preferential models and cumulative logics,"Artificial Intell., vol. 44, pp. 167-207, 1990.
[11] V. Lifschitz, "Pointwise circumscription," inProc. AAAI-86, 1986, pp. 406-410.
[12] V. Lifschitz, "Formal theories of action," inReading in Nonmonotonic Reasoning, Matthew L. Ginsberg, Ed. Los Altos, CA: Morgan Kaufmann, 1987.
[13] J. W. Lloyd,Foundations of Logic Programming, New York: Springer, 1984.
[14] R. P. Loui, "Defeat among arguments: A system of defeasible inference,"Computation. Intell., 1987.
[15] J. McCarthy, "Epistemological problems of artificial intelligence," inProc. IJCAI-77, 1977, pp. 1038-1044.
[16] J. McCarthy, "Circumscription--A form of non-monotonic reasoning,"Artif. Intell., vol. 13, pp. 27-39, 1980.
[17] McCarthy, J., 1986. "Applications of Circumscription to Formalizing Common Sense Knowledge."Artificial Intelligence, April 1986.
[18] McCarthy, J., 1987. "Generality in Artificial Intelligence,"Communications of the ACM. Vol. 30, No. 12, pp. 1030-1035.
[19] D. McDermott, "A critique of pure reason,"Computation. Intell., vol. 3, pp. 151-160, 1987.
[20] D. McDermott and J. Doyle, "Non-monotonic logic,"Artif. Intell., vol. 13, pp. 41-72, 1980.
[21] F. P. Patel-Schneider, "A decidable first-order logic for knowledge representation," inProc. IJCAI-85, vol. 1, pp. 455-458, 1985.
[22] D. Poole, "On the comparison of theories: Preferring the most specific explanation," inProc. IJCAI-85, vol. 1, pp. 144-147, 1985.
[23] D. Poole, "A logical framework for default reasoning,"Artificial Intell., vol. 36, pp. 27-47, 1988.
[24] R. Reiter, "A logic for default reasoning,"Artif. Intell., vol. 13, pp. 81-132, 1980.
[25] S. Shapiro and M. Wand, "The relevance of relevance," Tech. Rep. No. 46, Comput. Sci. Dep., Indiana Univ., 1976.
[26] Y. Shoham, "Chronological ignorance," inProc. AAAI-86, 1986, pp. 389-393.
[27] D. S. Touretzky, "Implicit ordering of defaults in inheritance systems," inProc. AAAI-84, 1984.
[28] D. Touretzky,The Mathematics of Inheritance Systems, San Mateo, CA: Morgan Kaufmann, 1986.

Index Terms:
reliability measure theory; nonmonotonic semantics; semantic framework; nonmonotonic reasoning; multivalued logics; knowledge base; knowledge based systems; many-valued logics; nonmonotonic reasoning; semantic networks
M. Kim, A.S. Maida, "Reliability Measure Theory: A Nonmonotonic Semantics," IEEE Transactions on Knowledge and Data Engineering, vol. 5, no. 1, pp. 41-51, Feb. 1993, doi:10.1109/69.204090
Usage of this product signifies your acceptance of the Terms of Use.