Reliability Measure Theory: A Nonmonotonic Semantics

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]  Yoav Shoham,et al.  Chronological Ignorance: Experiments in Nonmonotonic Temporal Reasoning , 1988, Artif. Intell..

[2]  Y Shoham,et al.  Chronological ignorance , 1987 .

[3]  John McCarthy,et al.  Circumscription—a form of non-monotonic reasoning , 1987 .

[4]  Matthew L. Ginsberg,et al.  Multi-Valued Logics , 1986, AAAI.

[5]  Drew McDermott,et al.  A critique of pure reason 1 , 1987, The Philosophy of Artificial Intelligence.

[6]  Nuel D. Belnap,et al.  Entailment : the logic of relevance and necessity , 1975 .

[7]  David Poole,et al.  On the Comparison of Theories: Preferring the Most Specific Explanation , 1985, IJCAI.

[8]  Gerhard Brewka,et al.  Preferred Subtheories: An Extended Logical Framework for Default Reasoning , 1989, IJCAI.

[9]  Minkoo Kim,et al.  The semantics of multicontext interaction: an approach to reasoning with defaults , 1989 .

[10]  David S. Touretzky,et al.  Implicit Ordering of Defaults in Inheritance Systems , 1984, AAAI.

[11]  John McCarthy,et al.  Generality in artificial intelligence , 1987, Resonance.

[12]  Matthew L. Ginsberg,et al.  Multivalued logics: a uniform approach to reasoning in artificial intelligence , 1988, Comput. Intell..

[13]  John Wylie Lloyd,et al.  Foundations of Logic Programming , 1987, Symbolic Computation.

[14]  Drew McDermott,et al.  Default Reasoning, Nonmonotonic Logics, and the Frame Problem , 1986, AAAI.

[15]  Vladimir Lifschitz,et al.  Pointwise circumscription , 1987 .

[16]  Raymond Reiter,et al.  A Logic for Default Reasoning , 1987, Artif. Intell..

[17]  Michael R. Genesereth,et al.  Logical foundations of artificial intelligence , 1987 .

[18]  Drew McDermott,et al.  Non-Monotonic Logic I , 1987, Artif. Intell..

[19]  David Poole,et al.  A Logical Framework for Default Reasoning , 1988, Artif. Intell..

[20]  Hector Geffner,et al.  A Framework for Reasoning with Defaults , 1990 .

[21]  Ronald Prescott Loui,et al.  Defeat among arguments: a system of defeasible inference , 1987, Comput. Intell..

[22]  Sarit Kraus,et al.  Nonmonotonic Reasoning, Preferential Models and Cumulative Logics , 1990, Artif. Intell..

[23]  John McCarthy,et al.  Epistemological Problems of Artificial Intelligence , 1987, IJCAI.

[24]  David S. Touretzky,et al.  The Mathematics of Inheritance Systems , 1984 .

[25]  John McCarthy,et al.  Applications of Circumscription to Formalizing Common Sense Knowledge , 1987, NMR.