The objective of this research is to develop a system for miniature language learning based on a minimum of prewired language-specific functionality, that is compatible with observations of perceptual and language capabilities in human development. In the proposed system, meaning is extracted from video images based on detection of physical contact and its parameters. Mapping of sentence form t...

With the development of artificial intelligence, more and people hope that computers can understand human language through natural technology, learn to think like beings, finally replace beings complete highly difficult tasks with cognitive ability. As key technology understanding, sentence representation reasoning mainly focuses on method model. Although performance has been improved, there ar...

Part of the unique cultural heritage of China is the game of Chinese couplets (duìlián). One person challenges the other person with a sentence (first sentence). The other person then replies with a sentence (second sentence) equal in length and word segmentation, in a way that corresponding words in the two sentences match each other by obeying certain constraints on semantic, syntactic, and l...

I present sound and complete natural deduction systems for (quantified modal) imperative logic, in five steps. (1) Syntax: I introduce imperative formal languages by using the imperative operator ‘!’; e.g., if ‘A’ is a declarative sentence, ‘!A’ (“let A be true’’) is an imperative sentence. (2) Semantics: I introduce interpretations of imperative formal languages, and (building on previous work...