Equivalent formula of S4 system & its application in NLU & TMT
Li Yingtan · 2002
The article first gives a brief introduction to the basic concepts of the TMT (Trustworthy Machine Translation) and S4 systems. A small TMT prototype is being built up in SIA which is funded by CAS. The author presents the safest way to transform some natural language which is called the duality-derived-equivalent formula; it uses unambiguous natural language-type 4th class symbols and is derived based on duality principles. Duality-derived-equivalent formulae are of absolute correctness that need not consider the context, so they can be used in TMT to guarantee the correctness of MT.