Facilitating Human-Robot Interaction: A Formal Logic for Task Description

We develop a formal logic for task descriptions that are easy to interpret for both humans and robots. Tasks are described in propositional forms that reflect syntactic structures observed in natural language so that all the resulting task descriptions can be easily understood by humans. At the same time, these propositional forms ensure that each task description is interpretable by robots. Infinitely many task descriptions can be created in this formal logic so that the formal logic can support complex human-robot interactions. We establish a hierarchy of propositions that enhances the expressive power, the interactivity, and the deductive apparatus of our formal logic. We also examine how to systematically evaluate the feasibility of each task description using the formal logic.

[1]  J. McCarthy.  Situations, Actions, and Causal Laws , 1963 .

[2]  Brian H. Wilcox,et al.  Sojourner on Mars and Lessons Learned for Future Plantery Rovers , 1998 .

[3]  George J. Klir,et al.  Fuzzy sets, uncertainty and information , 1988 .

[4]  Michael A. Goodrich,et al.  Toward Human-Robot Interface Standards: Use of Standardization and Intelligent Subsystems for Advancing Human-Robotic Competency in Space Exploration , 2006 .

[5]  Kenneth M. Dawson-Howe,et al.  The application of robotics to a mobility aid for the elderly blind , 1998, Robotics Auton. Syst..

[6]  Guido Bugmann,et al.  Mobile robot programming using natural language , 2002, Robotics Auton. Syst..

[7]  James F. Allen,et al.  Toward Conversational Human-Computer Interaction , 2001, AI Mag..

[8]  John Nicholson,et al.  Robot-assisted wayfinding for the visually impaired in structured indoor environments , 2006, Auton. Robots.

[9]  Lotfi A. Zadeh,et al.  Precisiated Natural Language (PNL) , 2004, AI Mag..

[10]  Marvin Minsky,et al.  Semantic Information Processing , 1968 .

[11]  Jean Scholtz,et al.  The Peer-to-Peer Human-Robot Interaction Project , 2005 .

[12]  Jeffrey M. Bradshaw,et al.  Human-robot coordination through dynamic regulation , 2008, 2008 IEEE International Conference on Robotics and Automation.

[13]  Susan Conrad,et al.  A student grammar of spoken and written English. , 2002 .

[14]  Illah R. Nourbakhsh,et al.  Human-robot teaming for search and rescue , 2005, IEEE Pervasive Computing.

[15]  Hiroaki Kitano,et al.  RoboCup Rescue: search and rescue in large-scale disasters as a domain for autonomous agents research , 1999, IEEE SMC'99 Conference Proceedings. 1999 IEEE International Conference on Systems, Man, and Cybernetics (Cat. No.99CH37028).

[16]  D. Feil-Seifer,et al.  Defining socially assistive robotics , 2005, 9th International Conference on Rehabilitation Robotics, 2005. ICORR 2005..

[17]  Marek J. Sergot,et al.  A logic-based calculus of events , 1989, New Generation Computing.

[18]  Terrence Fong,et al.  Vehicle Teleoperation Interfaces , 2001, Auton. Robots.

[19]  Donald D. Dudenhoeffer,et al.  Evaluation of supervisory vs. peer-peer interaction with human-robot teams , 2004, 37th Annual Hawaii International Conference on System Sciences, 2004. Proceedings of the.

[20]  Robin R. Murphy,et al.  Human-robot interactions during the robot-assisted urban search and rescue response at the World Trade Center , 2003, IEEE Trans. Syst. Man Cybern. Part B.

[21]  Alexander I. Rudnicky,et al.  Dynamically Formed Human-Robot Teams Performing Coordinated Tasks , 2006, AAAI Spring Symposium: To Boldly Go Where No Human-Robot Team Has Gone Before.

[22]  Ronald L. Boring,et al.  Shared understanding for collaborative control , 2005, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[23]  J. Alberto Espinosa,et al.  Coming to the wrong decision quickly: why awareness tools must be matched with appropriate tasks , 2000, CHI.

[24]  Brett Browning,et al.  Sliding Autonomy for Peer-To-Peer Human-Robot Teams , 2008 .

[25]  Lotfi A. Zadeh,et al.  Some reflections on information granulation and its centrality in granular computing, computing with words, the computational theory of perceptions and precisiated natural language , 2002 .

[26]  Michael A. Goodrich,et al.  Human-Robot Interaction: A Survey , 2008, Found. Trends Hum. Comput. Interact..

[27]  Joongsun Yoon,et al.  A human robot interactive system “Roji” , 2004 .

[28]  Ben Shneiderman,et al.  The limits of speech recognition , 2000, CACM.

[29]  U. Rembold,et al.  KANTRA-human-machine interaction for intelligent robots using natural language , 1994, Proceedings of 1994 3rd IEEE International Workshop on Robot and Human Communication.

[30]  Donald D. Dudenhoeffer,et al.  Mixed-initiative control for remote characterization of hazardous environments , 2003, 36th Annual Hawaii International Conference on System Sciences, 2003. Proceedings of the.

[31]  McKay,et al.  Demonstration of the Robotic Gamma Locating and Isotopic Identification Device , 2002 .

[32]  Lotfi A. Zadeh,et al.  Precisiated Natural Language , 2007, Aspects of Automatic Text Analysis.

[33]  Raymond Reiter,et al.  Proving Properties of States in the Situation Calculus , 1993, Artif. Intell..

[34]  Prisca Stenneken,et al.  How to talk to robots: Evidence from user studies on human-robot communication , 2006 .

[35]  Terry Winograd,et al.  Understanding computers and cognition - a new foundation for design , 1987 .

[36]  Michael Thielscher,et al.  Introduction to the Fluent Calculus , 1998, Electron. Trans. Artif. Intell..

[37]  Jean Scholtz,et al.  Evaluation of human-robot interaction awareness in search and rescue , 2004, IEEE International Conference on Robotics and Automation, 2004. Proceedings. ICRA '04. 2004.