Transcription of Robotics: Science and Systems 2013 Berlin, …
{{id}} {{{paragraph}}}
Example: air traffic controller
Robotics: Science and Systems 2013 Berlin, …
Robotics: ScienceandSystems2013 Berlin, Germany,June24-28,20131 sorry Dave, I m Afraid I Can t Do that : ExplainingUnachievable robot tasks using Natural LanguageVasumathi Raman , Constantine Lignos , Cameron Finucane , Kenton Lee , Mitch Marcus and Hadas Kress-Gazit Department of Computer Science , Cornell University, Ithaca, NY 14850 Email: Department of Computer and Information Science , University of Pennsylvania, Philadelphia, PA 19104 Email: Sibley School of Mechanical and Aerospace Engineering, Cornell University, Ithaca, NY 14850 Email: This paper addresses the challenge of enabling non-expert users to command robots to perform complex high-leveltasks using natural language. It describes an integrated systemthat combines the power of formal methods with the acces-sibility of natural language, providing correct-by-constructioncontrollers for high-level specifications that can be implemented,and easy-to-understand feedback to the user on those that cannotbe achieved.
Robotics: Science and Systems 2013 Berlin, Germany, June 24-28, 2013 1 Sorry Dave, I’m Afraid I Can’t Do That: Explaining Unachievable Robot Tasks Using …
Loading..
Tags:
Information
Domain:
Source:
Link to this page:
Please notify us if you found a problem with this document: