Download:
|
by Mutsumi Nakamura, Chitta Baral, Marcus Bj
In Proceedings of the 8th National Conference on Artificial Intelligence (AAAI-90
http://www.public.asu.edu/~cbaral/papers/aaai1-00.ps
Add To MetaCart
Abstract:
The goal of most agents is not just to reach a goal state, but rather also (or alternatively) to put restrictions on its trajectory, in terms of states it must avoid and goals that it must `maintain'. This is analogous to the notions of `safety ' and `stability ' in the discrete event systems and temporal logic community. In this paper we argue that the notion of `stability ' is too strong for formulating `maintenance ' goals of an agent-- in particular, reactive and software agents, and give examples of such agents. We present a weaker notion of `maintainability' and show that our agents which do not satisfy the stability criteria, do satisfy the weaker criteria. We give algorithms to test maintainability, and also to generate control for maintainability. We then develop the notion of `supportability ' that generalizes both `maintainability ' and `stabilizability, develop an automata theory that distinguishes between exogenous and control actions, and develop a temporal logic based on it. Motivation
Citations
|
2141
|
A robust layered control system for a mobile robot
– Brooks
- 1986
|
|
1345
|
A.: The Temporal Logic of Reactive and Concurrent Systems
– Manna, Pnueli
- 1992
|
|
996
|
Automatic verification of finite-state concurrent systems using temporal logic specifications
– Clarke, Emerson, et al.
- 1986
|
|
449
|
Self-Stabilizing Systems in Spite of Distributed Control
– Dijkstra
- 1974
|
|
313
|
Supervisory control of a class of discrete-event processes
– Ramadge, Wonham
- 1987
|
|
206
|
Deriving production rules for constraint maintenance
– Ceri, Widom
- 1990
|
|
99
|
Planning for temporally extended goals
– Bacchus, Kabanza
- 1996
|
|
95
|
Action and Planning in Embedded Agents
– Kaelbling, Rosechein
- 1990
|
|
92
|
Multi-Agent Systems: A Theoretical Framework for Intentions
– Singh
- 1995
|
|
76
|
Execution monitoring of high-level robot programs
– Giacomo, Reiter, et al.
- 1998
|
|
75
|
Designing Autonomous Agents
– Maes
- 1990
|
|
62
|
Planning Control Rules for Reactive Agents
– Kabanza, Barbeau, et al.
- 1997
|
|
49
|
Modular feedback logic for discrete even systems
– Ramadge, Wonham
- 1987
|
|
46
|
Etzioni: The firsts law of robotics: A call to arms
– Weld, O
- 1994
|
|
33
|
S.C.Tran, Relating Theories of Actions and Reactive
– Baral
- 1998
|
|
28
|
Stability and stabilizability of Discrete Event Dynamic Systems
– Özveren, Willsky, et al.
- 1991
|
|
22
|
Stability and stabilization: Discontinuities and the effect of disturbances
– Sontag
- 1998
|
|
19
|
Stability analysis of discrete event systems
– Passino, Burgess
- 1998
|
