Consistency-motivated reason maintenance in hypothetical reasoning

We present a general framework for logic-based hypothetical reasoning, which introduces truth maintenance, as a collection of truth tables, to Theorist-like hypothetical reasoning systems. This framework uses full first-order logic, performs nonmonotonic reasoning by maintaining refutable theories, and incrementally identifies and records information (similar to the TMS-like caching mechanism) about inconsistencies and derived implicit knowledge, to improve overall search efficiency. The proposed framework retains the simplicity of hypothetical reasoning and adds the advantage of an incremental dynamic truth maintenance system. Experimental results provide evidence for efficiency advantages of the proposed framework.

[1]  ABDUL SATTAR,et al.  Using crucial literals to select better theories , 1991, Comput. Intell..

[2]  João P. Martins,et al.  The Truth, the Whole Truth, and Nothing But the Truth , 1990, AI Mag..

[3]  Oskar Dressler,et al.  An Extended Basic ATMS , 1988, NMR.

[4]  Pascal Van Hentenryck,et al.  Forward Checking in Logic Programming , 1987, ICLP.

[5]  Drew McDermott,et al.  A General Framework for Reason Maintenance , 1991, Artif. Intell..

[6]  Kenneth D. Forbus,et al.  Building Problem Solvers , 1993 .

[7]  David Poole.  Variables in Hypotheses , 1987, IJCAI.

[8]  Randy Goebel,et al.  Theorist: A Logical Reasoning System for Defaults and Diagnosis , 1987 .

[9]  David A. McAllester.  Truth Maintenance , 1990, AAAI.

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

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

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

[13]  Hisao Tamaki,et al.  OLD Resolution with Tabulation , 1986, ICLP.

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

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

[16]  David A. McAllester.  An Outlook on Truth Maintenance. , 1980 .

[17]  Hwee Tou Ng,et al.  An Efficient First-Order Horn-Clause Abduction System Based on the ATMS , 1991, AAAI.

[18]  David Poole,et al.  Explanation and prediction: an architecture for default and abductive reasoning , 1989, Comput. Intell..

[19]  Abdul Sattar,et al.  On the efficiency of logic-based diagnosis , 1990, IEA/AIE '90.

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