Planning control rules for reactive agents

A traditional approach for planning is to evaluate goal statements over state trajectories modeling predicted behaviors of an agent. This paper describes a powerful extension of this approach for handling complex goals for reactive agents. We describe goals by using a modal temporal logic that can e...

Full description

Saved in:
Bibliographic Details
Published inArtificial intelligence Vol. 95; no. 1; pp. 67 - 113
Main Authors Kabanza, F., Barbeau, M., St-Denis, R.
Format Journal Article
LanguageEnglish
Published Elsevier B.V 01.08.1997
Subjects
Agents
Artificial intelligence
Control
Methodology
Modelling
Organizational goals
Planning
Planning methods
Reactive agents
Temporal dimension
Temporal goals
Control
Temporal goals
Planning
Reactive agents
Online AccessGet full text

Cover

More Information
Summary:A traditional approach for planning is to evaluate goal statements over state trajectories modeling predicted behaviors of an agent. This paper describes a powerful extension of this approach for handling complex goals for reactive agents. We describe goals by using a modal temporal logic that can express quite complex time, safety, and liveness constraints. Our method is based on an incremental planner algorithm that generates a reactive plan by computing a sequence of partially satisfactory reactive plans converging to a completely satisfactory one. Partial satisfaction means that an agent controlled by the plan accomplishes its goal only for some environment events. Complete satisfaction means that the agent accomplishes its goal whatever environment events occur during the execution of the plan. As such, our planner can be stopped at any time to yield a useful plan. An implemented prototype is used to evaluate our planner on empirical problems.
Bibliography:ObjectType-Article-2
SourceType-Scholarly Journals-1
ObjectType-Feature-1
content type line 23
ObjectType-Article-1
ObjectType-Feature-2
ISSN:0004-3702
1872-7921
DOI:10.1016/S0004-3702(97)00031-3