Diagnostic Reasoning for Robotics Using Action Languages

Erdem, Esra; Patoglu, Volkan; Saribatur Yaman, Zeynep Gözen

doi:10.1007/978-3-319-23264-5_27

Datensatz Zitierlink:

https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:3-3093
http://hdl.handle.net/20.500.12708/361

Titel:

Diagnostic Reasoning for Robotics Using Action Languages

Zitat:

Erdem, E., Patoglu, V., & Saribatur Yaman, Z. G. (2015). Diagnostic Reasoning for Robotics Using Action Languages. In F. Calimeri, G. Ianni, & M. Truszczynski (Eds.), Logic Programming and Nonmonotonic Reasoning : 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings (pp. 317–331). Switzerland. https://doi.org/10.1007/978-3-319-23264-5_27

CatalogPlus:

AC11362691

Verlags-DOI:

10.1007/978-3-319-23264-5_27

Publikationstyp:

Konferenzbeitrag - Full-Paper Contribution

Sprache:

Englisch

Autor_innen:

Erdem, Esra
Patoglu, Volkan
Saribatur Yaman, Zeynep Gözen

Organisationseinheit:

E192-02 - Forschungsbereich Databases and Artificial Intelligence

Erschienen in:

Logic Programming and Nonmonotonic Reasoning : 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings

ISBN:

9783319232638

Band:

9345

DOI des Buches:

10.1007/978-3-319-23264-5

Datum (veröffentlicht):

2015

Veranstaltungsname:

LPNMR: International Conference on Logic Programming and Nonmonotonic Reasoning 2015

Veranstaltungszeitraum:

27-Sep-2015 - 30-Sep-2015

Veranstaltungsort:

Lexington, Vereinigte Staaten von Amerika

Umfang:

Verlag:

Switzerland

Verlag:

Springer, Cham

Keywords:

Diagnostic reasoning; Action languages; Answer set programming

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.

Projekt (extern):

TUBITAK Grant
TUBITAK Grant
TUBITAK Grant

Projektnummer:

111E116
113M422
114E491

Weitere Information:

The final publication is available via <a href="https://doi.org/10.1007/978-3-319-23264-5_27" target="_blank">https://doi.org/10.1007/978-3-319-23264-5_27</a>.

Lizenz:

Urheberrechtsschutz

Enthalten in den Sammlungen:

Conference Paper