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

DOI

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.

Copyright

© 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/).

Download article (PDF)

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  -