IDA Dept. of Computer and Information science, Linköping University

IDA Technical Reports: abstract

Generated: Sun, 26 Mar 2017 17:01:11

Drakengren, T. (1996). Compositionality and the Frame Problem. Technical Report LiTH-IDA-R-96-04, Department of Computer and Information Science, Linköping University, Sweden. (bibtex),

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.

Goto (at Linköping University): CS Dept TR Overview