Responsible for this page: David Lawrence, davla@ep.liu.se
Page last updated: 2008-07-15
|
Content
| Files: | Description | File size | Format | |
| Fulltext Original |
459K | PDF (requires Acrobat Reader) | ||
| Fulltext 1st Revised |
558K | PDF (requires Acrobat Reader) | ||
| Fulltext 2nd Revised |
556K | PDF (requires Acrobat Reader) | ||
| Fulltext Original |
464K | PostScript (requires a PostScript Reader) | ||
| Fulltext 1st Revised |
625K | PostScript (requires a PostScript Reader) | ||
| Fulltext 2nd Revised |
535K | PostScript (requires a PostScript Reader) | ||
| Author: | Chitta Baral and Son Cao Tran | |||
| Article title: | Relating Theories of Actions and Reactive Control | |||
| Publ. type: | Article | |||
| Volume: | 3 | |||
| Article No: | 9 | |||
| Language: | English | |||
| Abstract [en]: | In this paper we give a formal characterization of reactive control using action theories. In the process we formalize the notion of a reactive control program being correct with respect to a given goal, a set of initial states, and action theories about the agent/robot and about the exogenous actions. We give sufficiency conditions that guarantee correctness and use it to give an automatic method for constructing provenly correct control modules. We then extend our approach to action theories and control modules that have specialized sensing actions and that encode conditional plans. Finally we briefly relate our theory with the implementation of our mobile robot Diablo, which successfully competed in AAAI 96 and 97 mobile robot contests. | |||
| Discussion: | Record of discussions about this article | |||
| Publisher: | Linköping University Electronic Press | |||
| Year: | 1998 | |||
| Available: | Original 1998-07-29, 1st Revised 1999-02-10, 2nd Revised 1999-07-15 | |||
| No. of pages: | Original 51, 1st Revised 74 and 2nd Revised 59 | |||
| Series: | Linköping Electronic Articles in Computer and Information Science | |||
| ISSN: | 1401-9841 | |||
| Checksum PDF: | e3b928dea5040551a077f7e904c9501e /home/ep/www/ea/cis/1998/009/cis98009.pdf (MD5), Original | |||
| Checksum PDF: | 604a32464d76e0868714ed62e560725e /home/ep/www/ea/cis/1998/009/cis98009-revised.pdf (MD5), 1st Revised | |||
| Checksum PDF: | 2fdc7a526ebb7e6766e6295d6e2b73e0 /home/ep/www/ea/cis/1998/009/cis98009-revise2.pdf (MD5), 2nd Revised | |||
| Checksum PS: | c58a40b69f1b7ea4a690e5d30946bbbb /service/www-ep/docs/ea/cis/1998/009/cis98009.ps (MD5), Original | |||
| Checksum PS: | [an error occurred while processing this directive] (MD5), 1 st Revised | |||
| Checksum PS: | 0e428a1c1e8d701adaa0c26f8b829df6 /service/www-ep/docs/ea/cis/1998/009/cis98009-revise2.ps (MD5), 2nd Revised | |||
| PGP PDF: | PGP, Original | |||
| PGP PDF: | PGP, 1st Revised | |||
| PGP PDF | PGP, 2nd Revised | |||
| PGP PS: | PGP, Original | |||
| PGP PS: | PGP, 1st Revised | |||
| PGP PS: | PGP, 2nd Revised | |||
| Old Checksum: | Checksum (PS), Original | Information about recalculation of Checksum | |||
| Old Checksum: | Checksum (PS), 1st Revised | Information about recalculation of Checksum | |||
| Old Checksum: | Checksum (PS), 2nd Revised | Information about recalculation of Checksum | |||
| SPECIAL INFO: | Checksum, PGP and persistence | |||
REFERENCE TO THIS PAGE:
|
||||
Last updated: 2008-07-15