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

IDA Technical Reports: abstract

Generated: Sat, 21 Apr 2018 03:51:08

Bäckström, C. (1988). A Representation of Coordinated Actions Characterized by Interval Valued Conditions. Technical Report LiTH-IDA-R-88-06, Department of Computer and Information Science, Linköping University, Sweden. Also in Proc. of ISMIS'88, Torino, Italy, 12-15 Oct. 1988. (bibtex),

Abstract: We introduce the concept of action structures as a set of actions together with information about their relative temporal ordering. Actions are characterized by pre- and post-conditions stating how they change the world. They are also characterized by prevail- and keep-conditions, stating what they require and cause, respectively, to hold during their execution. This way, the definition of actions can implicitly specify when actions are allowed to or have to occur in parallel. It is also possible to let the definition of an action implicitly specify the terminating condition for the action. The conditions used to characterize actions are expressed as partial world states. The main novelty of this report is that these partial world states can range over discrete domains as well as over interval valued domains.

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