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

Takehiko Nakama, Enrique Muñoz, Enrique Ruspini

2013

Abstract

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.

References

  1. Biber, D., Conrad, S., and Leech, G. (2002). A student grammar of spoken and written English. Pearson ESL.
  2. Casper, J. and Murphy, R. R. (2003). Human-robot interactions during the robot-assisted urban search and rescue response at the World Trade Center. IEEE Transactions on Systems, Man, and Cybernetics, Part B, 33:367-385.
  3. Dias, M. B., Harris, T. K., Browning, B., Jones, E. G., Argall, B., Veloso, M. M., Stentz, A., and Rudnicky, A. I. (2006). Dynamically formed human-robot teams performing coordinated tasks. In AAAI Spring Symposium: To Boldly Go Where No Human-Robot Team Has Gone Before, pages 30-38.
  4. Dias, M. B., Kannan, B., Browning, B., Jones, E. G., Argall, B., Dias, M. F., Zinck, M., Veloso, M. M., and Stentz, A. J. (2008a). Evaluation of human-robot interaction awareness in search and rescue. In Proceedings of the IEEE International Conference on Robotics and Automation, pages 2327-2332.
  5. Dias, M. B., Kannan, B., Browning, B., Jones, E. G., Argall, B., Dias, M. F., Zinck, M., Veloso, M. M., and Stentz, A. J. (2008b). Sliding autonomy for peer-topeer human-robot teams. In Proceedings of the 10th International Conference on Intelligent Autonomous Systems.
  6. Feil-Seifer, D. and Mataric, M. J. (2008). Defining socially assistive robotics. In Proceedings of the International Conference on Rehabilitation Robotics, pages 465- 468.
  7. Ferketic, J., Goldblatt, L., Hodgson, E., Murray, S., Wichowski, R., Bradley, A., Chun, W., Evans, J., Fong, T., Goodrich, M., Steinfeld, A., and Stiles, R. (2006). Toward human-robot interface standards: Use of standardization and intelligent subsystems for advancing human-robotic competency in space exploration. In Proceedings of the SAE 36th International Conference on Environmental Systems.
  8. Fong, T., Nourbakhsh, I., Kunz, C., Flückiger, L., Schreiner, J., Ambrose, R., Burridge, R., Simmons, R., Hiatt, L., and Schultz, A. (2005). The peer-to-peer human-robot interaction project. Space, 6750.
  9. Fong, T. and Thorpe, C. (2001). Vehicle teleoperation interfaces,. Autonomous Robots, 11:9-18.
  10. Forsberg, M. (2003). Why is speech recognition difficult. Chalmers University of Technology.
  11. Gieselmann, P. and Stenneken, P. (2006). How to talk to robots: Evidence from user studies on humanrobot communication. How People Talk to Computers, Robots, and Other Artificial Communication Partners, page 68.
  12. Goodrich, M. A. and Schultz, A. C. (2007). Human-robot interaction: a survey. Found. Trends Hum.-Comput. Interact., 1:203-275.
  13. Hájek, P. (1998). Metamathematics of Fuzzy Logic, volume 4. Kluwer Academic.
  14. Johnson, M., Feltovich, P. J., Bradshaw, J. M., and Bunch, L. (2008). Human-robot coordination through dynamic regulation. In Robotics and Automation, 2008. ICRA 2008. IEEE International Conference on, pages 2159-2164.
  15. Johnson, M. and Intlekofer, K. (2008). Coordinated operations in mixed teams of humans and robots. In Proceedings of the IEEE International Conference on Distributed human-Machine Systems.
  16. Kitano, H., Tadokoro, S., Noda, I., Matsubara, H., Takahsahi, T., Shinjou, A., and Shimada, S. (1999). RoboCup rescue: Search and rescue in large-scale disasters as a domain for autonomous agents research. In Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, pages 739-743.
  17. Klir, G. J. and Folger, T. A. (1988). Fuzzy sets, uncertainty, and information. Prentice Hall.
  18. Kulyukin, V., Gharpure, C., Nicholson, J., and Osborne, G. (2006). Robot-assisted wayfinding for the visually impaired in structured indoor environments. Autonomous Robots, 21:29-41.
  19. Lacey, G. and Dawson-Howe, K. M. (1998). The application of robotics to a mobility aid for the elderly blind. Robotics and Autonomous Systems, 23:245-252.
  20. Marble, J., Bruemmer, D., Few, D., and Dudenhoeffer, D. (2004). Evaluation of supervisory vs. peer-peer interaction with human-robot teams. In Proceedings of the Hawaii International Conference on System Sciences.
  21. Mun˜oz, E., Nakama, T., and Ruspini, E. (2013). Hierarchical qualitative descriptions of perceptions for robotic environments. To appear in the Proceedings of the Fifth International Conference on Fuzzy Computation Theory and Application (FCTA).
  22. Nakama, T., Mun˜oz, E., and Ruspini, E. (2013). Generalizing precisiated natural language: A formal logic as a precisiation language. To appear in the Proceedings of the Eighth Conference of European Society for Fuzzy Logic and Technology (EUSFLAT).
  23. Norbakhsh, I. R., Sycara, K., Koes, M., Yong, M., Lewis, M., and Burion, S. (2005). Human-robot teaming for search and rescue. Pervasive Computing, pages 72- 79.
  24. Russell, B. (1984). Lectures on the philosophy of logical atomism. In Marsh, R. C., editor, Logic and Knowledge Essays 1901-1950. George Allen & Unwin, London.
  25. Shim, I., Yoon, J., and Yoh, M. (2004). A human robot interactive system “RoJi”. International Journal of Control, Automation, and Systems, 2:398-405.
  26. Shneiderman, B. (2000). The limits of speech recognition. Communications of the ACM, 43(9):63-65.
  27. Tomassi, P. (1999). Logic. Routledge.
  28. Trillas, E. and Alsina, C. (2012). From Leibnizs shinning theorem to the synthesis of rules through MamdaniLarsen conditionals. In Combining Experimentation and Theory, pages 247-258. Springer.
  29. Wilcox, B. and Nguyen, T. (1998). Sojourner on mars and lessons learned for future planetary rovers. In Proceedings of the SAE International Conference on Environmental Systems.
  30. Winograd, T. and Flores, F. (1986). Understanding computers and cognition: A new foundation for design. Ablex Pub.
  31. Zadeh, L. A. (2001). A new direction in AI: toward a computational theory of perceptions. AI magazine, 22(1):73.
  32. Zadeh, L. A. (2002). Some reflections on information granulation and its centrality in granular computing, computing with words, the computational theory of perceptions and precisiated natural language. Studies in Fuzziness And Soft Computing, 95:3-22.
  33. Zadeh, L. A. (2004). Precisiated natural language (PNL). AI Magazine, 25(3):74-92.
Download


Paper Citation


in Harvard Style

Nakama T., Muñoz E. and Ruspini E. (2013). Generalization and Formalization of Precisiation Language with Applications to Human-Robot Interaction . In Proceedings of the 5th International Joint Conference on Computational Intelligence - Volume 1: SCA, (IJCCI 2013) ISBN 978-989-8565-77-8, pages 332-343. DOI: 10.5220/0004660703320343


in Bibtex Style

@conference{sca13,
author={Takehiko Nakama and Enrique Muñoz and Enrique Ruspini},
title={Generalization and Formalization of Precisiation Language with Applications to Human-Robot Interaction},
booktitle={Proceedings of the 5th International Joint Conference on Computational Intelligence - Volume 1: SCA, (IJCCI 2013)},
year={2013},
pages={332-343},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0004660703320343},
isbn={978-989-8565-77-8},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 5th International Joint Conference on Computational Intelligence - Volume 1: SCA, (IJCCI 2013)
TI - Generalization and Formalization of Precisiation Language with Applications to Human-Robot Interaction
SN - 978-989-8565-77-8
AU - Nakama T.
AU - Muñoz E.
AU - Ruspini E.
PY - 2013
SP - 332
EP - 343
DO - 10.5220/0004660703320343