Concurrent Reactive Plans Anticipating and Forestalling Execution Failures /

• Κύριος συγγραφέας: Beetz, Michael (Συγγραφέας, http://id.loc.gov/vocabulary/relators/aut)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2000.
• Έκδοση: 1st ed. 2000.
• Σειρά: Lecture Notes in Artificial Intelligence ; 1772
• Θέματα: Artificial intelligence.; Computer communication systems.; Computer logic.; Artificial Intelligence.; Computer Communication Networks.; Logics and Meanings of Programs.

In this book, the author presents a new computational model of forestalling common flaws in autonomous robot behavior. To this end, robots are equipped with structured reactive plans (SRPs) which are concurrent control programs that can not only be interpreted but also be reasoned about and manipula...