Equivalent formula of S4 system & its application in NLU & TMT

被引：0

作者：

Li, YT ^{[1
]}

机构：

[1] Chinese Acad Sci, Shenyang Inst Automat, TMT R&D Grp, Shenyang 110015, Peoples R China

来源：

2001 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-5: E-SYSTEMS AND E-MAN FOR CYBERNETICS IN CYBERSPACE | 2002年

关键词：

duality-drived-equivalent formula of S4; S4; system; unambiguous-natural-language-like-4th-class-symbol; trustworthy machine translation (TMT); duality principle;

D O I：

暂无

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

In this paper we first give a brief introduction to the basic concepts of TMT and S4 system. Now a small TMT prototype is being built up in SIA which is funded by CAS. Then author presents a safest way to transform some natural language form each other which is called the duality-drived-equivalent formula that uses unambiguous-natural-language-like-4th-class-symbols and is drived out based on the duality principles. Duality-drived-equivalent formula are of absolutely correctness that needn't to consider the context, so it can be used in TMT-trustworthy machine translation-system to guarantee the correctness of MT.

引用

页码：506 / 511

页数：6