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

IDA Technical Reports: abstract

Generated: Mon, 22 Dec 2014 07:18:24

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
<webmaster@ida.liu.se>