Proceedings of the 8th conference of the European Society for Fuzzy Logic and Technology (EUSFLAT-13)

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

Authors
Takehiko Nakama, Enrique Muñoz, Enrique Ruspini
Corresponding Author
Takehiko Nakama
Available Online August 2013.
DOI
https://doi.org/10.2991/eusflat.2013.89How to use a DOI?
Keywords
precisiated natural language precisiation language computational theory of perceptions formal logic human-robot interaction
Abstract
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.
Open Access
This is an open access article distributed under the CC BY-NC license.

Download article (PDF)

Volume Title
Proceedings of the 8th conference of the European Society for Fuzzy Logic and Technology (EUSFLAT-13)
Series
Advances in Intelligent Systems Research
Publication Date
August 2013
ISBN
978-90786-77-78-9
ISSN
1951-6851
DOI
https://doi.org/10.2991/eusflat.2013.89How to use a DOI?
Open Access
This is an open access article distributed under the CC BY-NC license.

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  - https://doi.org/10.2991/eusflat.2013.89
ID  - Nakama2013/08
ER  -