Causal Links Planning and the Systematic Approach to Action and Change

Contents

This paper presents an analysis of partial-order and causal-links planning based on Sandewall’s systematic approach to reasoning about action and change. The partial-order planners TWEAK and SNLP are analysed and reconstructed. A temporal logic, called the fluent logic, is used for representing plans, and the strong connection between causal links and elements of the fluent logic are pointed out.