Karlsson, L. (1996). Planning, Truth Criteria and Systematic Approach to Action and Change. Technical Report LiTH-IDA-R-96-16, Department of Computer and Information Science, Linköping University, Sweden. (bibtex),
Abstract: This paper presents an analysis of partial-order planning based on Sandewall's systematic approach to reasoning about action and change. The partial-order planner TWEAK is analysed and reconstructed. The main result is a temporal logic-based version of the criterion for necessary truth in TWEAK plans. In a second step, the TWEAK truth criterion is extended to deal with context-dependent and nondeterministic actions. A temporal logic, called the fluent logic, is used for representing plans.
CS Dept TR Overview