Lenhart K. Schubert, "Explanation Closure, Action Closure, and the Sandewall Test Suite for Reasoning about Change," Technical Report 440, Department of Computer Science, University of Rochester, Rochester, NY, October 1992. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Actions and Events in Interval Temporal Logic - Allen, Ferguson (1994) (60 citations) (Correct)
....will not affect the proof that the turkey is dead. Adding a more complicated action, such as eating lunch, with preconditions and effects would not be any different, provided it didn t affect the validity of the closure axioms (as it shouldn t if it is independent of loading and shooting) As Schubert [1992] has remarked, the formulation based on explanation closure makes strong assumptions about the situation, as reflected in the closure axioms. In particular, the axiom AX5 that nothing else happens rules out many of the problems that arise in nonmonotonic approaches to this problem, such as ....
Lenhart K. Schubert, "Explanation Closure, Action Closure, and the Sandewall Test Suite for Reasoning about Change," Technical Report 440, Department of Computer Science, University of Rochester, Rochester, NY, October 1992.
Knowledge Representation and Reasoning for.. - George Montague Ferguson (1995) (6 citations) Self-citation (Schubert) (Correct)
....will not affect the proof that the turkey is dead. Adding a more complicated action, such as eating lunch, with preconditions and effects would not be any different, provided it didn t affect the validity of the closure axioms (as it shouldn t if it is independent of loading and shooting) As Schubert [1992] has remarked, the formulation based on explanation closure makes strong assumptions about the situation, as reflected in the closure axioms. In particular, the axiom AX5 that nothing else happens rules out many of the problems that arise in nonmonotonic approaches to this problem, such as ....
Lenhart K. Schubert, "Explanation Closure, Action Closure, and the Sandewall Test Suite for Reasoning about Change," Technical Report 440, Department of Computer Science, University of Rochester, Rochester, NY, October 1992.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC