Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

16

KR
1991
Springer

favoriteEmaildiscussreport

109views Automated Reasoning» more KR 1991»

Planning as Temporal Reasoning

13 years 7 months ago

Planning as Temporal Reasoning

Download www.cs.rochester.edu

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.

James F. Allen

Real-time Traffic

Automated Reasoning | KR 1991 | Planning Problems | Temporal Logic | Traditional Planning Systems |

claim paper

Related Content

» A Temporal Planning System for TimeOptimal Planning

» A Temporal Description Logic for Reasoning about Actions and Plans

» Automated Planning in Temporal Domains Some Recent Advances and Current Research Topics

» Planning with Problems Requiring Temporal Coordination

» Using DESs for Temporal Diagnosis of Multiagent Plan Execution

» Issues in Temporal Reasoning for Autonomous Control Systems

» A HillClimbing Approach for Planning with Temporal Uncertainty

» An Approach to Temporal Planning and Scheduling in Domains with Predictable Exogenous Even...

» Temporal Reasoning in Nested Temporal Networks with Alternatives

Post Info
More Details (n/a)

Added	27 Aug 2010
Updated	27 Aug 2010
Type	Conference
Year	1991
Where	KR
Authors	James F. Allen

Comments (0)