title   
  

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.

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
Subjects:UNSPECIFIED
ID Code:28402
Deposited By:Volkan Patoğlu
Deposited On:22 Dec 2015 20:14
Last Modified:22 Dec 2015 20:14

Repository Staff Only: item control page