Generalizing and Formalizing Precisiation Language to Facilitate Human-Robot Interaction

We develop a formal logic as a generalized precisiation language. This formal logic can serve as a middle ground between the natural-language-based mode of human communication and the low-level mode of machine communication. Syntactic structures in natural language are incorporated in the syntax of the formal logic. As regards the semantics, we establish the formal logic as a many-valued logic. We present examples that illustrate how our formal logic can facilitate human-robot interaction.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

[16]  Petr Hájek,et al.  Metamathematics of Fuzzy Logic , 1998, Trends in Logic.