Generalizing Precisiated Natural Language: A Formal Logic as a Precisiation Language

We generalize precisiated natrual language by establishing a formal logic as a generalized precisiation language. In this formal logic, each proposition has a form that reflects a syntactic structure observed in natural language. Various syntactic structures are incorporated in the formal logic so that it precisiates not only perceptual propositions but also action-related propositions. The syntax of the formal logic allows us to create infinitely many precisiated propositions while ensuring that every proposition in it is precisiated. We discuss how our formal logic can eectively mediate human-robot interaction.

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

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

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

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

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

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

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

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

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

[10]  K. Abbott,et al.  The interfaces between flightcrews and modern flight deck systems , 1996 .

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

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

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

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

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

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

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

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

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

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

[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]  Guido Bugmann,et al.  Mobile robot programming using natural language , 2002, Robotics Auton. Syst..

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

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

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

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

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

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

[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]  Markus Forsberg.  Why is Speech Recognition Difficult? , 2003 .

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