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

IDA Technical Reports: abstract

Generated: Sun, 18 Feb 2018 09:38:37

Sandewall, E. (1996). Comparative Assessment of Update Methods Using Static Domain Constraints. Technical Report LiTH-IDA-R-96-20, Department of Computer and Information Science, Linköping University, Sweden. (bibtex),

Abstract: The paper analyzes and compares methods for ramification, or for update, which are based on minimization of change while respecting static domain constraints. We analyze how the choice of minimization strategy affects the set of preferred new states. Besides the classical case of straight minimization, we analyze alternative cases where state variables (fluents) are partitioned into two or three kinds, such as occluded/unoccluded, persistent/nonpersistent, frame/nonframe, or released/nonreleased, and where minimization treats changes in these categories differently. This includes the methods previously proposed by del Val and Shoham, and by Kartha and Lifschitz. We also discuss and analyze an additional technique, called changeset-partitioning, where minimization is done separately for each outcome of a nondeterministic action. We relate it to the previous methods, and argue that this new method is generally to be preferred over them.

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