Sandewall, E. (1989). A Decision Procedure for A Theory of Actions and Plans. Technical Report LiTH-IDA-R-89-39, Department of Computer and Information Science, Linköping University, Sweden. Also published in Z. Ras et al. (eds), Methodologies for Intelligent Systems, 1989. (bibtex),
Abstract: The paper describes a decision procedure for a preferential (and therefore non-monotonic), temporal logic for reasoning about actions and plans. The procedure can be used for temporal prediction, temporal postdiction, and also for plan generation. The basic method for the procedure is to operate on a working set of partial interpretations, and to gradually strengthen these partial interpretations until they are minimal models for the given axioms.
CS Dept TR Overview