liu.seSearch for publications in DiVA
Change search
CiteExportLink to record
Permanent link

Direct link
Maintainability: a weaker stabilizability-like notion for high level control of agents
University of Texas at Arlington.
Arizona State University.
Linköping University, Department of Computer and Information Science, KPLAB - Knowledge Processing Lab. Linköping University, The Institute of Technology.
2000 (English)In: Proceedings of the 17th National Conference on Artificial Intelligence (AAAI), AAAI Press , 2000, 62-66 p.Conference paper (Refereed)
Abstract [en]

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.

Place, publisher, year, edition, pages
AAAI Press , 2000. 62-66 p.
National Category
Engineering and Technology
URN: urn:nbn:se:liu:diva-60032ISBN: 978-0-262-51112-4 (print)ISBN: 978-1-57735-272-3 (print)OAI: diva2:354744
17th National Conference on Artificial Intelligence (AAAI), 30 July - 3 August 2000, Austin, Texas, USA
Available from: 2010-10-04 Created: 2010-10-04 Last updated: 2015-02-04

Open Access in DiVA

No full text

Other links

Search in DiVA

By author/editor
Bjäreland, Marcus
By organisation
KPLAB - Knowledge Processing LabThe Institute of Technology
Engineering and Technology

Search outside of DiVA

GoogleGoogle Scholar

Total: 98 hits
CiteExportLink to record
Permanent link

Direct link