Generalization and Formalization of Precisiation Language with Applications to Human-Robot Interaction

We generalize and formalize precisiation language by establishing a formal logic as a generalized precisiation language. Various syntactic structures in natural language are incorporated in the syntax of the formal logic so that it can serve as a middle ground between the natural-language-based mode of human communication and the low-level mode of machine communication. As regards the semantics, we establish the formal logic as a many-valued logic, and fuzzy relations are employed to determine the truth values of propositions efficiently. We discuss how the generalized precisiation language can facilitate human-robot interaction.

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

[2]  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.

[3]  J. Bradshaw,et al.  Coordinated Operations in Mixed Teams of Humans and Robots , .

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

[5]  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 .

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

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

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

[9]  Enrique H. Ruspini,et al.  Generalizing Precisiated Natural Language: A Formal Logic as a Precisiation Language , 2013, EUSFLAT Conf..

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

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

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

[13]  L. Zadeh.  A new direction in AI: toward a computational theory of perceptions , 2002 .

[14]  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.

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

[16]  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.

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

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

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

[20]  Enric Trillas,et al.  From Leibniz's Shinning Theorem to the Synthesis of Rules through Mamdani-Larsen Conditionals , 2012, Combining Experimentation and Theory.

[21]  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 .

[22]  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.

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

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

[25]  Enrique H. Ruspini,et al.  Hierarchical Qualitative Descriptions of Perceptions for Robotic Environments , 2013, IJCCI.

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

[27]  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).

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

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

[30]  Markus Forsberg.  Why is Speech Recognition Difficult? , 2003 .