Generalizing Precisiated Natural Language: A Formal Logic as a Precisiation Language
Takehiko Nakama, Enrique Muñoz, Enrique Ruspini
Available Online August 2013.
- 10.2991/eusflat.2013.89How to use a DOI?
- precisiated natural language precisiation language computational theory of perceptions formal logic human-robot interaction
We generalize precisiated natrual language by establishing a formal logic as a generalized precisiation language. In this formal logic, each proposition has 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 effectively mediate human-robot interaction.
- © 2013, the Authors. Published by Atlantis Press.
- Open Access
- This is an open access article distributed under the CC BY-NC license (http://creativecommons.org/licenses/by-nc/4.0/).
Cite this article
TY - CONF AU - Takehiko Nakama AU - Enrique Muñoz AU - Enrique Ruspini PY - 2013/08 DA - 2013/08 TI - Generalizing Precisiated Natural Language: A Formal Logic as a Precisiation Language BT - Proceedings of the 8th conference of the European Society for Fuzzy Logic and Technology (EUSFLAT-13) PB - Atlantis Press SP - 622 EP - 629 SN - 1951-6851 UR - https://doi.org/10.2991/eusflat.2013.89 DO - 10.2991/eusflat.2013.89 ID - Nakama2013/08 ER -