Skip to main content

2016 | OriginalPaper | Buchkapitel

Generalizing and Formalizing Precisiation Language to Facilitate Human-Robot Interaction

verfasst von : Takehiko Nakama, Enrique Muñoz, Kevin LeBlanc, Enrique Ruspini

Erschienen in: Computational Intelligence

Verlag: Springer International Publishing

Aktivieren Sie unsere intelligente Suche um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

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.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Anhänge
Nur mit Berechtigung zugänglich
Literatur
1.
Zurück zum Zitat Biber, D., Conrad, S., Leech, G.: A Student Grammar of Spoken and Written English. Pearson ESL, London (2002) Biber, D., Conrad, S., Leech, G.: A Student Grammar of Spoken and Written English. Pearson ESL, London (2002)
2.
Zurück zum Zitat Dias, M.B., Kannan, B., Browning, B., Jones, E.G., Argall, B., Dias, M.F., Zinck, M., Veloso, M.M., Stentz, A.J.: Sliding autonomy for peer-to-peer human-robot teams. In: Proceedings of the 10th International Conference on Intelligent Autonomous Systems (2008) Dias, M.B., Kannan, B., Browning, B., Jones, E.G., Argall, B., Dias, M.F., Zinck, M., Veloso, M.M., Stentz, A.J.: Sliding autonomy for peer-to-peer human-robot teams. In: Proceedings of the 10th International Conference on Intelligent Autonomous Systems (2008)
3.
Zurück zum Zitat Dias, M.B., Harris, T.K., Browning, B., Jones, E.G, Argall, B., Veloso, M.M., Stentz, A., Rudnicky, A.I.: Dynamically formed human-robot teams performing coordinated tasks. In: AAAI Spring Symposium: To Boldly Go Where No Human-Robot Team Has Gone Before, pp. 30–38 (2006) Dias, M.B., Harris, T.K., Browning, B., Jones, E.G, Argall, B., Veloso, M.M., Stentz, A., Rudnicky, A.I.: Dynamically formed human-robot teams performing coordinated tasks. In: AAAI Spring Symposium: To Boldly Go Where No Human-Robot Team Has Gone Before, pp. 30–38 (2006)
4.
Zurück zum Zitat Ferketic, J., Goldblatt, L., Hodgson, E., Murray, S., Wichowski, R., Bradley, A., Chun, W., Evans, J., Fong, T., Goodrich, M., Steinfeld, A., Stiles, R.: 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 (2006) Ferketic, J., Goldblatt, L., Hodgson, E., Murray, S., Wichowski, R., Bradley, A., Chun, W., Evans, J., Fong, T., Goodrich, M., Steinfeld, A., Stiles, R.: 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 (2006)
5.
Zurück zum Zitat Forsberg, M.: Why is Speech Recognition Difficult. Chalmers University of Technology, Gothenburg (2003) Forsberg, M.: Why is Speech Recognition Difficult. Chalmers University of Technology, Gothenburg (2003)
6.
Zurück zum Zitat Gieselmann, P., Stenneken, P.: How to talk to robots: evidence from user studies on human-robot communication. In: How People Talk to Computers, Robots, and Other Artificial Communication Partners, p. 68 (2006) Gieselmann, P., Stenneken, P.: How to talk to robots: evidence from user studies on human-robot communication. In: How People Talk to Computers, Robots, and Other Artificial Communication Partners, p. 68 (2006)
7.
Zurück zum Zitat Goodrich, M.A., Schultz, A.C.: Human-robot interaction: a survey. Found. Trends Hum.-Comput. Interact. 1, 203–275 (2007)CrossRef Goodrich, M.A., Schultz, A.C.: Human-robot interaction: a survey. Found. Trends Hum.-Comput. Interact. 1, 203–275 (2007)CrossRef
8.
Zurück zum Zitat Hájek, P.: Metamathematics of Fuzzy Logic, vol. 4. Kluwer Academic, Dordrecht (1998) Hájek, P.: Metamathematics of Fuzzy Logic, vol. 4. Kluwer Academic, Dordrecht (1998)
9.
Zurück zum Zitat Johnson, M., Feltovich, P.J., Bradshaw, J.M., Bunch, L.: Human-robot coordination through dynamic regulation. In: IEEE International Conference on Robotics and Automation, 2008. ICRA 2008. pp. 2159–2164 (2008) Johnson, M., Feltovich, P.J., Bradshaw, J.M., Bunch, L.: Human-robot coordination through dynamic regulation. In: IEEE International Conference on Robotics and Automation, 2008. ICRA 2008. pp. 2159–2164 (2008)
10.
Zurück zum Zitat Johnson, M., Intlekofer, K.: Coordinated operations in mixed teams of humans and robots. In: Proceedings of the IEEE International Conference on Distributed Human-Machine Systems (2008) Johnson, M., Intlekofer, K.: Coordinated operations in mixed teams of humans and robots. In: Proceedings of the IEEE International Conference on Distributed Human-Machine Systems (2008)
11.
Zurück zum Zitat Klir, G.J., Folger, T.A.: Fuzzy Sets, Uncertainty, and Information. Prentice Hall, Englewood Cliffs (1988) Klir, G.J., Folger, T.A.: Fuzzy Sets, Uncertainty, and Information. Prentice Hall, Englewood Cliffs (1988)
12.
Zurück zum Zitat Kulyukin, V., Gharpure, C., Nicholson, J., Osborne, G.: Robot-assisted wayfinding for the visually impaired in structured indoor environments. Auton. Robot. 21, 29–41 (2006)CrossRef Kulyukin, V., Gharpure, C., Nicholson, J., Osborne, G.: Robot-assisted wayfinding for the visually impaired in structured indoor environments. Auton. Robot. 21, 29–41 (2006)CrossRef
13.
Zurück zum Zitat Marble, J., Bruemmer, D., Few, D., Dudenhoeffer, D.: Evaluation of supervisory vs. peer-peer interaction with human-robot teams. In: Proceedings of the Hawaii International Conference on System Sciences (2004) Marble, J., Bruemmer, D., Few, D., Dudenhoeffer, D.: Evaluation of supervisory vs. peer-peer interaction with human-robot teams. In: Proceedings of the Hawaii International Conference on System Sciences (2004)
14.
Zurück zum Zitat Nakama, T., Muñoz, E., Ruspini, E.: Generalizing precisiated natural language: a formal logic as a precisiation language. In: 8th Conference of the European Society for Fuzzy Logic and Technology (EUSFLAT-13). Atlantis Press (2013) Nakama, T., Muñoz, E., Ruspini, E.: Generalizing precisiated natural language: a formal logic as a precisiation language. In: 8th Conference of the European Society for Fuzzy Logic and Technology (EUSFLAT-13). Atlantis Press (2013)
15.
Zurück zum Zitat Norbakhsh, I.R., Sycara, K., Koes, M., Yong, M., Lewis, M., Burion, S.: Human-robot teaming for search and rescue. IEEE Pervasive Comput. 4, 72–79 (2005)CrossRef Norbakhsh, I.R., Sycara, K., Koes, M., Yong, M., Lewis, M., Burion, S.: Human-robot teaming for search and rescue. IEEE Pervasive Comput. 4, 72–79 (2005)CrossRef
16.
Zurück zum Zitat Russell, B.: Lectures on the philosophy of logical atomism. In: Marsh, R.C. (ed.) Logic and Knowledge Essays 1901–1950. George Allen & Unwin, London (1984) Russell, B.: Lectures on the philosophy of logical atomism. In: Marsh, R.C. (ed.) Logic and Knowledge Essays 1901–1950. George Allen & Unwin, London (1984)
17.
Zurück zum Zitat Shneiderman, B.: The limits of speech recognition. Commun. ACM 43(9), 63–65 (2000)CrossRef Shneiderman, B.: The limits of speech recognition. Commun. ACM 43(9), 63–65 (2000)CrossRef
19.
Zurück zum Zitat Trillas, E., Alsina, C.: From Leibniz’s shinning theorem to the synthesis of rules through Mamdani-Larsen conditionals. In: Combining Experimentation and Theory, pp. 247–258. Springer (2012) Trillas, E., Alsina, C.: From Leibniz’s shinning theorem to the synthesis of rules through Mamdani-Larsen conditionals. In: Combining Experimentation and Theory, pp. 247–258. Springer (2012)
20.
Zurück zum Zitat Winograd, T., Flores, F.: Understanding Computers and Cognition: A New Foundation for Design. Ablex Pub, New Jersey (1986) Winograd, T., Flores, F.: Understanding Computers and Cognition: A New Foundation for Design. Ablex Pub, New Jersey (1986)
21.
Zurück zum Zitat Zadeh, L.A.: Some reflections on information granulation and its centrality in granular computing, computing with words, the computational theory of perceptions and precisiated natural language. Stud. Fuzziness Soft Comput. 95, 3–22 (2002)CrossRef Zadeh, L.A.: Some reflections on information granulation and its centrality in granular computing, computing with words, the computational theory of perceptions and precisiated natural language. Stud. Fuzziness Soft Comput. 95, 3–22 (2002)CrossRef
22.
Zurück zum Zitat Zadeh, L.A.: Precisiated natural language (PNL). AI Mag. 25(3), 74–92 (2004) Zadeh, L.A.: Precisiated natural language (PNL). AI Mag. 25(3), 74–92 (2004)
23.
Zurück zum Zitat Zadeh, L.A.: A new direction in ai: toward a computational theory of perceptions. AI Mag. 22(1), 73 (2001) Zadeh, L.A.: A new direction in ai: toward a computational theory of perceptions. AI Mag. 22(1), 73 (2001)
Metadaten
Titel
Generalizing and Formalizing Precisiation Language to Facilitate Human-Robot Interaction
verfasst von
Takehiko Nakama
Enrique Muñoz
Kevin LeBlanc
Enrique Ruspini
Copyright-Jahr
2016
Verlag
Springer International Publishing
DOI
https://doi.org/10.1007/978-3-319-23392-5_21