Generalizing and Formalizing Precisiation Language to Facilitate Human-Robot Interaction

We develop a formal logic as a generalized precisiation language. This formal logic can serve as a middle ground between the natural-language-based mode of human communication and the low-level mode of machine communication. Syntactic structures in natural language are incorporated in the syntax of the formal logic. As regards the semantics, we establish the formal logic as a many-valued logic. We present examples that illustrate how our formal logic can facilitate human-robot interaction.