Multivalued logics: a uniform approach to reasoning in artificial intelligence

This paper describes a uniform formalization of much of the current work in artificial intelligence on inference systems. We show that many of these systems, including first‐order theorem provers, assumption‐based truth maintenance systems (atmss), and unimplemented formal systems such as default logic or circumscription, can be subsumed under a single general framework.

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

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

[3]  Tomasz Imielinski,et al.  Results on Translating Defaults to Circumscription , 1985, IJCAI.

[4]  T. Kuhn,et al.  The Structure of Scientific Revolutions. , 1964 .

[5]  Raymond Reiter,et al.  A Theory of Diagnosis from First Principles , 1986, Artif. Intell..

[6]  Raymond Reiter,et al.  On Inheritance Hierarchies With Exceptions , 1983, AAAI.

[7]  Robert C. Moore.  Semantical Considerations on Nonmonotonic Logic , 1985, IJCAI.

[8]  Michael R. Genesereth,et al.  The Use of Design Descriptions in Automated Diagnosis , 1984, Artif. Intell..

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

[10]  V. Lifschitz.  Formal theories of action , 1987 .

[11]  Matthew L. Ginsberg,et al.  Possible Worlds Planning , 1987 .

[12]  Brian C. Williams,et al.  Diagnosing Multiple Faults , 1987, Artif. Intell..

[13]  William F. Clocksin,et al.  Programming in Prolog , 1987, Springer Berlin Heidelberg.

[14]  Erik Sandewall,et al.  A Functional Approach to Non-Monotonic Logic , 1985, IJCAI.

[15]  G. Grätzer.  General Lattice Theory , 1978 .

[16]  Richard O. Duda,et al.  Subjective bayesian methods for rule-based inference systems , 1976, AFIPS '76.

[17]  Edward H. Shortliffe,et al.  Computer-based medical consultations, MYCIN , 1976 .

[18]  Matthew L. Ginsberg.  Implementing Probabilistic Reasoning , 1985, UAI.

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

[20]  David E. Smith,et al.  Reasoning About Action I: A Possible Worlds Approach , 1987, Artif. Intell..

[21]  Herbert B. Enderton,et al.  A mathematical introduction to logic , 1972 .

[22]  James P. Delgrande,et al.  A Formal Approach to Learning From Examples , 1987, IJCAI.

[23]  Michael Gelfond,et al.  On Stratified Autoepistemic Theories , 1987, AAAI.

[24]  David W. Etherington,et al.  Reasoning with incomplete information: investigations of non-monotonic reasoning , 1986 .

[25]  Raymond Reiter,et al.  On Interacting Defaults , 1981, IJCAI.

[26]  Glenn Shafer,et al.  A Mathematical Theory of Evidence , 2020, A Mathematical Theory of Evidence.

[27]  Vladimir Lifschitz,et al.  Pointwise Circumscription: Preliminary Report , 1986, AAAI.

[28]  Michael R. Genesereth,et al.  An Overview of Meta-Level Architecture , 1983, AAAI.

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

[30]  Allen Van Gelder,et al.  Negation as Failure using Tight Derivations for General Logic Programs , 1988, J. Log. Program..

[31]  Dana S. Scott,et al.  Some Ordered Sets in Computer Science , 1982 .

[32]  Erik Sandewall,et al.  A functional approach to non‐monotonic logic 1 , 1985 .

[33]  Johan de Kleer,et al.  An Assumption-Based TMS , 1987, Artif. Intell..

[34]  Nils J. Nilsson,et al.  Probabilistic Logic * , 2022 .

[35]  Drew McDermott,et al.  Nonmonotonic Logic II: Nonmonotonic Modal Theories , 1982, JACM.

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

[37]  Jon Doyle,et al.  A Truth Maintenance System , 1979, Artif. Intell..

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

[39]  J. Dekleer.  An assumption-based TMS , 1986 .

[40]  Raymond Reiter,et al.  Foundations of Assumption-based Truth Maintenance Systems: Preliminary Report , 1987, AAAI.

[41]  John McCarthy,et al.  Circumscription - A Form of Non-Monotonic Reasoning , 1980, Artif. Intell..

[42]  Matthew L. Ginsberg,et al.  Non-Monotonic Reasoning Using Dempster's Rule , 1984, AAAI.

[43]  Matthew L. Ginsberg.  A Circumscriptive Theorem Prover , 1989, Artif. Intell..

[44]  RICHARD 0. DUDA,et al.  Subjective bayesian methods for rule-based inference systems , 1899, AFIPS '76.