Title: Diagnostic Reasoning for Robotics Using Action Languages
Language: English
Authors: Erdem, Esra 
Patoglu, Volkan 
Saribatur, Zeynep Gözen
Issue Date: 2015
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
Library ID: AC11362691
ISBN: 9783319232638
Organisation: E192 - Institut für Informationssysteme 
Publication Type: Inproceedings
Appears in Collections:Conference Paper

Files in this item:

Page view(s)

checked on Jul 22, 2021


checked on Jul 22, 2021

Google ScholarTM


Items in reposiTUm are protected by copyright, with all rights reserved, unless otherwise indicated.