Human-robot communication based on a mind model

Systematic Formulation and Computation of Subjective Spatiotemporal Knowledge Based on Mental Image Directed Semantic Theory: Toward a Formal System for Natural Intelligence

“…The deductive system is one kind of applied predicate logic (i.e., pure predicate logic with certain domain-specific constants [14,[17][18][19]), but the domain-specificity in its syntax and semantics is exclusively related to atomic locus formulas and the essential part of its semantics is subject to their interpretation controlled by the family of domain-specific constants, namely, Attributes, Values, Patterns and Standards intended to correspond well with human sensory systems. The author has found the implementation so far a success and come to have such a perspective that the scheme presented here is applicable to various mind models for humans or humanoid robots of different competences and performances simply by controlling such a family [20]. The expressive power of L md was demonstrated with linguistic or pictorial manifestations throughout this paper.…”