Show simple item record

dc.contributor.authorTran, Dang M.
dc.contributor.authorYan, Fujian
dc.contributor.authorYihun, Yimesker S.
dc.contributor.authorTan, Jindong
dc.contributor.authorHe, Hongsheng
dc.date.accessioned2021-12-07T21:26:04Z
dc.date.available2021-12-07T21:26:04Z
dc.date.issued2021-11-02
dc.identifier.citationTran D., Yan F., Yihun Y., Tan J., He H. (2021) A Framework of Controlled Robot Language for Reliable Human-Robot Collaboration. In: Li H. et al. (eds) Social Robotics. ICSR 2021. Lecture Notes in Computer Science, vol 13086. Springer, Cham. https://doi.org/10.1007/978-3-030-90525-5_29en_US
dc.identifier.isbn978-3-030-90524-8
dc.identifier.isbn978-3-030-90525-5
dc.identifier.urihttps://doi.org/10.1007/978-3-030-90525-5_29
dc.identifier.urihttps://soar.wichita.edu/handle/10057/22399
dc.descriptionClick on the DOI link to access the conference paper (may not be free).en_US
dc.description.abstractEffective and efficient communication is critical for human-robot collaboration and human-agent teaming. This paper presents the design of a Controlled Robot Language (CRL) and its formal grammar for instruction interpretation and automated robot planning. The CRL framework defines a formal language domain that deterministically maps linguistic commands to logical semantic expressions. As compared to Controlled Natural Language, which aims for general knowledge representation, CRL expressions are particularly designed to parse human instructions in automated robot planning. The grammar of CRL is developed in accordance with the IEEE CORA ontology, which defines the majority of formal English domain, accepting large range of intuitive instructions. For sentences outside the grammar coverage, CRL checker is used to detect linguistic patterns, which can be further processed by CRL translator to recover back an equivalent expression in CRL grammar. The final output is formal semantic representation using first-order logic in large discourse. The CRL framework was evaluated on various corpora and it outperformed CRL in balancing coverage and specificity.en_US
dc.description.sponsorshipThis work was partially supported by NSF CMMI 2129113 and WSU URCAF 2019.en_US
dc.language.isoen_USen_US
dc.publisherSpringer, Chamen_US
dc.relation.ispartofseriesLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics);
dc.subjectComputational grammarsen_US
dc.subjectFormal languagesen_US
dc.subjectFormal logicen_US
dc.subjectMachine designen_US
dc.subjectRobot programmingen_US
dc.subjectRobots; Semanticsen_US
dc.titleA framework of controlled robot language for reliable human-robot collaborationen_US
dc.typeConference paperen_US
dc.rights.holder© Springer Nature Switzerland AG 2021en_US


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record