Generalization and Formalization of Precisiation Language with Applications to 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.