Diagnostic reasoning for robotics using action languages

Erdem, Esra and Patoğlu, Volkan and Sarıbatur, Zeynep Gözen (2015) Diagnostic reasoning for robotics using action languages. In: 13th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2015), Lexington, KY, USA

Full text not available from this repository. (Request a copy)

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.
Item Type: Papers in Conference Proceedings
Uncontrolled Keywords: Diagnostic reasoning; Action languages; Answer set programming
Divisions: Faculty of Engineering and Natural Sciences > Academic programs > Mechatronics
Faculty of Engineering and Natural Sciences > Academic programs > Computer Science & Eng.
Faculty of Engineering and Natural Sciences
Depositing User: Volkan Patoğlu
Date Deposited: 22 Dec 2015 20:14
Last Modified: 26 Apr 2022 09:20
URI: https://research.sabanciuniv.edu/id/eprint/28402

Actions (login required)

View Item
View Item