| Title: | Diagnostic Reasoning for Robotics Using Action Languages | Language: | English | Authors: | Erdem, Esra Patoglu, Volkan Saribatur, Zeynep Gözen |
Issue Date: | 2015 | Abstract: | We introduce a novel diagnostic reasoning method for robotic systems with multiple robots, to find the causes of observed discrepancies relevant for plan execution. Our method proposes (i) a systematic modification of the robotic action domain description by utilizing defaults, and (ii) algorithms to compute a smallest set of diagnoses (e.g., broken robots) by means of hypothetical reasoning over the modified formalism. The proposed method is applied over various robotic scenarios in cognitive factories. |
Keywords: | Diagnostic reasoning; Action languages; Answer set programming | URI: | https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:3-3093 http://hdl.handle.net/20.500.12708/361 |
Library ID: | AC11362691 | ISBN: | 9783319232638 | Organisation: | E192 - Institut für Informationssysteme | Publication Type: | Inproceedings Konferenzbeitrag |
| Appears in Collections: | Conference Paper |
Files in this item:
Adobe PDF
(1.29 MB)
Page view(s)
59
checked on Jul 22, 2021
Download(s)
215
checked on Jul 22, 2021
Google ScholarTM
Check
Items in reposiTUm are protected by copyright, with all rights reserved, unless otherwise indicated.