Sources of, and Exploiting, Inconsistency: Preliminary Report

ABSTRACT Although much effort has been expended by researchers in trying to maintain a consistent belief base in formalizing commonsense reasoning, there is some evidence that the nature of commonsense reasoning itself brings inconsistencies with it. I will outline a number of sources of such inconsistencies, and discuss why they appear unavoidable. I will also suggest that, far from being a roadblock to effective commonsense, (detected) inconsistencies are often a reasoner's best guide to what to do next.

[1]  Donald Perlis,et al.  On the consistency of commonsense reasoning , 1986, Comput. Intell..

[2]  Michael J. Miller.  A view of one's past and other aspects of reasoned change in belief , 1993 .

[3]  Peter Gärdenfors,et al.  On the logic of theory change: Partial meet contraction and revision functions , 1985, Journal of Symbolic Logic.

[4]  David Makinson,et al.  On the logic of theory change: Safe contraction , 1985, Stud Logica.

[5]  Hirofumi Katsuno,et al.  On the Difference between Updating a Knowledge Base and Revising It , 1991, KR.

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

[7]  Lewis G. Creary,et al.  Propositional Attitudes: Fregean Representation and Simulative Reasoning , 1979, IJCAI.

[8]  W. Quine,et al.  The web of belief , 1970 .

[9]  Michael Miller.  Context Shifts and Clashes in Dialogues: An Active Logic Perspective , 1995, Fundam. Informaticae.

[10]  Donald Perlis.  Logic for a lifetime , 1998 .

[11]  Donald Perlis,et al.  Presentations and this and that: logic in action , 1998 .

[12]  J. McCarthy,et al.  History of Circumscription , 1993, Artif. Intell..

[13]  Donald Perlis,et al.  Languages With Self-Reference I: Foundations , 1985, Artif. Intell..

[14]  John L. Pollock,et al.  OSCAR: a general theory of rationality , 1990, J. Exp. Theor. Artif. Intell..

[15]  Donald Perlis,et al.  Reasoning situated in time I: basic concepts , 1990, J. Exp. Theor. Artif. Intell..

[16]  Marianne Winslett,et al.  Reasoning about Action Using a Possible Models Approach , 1988, AAAI.

[17]  Mary P. Harper,et al.  Managing Multiple Knowledge Sources in Constraint-Based Parsing of Spoken Language , 1995, Fundam. Informaticae.