Abstract In their recent celebrated paper, Hanks and McDermott presented a simple problem in temporal reasoning which showed that a seemingly natural representation of a frame axiom in nonmonotonic logic can give rise to an anomalous extension, i.e., one which is counter-intuitive in that it does not appear to be supported by the known facts. An alternative, less formal approach to nonmonotonic reasoning uses the mechanism of a truth maintenance system (TMS). Surprisingly, when reformulated in terms of a TMS, the anomalous extension noted by Hanks and McDermott disappears. We analyze the reasons for this. First it is seen that anomalous extensions are not limited to temporal reasoning, but can occur in simple nontemporal default reasoning as well. In these cases also, the natural TMS representation avoids the problem. Exploring further, it is observed that the form of the TMS justifications resembles that of nonnormal default rules. Nonnormal rules have already been proposed as a means of avoiding anomalous extensions in some nontemporal reasoning situations. It appears that, suitably formulated, they can exclude the anomalous extension in the Hanks-McDermott case also, although the representation does not adjust smoothly to fresh information, as does the TMS. Some variant of default logic appears to be required to provide a correct semantic basis for truth maintenance systems.
[1]
Jon Doyle,et al.
A Truth Maintenance System
,
1979,
Artif. Intell..
[2]
Raymond Reiter,et al.
A Logic for Default Reasoning
,
1987,
Artif. Intell..
[3]
David W. Etherington.
Formalizing Nonmonotonic Reasoning Systems
,
1987,
Artif. Intell..
[4]
J. McCarthy.
CIRCUMSCRIPTION — A FORM OF NONMONOTONIC REASONING
,
2007
.
[5]
Gerald J. Sussman,et al.
Forward Reasoning and Dependency-Directed Backtracking in a System for Computer-Aided Circuit Analysis
,
1976,
Artif. Intell..
[6]
John McCarthy,et al.
Circumscription - A Form of Non-Monotonic Reasoning
,
1980,
Artif. Intell..
[7]
Drew McDermott,et al.
Default Reasoning, Nonmonotonic Logics, and the Frame Problem
,
1986,
AAAI.
[8]
L. Hallnäs,et al.
A Note on Non-Monotonic Reasoning
,
1987
.
[9]
Fangzhen Lin,et al.
Reasoning in the Presence of Inconsistency
,
1987,
AAAI.
[10]
John McCarthy,et al.
Applications of Circumscription to Formalizing Common Sense Knowledge
,
1987,
NMR.
[11]
Yoav Shoham,et al.
Chronological Ignorance: Time, Nonmonotonicity, Necessity and Causal Theories
,
1986,
AAAI.
[12]
Raymond Reiter,et al.
SOME REPRESENTATIONAL ISSUES IN DEFAULT REASONING
,
1980
.