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

Author

Yingtan, LI

Author_Institution

Shenyang Inst. of Autom., Acad. Sinica, Shenyang, China

Volume

1

fYear

2001

fDate

2001

Firstpage

506

Abstract

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

Keywords

computational linguistics; language translation; natural languages; CAS; NLU; S4 system; SIA; TMT prototype; Trustworthy Machine Translation; absolute correctness; duality principles; duality-derived-equivalent formula; natural language; natural language-type 4th class symbols; Automation; Content addressable storage; Context-aware services; Humans; Natural languages; Prototypes; Research and development; Software systems; System testing; Waste materials;

fLanguage

English

Publisher

ieee

Conference_Titel

Systems, Man, and Cybernetics, 2001 IEEE International Conference on

Conference_Location

Tucson, AZ

ISSN

1062-922X

Print_ISBN

0-7803-7087-2

Type

conf

DOI

10.1109/ICSMC.2001.969864

Filename

969864