Nondeterministic Actions and the Frame Problem

Craig Boutilier, Nir Friedman

Research output: Contribution to conferencePaperpeer-review

5 Scopus citations


We describe a logical system and methodology for the natural specification of nondeterministic actions. The logic combines elements of dynamic logic, process logic and the situation calculus and allows one to express alternative (actual and possible) paths or sequences of events. Our system permits a simple solution to the frame problem for nondeterministic actions that “completes” user-supplied theories of action. While drawing inspiration from Reiter’s solution for the deterministic case, some of the main intuitions underlying this solution must be abandoned in the nondeterministic setting due to possible correlations among effects. We show our completion is unambiguous and faithful to our stated intuitions, and that in a deterministic setting our solution is equivalent to that of Reiter.

Original languageAmerican English
StatePublished - 1995
Externally publishedYes
Event1995 AAAI Spring Symposium - Palo Alto, United States
Duration: 27 Mar 199529 Mar 1995


Conference1995 AAAI Spring Symposium
Country/TerritoryUnited States
CityPalo Alto

Bibliographical note

Publisher Copyright:
copyright © 1995, AAAI ( All rights reserved.


Dive into the research topics of 'Nondeterministic Actions and the Frame Problem'. Together they form a unique fingerprint.

Cite this