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

IDA Technical Reports: abstract

Generated: Fri, 28 Jul 2017 06:46:26

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.

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