Planning as Temporal Reasoning

This paper describes a reasoning system based on a temporal logic that can solve planning problems along the lines of traditional planning systems. Because it is cast as inference in a general representation, however, the ranges of problems that can be described is considerably greater than in traditional planning systems. In addition, other modes of plan reasoning, such as plan recognition or plan monitoring, can be formalized within the same framework.

• Type: Conference
• Year: 1991
• Where: KR
• Authors: James F. Allen
• Keywords: Automated Reasoning, KR 1991, Planning Problems, Temporal Logic, Traditional Planning Systems