## Explanation Closure, Action Closure, and the Sandewall Test Suite for Reasoning about Change (1992)

Venue: | Journal of Logic and Computation |

Citations: | 17 - 2 self |

### BibTeX

@ARTICLE{Schubert92explanationclosure,,

author = {Lenhart K. Schubert},

title = {Explanation Closure, Action Closure, and the Sandewall Test Suite for Reasoning about Change},

journal = {Journal of Logic and Computation},

year = {1992},

volume = {4},

pages = {4--5}

}

### OpenURL

### Abstract

Explanation closure (EC) axioms were previously introduced as a means of solving the frame problem. This paper provides a thorough demonstration of the power of EC combined with action closure (AC) for reasoning about dynamic worlds, by way of Sandewall's test suite of 12-or-so problems [29-31]. Sandewall's problems range from the "Yale turkey shoot" (and variants) to the "stuffy room" problem, and were intended as a test and challenge for nonmonotonic logics of action. The EC/AC-based solutions for the most part do not resort to nonmonotonic reasoning at all, yet yield the intuitively warranted inferences in a direct, transparent fashion. While there are good reasons for ultimately employing nonmonotonic or probabilistic logics -- e.g., pervasive uncertainty and the qualification problem -- this does show that the scope of monotonic methods has been underestimated. Subsidiary purposes of the paper are to clarify the intuitive status of EC axioms in relation to action effect axioms; and to show how EC, previously formulated within the situation calculus, can be applied within the framework of a temporal logic similar to Sandewall's "discrete uent logic", with some gains in clarity.