SwePub
Sök i LIBRIS databas

  Utökad sökning

onr:"swepub:oai:DiVA.org:liu-60032"
 

Sökning: onr:"swepub:oai:DiVA.org:liu-60032" > Maintainability :

  • Nakamura, Mutsumi,University of Texas at Arlington (författare)

Maintainability : a weaker stabilizability-like notion for high level control of agents

  • Artikel/kapitelEngelska2000

Nummerbeteckningar

  • LIBRIS-ID:oai:DiVA.org:liu-60032
  • urn:nbn:se:liu:diva-60032urn

Ingår i deldatabas

Klassifikation

  • Ämneskategori:kon swepub-publicationtype
  • Ämneskategori:ref swepub-contenttype

Anmärkningar

  • 3
  • Published
  • 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.

Ämnesord och genrebeteckningar

Biuppslag (personer, institutioner, konferenser, titlar ...)

  • Baral, Chitta,Arizona State University(SwePub:) (författare)
  • Bjäreland, Marcus,Linköpings universitet, KPLAB - Laboratoriet för kunskapsbearbetning, Linköpings universitet, Tekniska högskolan(SwePub:liu)marbj35 (författare)
  • Linköpings universitet.Institutionen för datavetenskap.KPLAB - Laboratoriet för kunskapsbearbetning.(SwePub:liu)2162 (creator_code:org_t)
  • Linköpings universitet.Tekniska högskolan.(SwePub:liu)1751 (creator_code:org_t)

Sammanhörande titlar

  • Ingår i:Proceedings of the 17th National Conference on Artificial Intelligence (AAAI)AAAI Press978-0-262-51112-4978-1-57735-272-3s. 62-66

Internetlänk

Hitta via bibliotek

Till lärosätets databas

Sök utanför SwePub

 
pil uppåt Stäng

Kopiera och spara länken för att återkomma till aktuell vy