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)
Official URL: http://dx.doi.org/10.1007/978-3-319-23264-5_27
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