Summary: reprinted from the Proc. of the Second International Conference on Principles
of Knowledge Representation and Reasoning, Cambridge, MA April, 1991
Planning as Temporal Reasoning
James F Allen
Department of Computer Science
University of Rochester
Rochester, NY 14627
Abstract
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.
1 INTRODUCTION

Source: Allen, James F. - Department of Computer Science, University of Rochester

Collections: Computer Technologies and Information Sciences