Robotics: Science and Systems IX

Sorry Dave, I'm Afraid I Can't Do That: Explaining Unachievable Robot Tasks Using Natural Language

Vasumathi Raman, Constantine Lignos, Cameron Finucane, Kenton C. T. Lee, Mitch Marcus, Hadas Kress-Gazit

Abstract:

This paper addresses the challenge of enabling non-expert users to command robots to perform complex high-level tasks using natural language. It describes an integrated system that combines the power of formal methods with the accessibility of natural language, providing correct-by-construction controllers for high-level specifications that can be implemented, and easy-to-understand feedback to the user on those that cannot be achieved. This is among the first works to close this feedback loop, enabling users to interact with the robot in order to identify a succinct cause of failure and obtain the desired controller. The supported language and logical capabilities are illustrated using examples involving a robot assistant in a hospital.

Download:

Bibtex:

  
@INPROCEEDINGS{Raman-RSS-13, 
    AUTHOR    = {Vasumathi Raman AND Constantine Lignos AND Cameron Finucane AND Kenton C. T. Lee AND Mitch Marcus AND Hadas Kress-Gazit}, 
    TITLE     = {Sorry Dave, I'm Afraid I Can't Do That: Explaining Unachievable Robot Tasks Using Natural Language}, 
    BOOKTITLE = {Proceedings of Robotics: Science and Systems}, 
    YEAR      = {2013}, 
    ADDRESS   = {Berlin, Germany}, 
    MONTH     = {June},
    DOI       = {10.15607/RSS.2013.IX.023} 
}