Title: Diagnostic Reasoning for Robotics Using Action Languages
Language: English
Authors: Erdem, Esra 
Patoglu, Volkan 
Saribatur, Zeynep Gözen
Issue Date: 2015
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.
Keywords: Diagnostic reasoning; Action languages; Answer set programming
URI: https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:3-3093
http://hdl.handle.net/20.500.12708/361
Library ID: AC11362691
ISBN: 9783319232638
Organisation: E192 - Institut für Informationssysteme 
Publication Type: Inproceedings
Konferenzbeitrag
Appears in Collections:Conference Paper

Files in this item:


Page view(s)

59
checked on Jul 22, 2021

Download(s)

215
checked on Jul 22, 2021

Google ScholarTM

Check


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