<div class="csl-bib-body">
<div class="csl-entry">Erdem, E., Patoglu, V., & Saribatur Yaman, Z. G. (2015). Diagnostic Reasoning for Robotics Using Action Languages. In F. Calimeri, G. Ianni, & M. Truszczynski (Eds.), <i>Logic Programming and Nonmonotonic Reasoning : 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings</i> (pp. 317–331). Switzerland. https://doi.org/10.1007/978-3-319-23264-5_27</div>
</div>
The final publication is available via <a href="https://doi.org/10.1007/978-3-319-23264-5_27" target="_blank">https://doi.org/10.1007/978-3-319-23264-5_27</a>.
-
dc.description.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.
en
dc.language
English
-
dc.language.iso
en
-
dc.publisher
Switzerland
-
dc.relation.ispartofseries
Lecture Notes in Computer Science
-
dc.rights.uri
http://rightsstatements.org/vocab/InC/1.0/
-
dc.subject
Diagnostic reasoning
en
dc.subject
Action languages
en
dc.subject
Answer set programming
en
dc.title
Diagnostic Reasoning for Robotics Using Action Languages
en
dc.type
Inproceedings
en
dc.type
Konferenzbeitrag
de
dc.rights.license
Urheberrechtsschutz
de
dc.rights.license
In Copyright
en
dc.relation.isbn
9783319232638
-
dc.relation.doi
10.1007/978-3-319-23264-5
-
dc.relation.issn
0302-9743
-
dc.description.startpage
317
-
dc.description.endpage
331
-
dc.rights.holder
Springer International Publishing Switzerland 2015
-
dc.type.category
Full-Paper Contribution
-
dc.relation.eissn
1611-3349
-
tuw.booktitle
Logic Programming and Nonmonotonic Reasoning : 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings
-
tuw.container.volume
9345
-
tuw.book.ispartofseries
Lecture Notes in Computer Science
-
tuw.relation.publisher
Springer
-
tuw.relation.publisherplace
Cham
-
tuw.version
am
-
tuw.publication.orgunit
E192-02 - Forschungsbereich Databases and Artificial Intelligence
-
tuw.publisher.doi
10.1007/978-3-319-23264-5_27
-
dc.identifier.libraryid
AC11362691
-
dc.description.numberOfPages
15
-
dc.identifier.urn
urn:nbn:at:at-ubtuw:3-3093
-
dc.rights.identifier
Urheberrechtsschutz
de
dc.rights.identifier
In Copyright
en
tuw.event.name
LPNMR: International Conference on Logic Programming and Nonmonotonic Reasoning 2015
-
dc.description.sponsorshipexternal
TUBITAK Grant
-
dc.description.sponsorshipexternal
TUBITAK Grant
-
dc.description.sponsorshipexternal
TUBITAK Grant
-
dc.relation.grantnoexternal
111E116
-
dc.relation.grantnoexternal
113M422
-
dc.relation.grantnoexternal
114E491
-
tuw.event.startdate
27-09-2015
-
tuw.event.enddate
30-09-2015
-
tuw.event.online
On Site
-
tuw.event.type
Event for scientific audience
-
tuw.event.place
Lexington
-
tuw.event.country
US
-
tuw.event.presenter
Erdem, Esra
-
item.languageiso639-1
en
-
item.openairetype
conference paper
-
item.grantfulltext
open
-
item.fulltext
with Fulltext
-
item.cerifentitytype
Publications
-
item.openairecristype
http://purl.org/coar/resource_type/c_5794
-
item.openaccessfulltext
Open Access
-
crisitem.author.dept
E192-02 - Forschungsbereich Databases and Artificial Intelligence