Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
reprinted from the Proc. of the Second International Conference on Principles of Knowledge Representation and Reasoning, Cambridge, MA April, 1991
 

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