@TECHREPORT{R-96-16,
PSURL = {/publications/cgi-bin/tr-fetch.pl?r-96-16+ps},
NUMBER = {R-96-16},
INSTITUTION = ida,
ADDRESS = idaaddr,
YEAR = {1996},
AUTHOR = {Karlsson, Lars},
TITLE = {Planning, Truth Criteria and Systematic Approach to Action and Change
},
ABSTRACTURL = {/publications/cgi-bin/tr-fetch.pl?r-96-16+abstr},
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.
}