Tyck till om SwePub Sök här!
onr:"swepub:oai:DiVA.org:liu-60032"
Sökning: onr:"swepub:oai:DiVA.org:liu-60032" > Maintainability :
- 1 av 1
- Föregående post
- Nästa post
- Till träfflistan
| Fältnamn | Indikatorer | Metadata |
|---|---|---|
| 000 | 02337naa a2200289 4500 | |
| 001 | oai:DiVA.org:liu-60032 | |
| 003 | SwePub | |
| 008 | 101004s2000 | |||||||||||000 ||eng| | |
| 024 | 7 | a https://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-600322 URI |
| 040 | a (SwePub)liu | |
| 041 | a engb eng | |
| 042 | 9 SwePub | |
| 072 | 7 | a ref2 swepub-contenttype |
| 072 | 7 | a kon2 swepub-publicationtype |
| 100 | 1 | a Nakamura, Mutsumiu University of Texas at Arlington4 aut |
| 245 | 1 0 | a Maintainability :b a weaker stabilizability-like notion for high level control of agents |
| 264 | 1 | b AAAI Press,c 2000 |
| 338 | a print2 rdacarrier | |
| 520 | a 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. | |
| 653 | a TECHNOLOGY | |
| 653 | a TEKNIKVETENSKAP | |
| 700 | 1 | a Baral, Chittau Arizona State University4 aut |
| 700 | 1 | a Bjäreland, Marcusu Linköpings universitet,KPLAB - Laboratoriet för kunskapsbearbetning,Tekniska högskolan4 aut0 (Swepub:liu)marbj35 |
| 710 | 2 | a University of Texas at Arlingtonb Arizona State University4 org |
| 773 | 0 | t Proceedings of the 17th National Conference on Artificial Intelligence (AAAI)d : AAAI Pressg , s. 62-66q <62-66z 9780262511124z 9781577352723 |
| 856 | 4 | u http://swepub.kb.se/bib/swepub:oai:DiVA.org:liu-60032?vw=full&tab2=abs |
| 856 | 4 8 | u https://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-60032 |
Hitta via bibliotek
- Proceedings of the 17th National Conference on Artificial Intelligence (AAAI) (Sök värdpublikationen i LIBRIS)
Till lärosätets databas
- 1 av 1
- Föregående post
- Nästa post
- Till träfflistan
Hitta mer i SwePub
- Av författaren/redakt...
- Nakamura, Mutsum ...
- Baral, Chitta
- Bjäreland, Marcu ...
- Artiklar i publikationen
- Proceedings of t ...
- Av lärosätet
- Linköpings universitet
Sök utanför SwePub
- Sök vidare i:
- Google Book Search
- Google Scholar
Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.
- Copyright © LIBRIS - Nationella bibliotekssystem
- LIBRIS.kb.se
