Abstract:Its purpose is to prove information law by logic, mathematics and translation. The method involves: the generalized bilingual logic established on both Aristotle 's formal logic and Frege' s mathematical logic, the linkage function established on both Turing's strong artificial intelligence using numbers and Searle's weak artificial intelligence using characters, the ontological knowledge established on both Saussure's general linguistics and Chomsky's formal linguistics. The result is that the basic law can be proved by digital and textual twin matrices. Its significance lies in that the global positioning system should be regarded as a special case of the generalized bilingual system.

No abstract

This article aims to explore the question: understanding, interpreting, translating, how to resolve ambiguity? Or: how does man-machine combination resolve ambiguity? In order to focus on the essence of the problem, the method is that: target analysis butterfly model and its use cases, macroscopic analysis ambiguity model and its use cases, microscopic analysis matrix model or search model within a series of bi-list and its use cases. The result is through the three examples, from manual translation to machine translation and translation memory on view, pointed out that the fundamental way to resolve ambiguity. Its significance is that the method can be advanced to the generalized translation and corresponding interpretation and final practical understanding, the specific performance is that through man-machine collaboration, and its verifiable results with this method, we can work to resolve various ambiguities better, to ensure accurate understand, prevent and eliminate all kinds of misunderstandings.

No abstract