@TECHREPORT{R-96-04,
PSURL = {/publications/cgi-bin/tr-fetch.pl?r-96-04+ps},
NUMBER = {R-96-04},
INSTITUTION = ida,
ADDRESS = idaaddr,
YEAR = {1996},
AUTHOR = {Drakengren, Thomas},
TITLE = {Compositionality and the Frame Problem},
ABSTRACTURL = {/publications/cgi-bin/tr-fetch.pl?r-96-04+abstr},
ABSTRACT = {The problem of compositionally specifying effects of actions has not yet received an appropriate solution, as shown in this paper. A general semantic-based method is proposed, the effect law semantics, which solves this, and has an associated logic for specification of actions. In addition, the semantics completely separates effects of actions from assumptions about inertia (the frame problem), and whether actions have their intended effects or not. This makes it suitable for generalisations, such as handling surprises and actions that may fail.}