An efficient reactive planner for synthesizing reactive plans

Authors:
Patrice Godefroid;Froduald Kabanza
Affiliations:
Université de Liège, Institut Montefiore, Liège, Sart-Tilman, Belgium;Université de Liège, Institut Montefiore, Liège, Sart-Tilman, Belgium
Venue:
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 2
Year:
1991

Citing 8
Cited 1

Domain-independent planning: representation and plan generation

Artificial Intelligence
Petri nets: an introduction

Petri nets: an introduction
Trace theory

Advances in Petri nets 1986, part II on Petri nets: applications and relationships to other models of concurrency
Planning for conjunctive goals

Artificial Intelligence
Situated control rules

Proceedings of the first international conference on Principles of knowledge representation and reasoning
A partial approach to model checking

Papers presented at the IEEE symposium on Logic in computer science
Using Partial Orders to Improve Automatic Verification Methods

CAV '90 Proceedings of the 2nd International Workshop on Computer Aided Verification
Universal plans for reactive robots in unpredictable environments

IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 2

Concatenable Weighted Pomsets and Their Applications to Modelling Processes of Petri Nets

Fundamenta Informaticae

Quantified Score

Hi-index	0.00

Visualization

Abstract

We present a nonlinear forward-search method suitable for planning the reactions of an agent operating in a highly unpredictable environment. We show that this method is more efficient than existing linear methods. We then introduce the notion of safety and liveness rules. This makes possible a sharper exploitation of the information retrieved when exploring the future of the agent.