Planning, Truth Criteria and the Systematic Approach to Action and Change

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… (More)
DOI: 10.1007/3-540-61286-6_178

Topics

Figures and Tables

Sorry, we couldn't extract any figures or tables for this paper.

Slides referencing similar topics