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.

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