loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Takehiko Nakama 1 ; Enrique Muñoz 1 and Enrique Ruspini 2

Affiliations: 1 European Center for Soft Computing, Spain ; 2 European Centre for Soft Computing, Spain

Keyword(s): Precisiated Natural Language, Precisiation Language, Formal Logic, Propositional Logic, Predicate Logic, Quantificational Logic, Fuzzy Logic, Fuzzy Relation, Human-Robot Interaction.

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.

CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 3.138.114.140

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
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 (IJCCI 2013) - SCA; ISBN 978-989-8565-77-8; ISSN 2184-3236, SciTePress, pages 332-343. DOI: 10.5220/0004660703320343

@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 (IJCCI 2013) - SCA},
year={2013},
pages={332-343},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0004660703320343},
isbn={978-989-8565-77-8},
issn={2184-3236},
}

TY - CONF

JO - Proceedings of the 5th International Joint Conference on Computational Intelligence (IJCCI 2013) - SCA
TI - Generalization and Formalization of Precisiation Language with Applications to Human-Robot Interaction
SN - 978-989-8565-77-8
IS - 2184-3236
AU - Nakama, T.
AU - Muñoz, E.
AU - Ruspini, E.
PY - 2013
SP - 332
EP - 343
DO - 10.5220/0004660703320343
PB - SciTePress

- Science and Technology Publications, Lda.
RESOURCES

Proceedings

Papers

Authors

Ontology

CONTACTS

Science and Technology Publications, Lda
Avenida de S. Francisco Xavier, Lote 7 Cv. C,
2900-616 Setúbal, Portugal.

Phone: +351 265 520 185 (National fixed network call)
Fax: +351 265 520 186
Email: info@scitepress.org

EXTERNAL LINKS

PRIMORIS

INSTICC

SCITEVENTS

CROSSREF

PROCEEDINGS SUBMITTED FOR INDEXATION BY:

dblp

Ei Compendex

SCOPUS

Semantic Scholar

Google Scholar

Microsoft Academic