Plan execution in dynamic environments

Authors:
Gordon Fraser;Gerald Steinbauer;Franz Wotawa
Affiliations:
Technische Universität Graz, Institute for Software Technology, Inffeldgasse, Graz, Austria;Technische Universität Graz, Institute for Software Technology, Inffeldgasse, Graz, Austria;Technische Universität Graz, Institute for Software Technology, Inffeldgasse, Graz, Austria
Venue:
IEA/AIE'2005 Proceedings of the 18th international conference on Innovations in Applied Artificial Intelligence
Year:
2005

Citing 10
Cited 5

Automatically synthesising domain constraints from operator descriptions

ECAI '92 Proceedings of the 10th European conference on Artificial intelligence
Engineering and compiling planning domain models to promote validity and efficiency

Artificial Intelligence
Inferring state constraints for domain-independent planning

AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
A Discipline of Programming

A Discipline of Programming
Discovering State Constraints in DISCOPLAN: Some New Results

Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on Innovative Applications of Artificial Intelligence
An Iterative Algorithm for Synthesizing Invariants

Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on Innovative Applications of Artificial Intelligence
A modular architecture for a multi-purpose mobile robot

IEA/AIE'2004 Proceedings of the 17th international conference on Innovations in applied artificial intelligence
PDDL2.1: an extension to PDDL for expressing temporal planning domains

Journal of Artificial Intelligence Research
The automatic inference of state invariants in TIM

Journal of Artificial Intelligence Research
Fast planning through planning graph analysis

IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2

A Teleo-Reactive Architecture for Fast, Reactive and Robust Control of Mobile Robots

IEA/AIE '08 Proceedings of the 21st international conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems: New Frontiers in Applied Artificial Intelligence
Monitoring the execution of robot plans using semantic knowledge

Robotics and Autonomous Systems
Enhancing Plan Execution in Dynamic Domains Using Model-Based Reasoning

ICIRA '08 Proceedings of the First International Conference on Intelligent Robotics and Applications: Part I
The actor's view of automated planning and acting: A position paper

Artificial Intelligence
Robotics and artificial intelligence: A perspective on deliberation functions

AI Communications - ECAI 2012 Turing and Anniversary Track

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper deals with plan execution on agents/robots in highly dynamic environments. Besides a formal semantics of plan execution and a representation of plans as programs, we introduce the concept of plan invariants. Plan invariants are similar to loop invariants in imperative programs in that they have to be true during the whole plan execution cycle. Once a plan invariant fails the plan execution is stopped and other plans that are more appropriate in the current context are considered for execution instead. The use of plan invariants allows for an early detection of problems. Plan assumptions that are required for a plan to succeed are explicitly represented by plan invariants.