TY - GEN
T1 - Maintainability
T2 - 17th National Conference on Artificial Intelligence, AAA1 2000
AU - Nakamura, Mutsumi
AU - Baral, Chitta
AU - Bjäreland, Marcus
N1 - Publisher Copyright:
Copyright © 2000, American Association for Artificial Intelligence (www.aaai.org). All rights reserved.
PY - 2000
Y1 - 2000
N2 - 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.
AB - 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.
UR - https://www.scopus.com/pages/publications/84893438426
UR - https://www.scopus.com/pages/publications/84893438426#tab=citedBy
M3 - Conference contribution
AN - SCOPUS:84893438426
T3 - Proceedings of the 17th National Conference on Artificial Intelligence and 12th Conference on Innovative Applications of Artificial Intelligence, AAAI 2000
SP - 62
EP - 67
BT - Proceedings of the 17th National Conference on Artificial Intelligence and 12fth Conference on Innovative Applications ofArtificial Intelligence, AAAI 2000
PB - AAAI press
Y2 - 30 July 2000 through 3 August 2000
ER -