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

IDA Technical Reports: abstract

Generated: Sat, 21 Apr 2018 03:47:21

Bäckström, C. (1988). Keeping and Forcing: How to Represent Cooperating Actions. Technical Report LiTH-IDA-R-88-05, Department of Computer and Information Science, Linköping University, Sweden. (bibtex),

Abstract: This report presents a formalism for representing action structures, i.e. complex systems of actions going on in sequence or in parallel and possibly interfering or interacting with each other. The same formalism supports all kinds of reasoning about action structures like e.g. planning, plan projection and plan observation. Actions are characterized with five conditions expressing how they relate to the world and to other actions. It is possible to express not only when two actions are allowed to occur in parallel, but also when they are required to co-occur. Such synchronization is implicitly forced by the definitions of the actions. The conditions can also be used to implicitly define hierarchies of actions which can be used both downwards, for hierarchical planning, and upwards, for plan observation.

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