论文信息 - Controlled English to Logic Translation

Controlled English to Logic Translation

The Controlled English to Logic (CELT) system translates a restricted English grammar to expressions in formal logic. The logic statements use terms from a large formal ontology, the Suggested Upper Merged Ontology (SUMO), giving each resulting statement a wealth of deep meaning, similar in kind if not in degree to capturing the meaning a human associates with words in context.

Adam Pease | John Li | A. Pease | John Li

[1] Embarcadero Mountain,et al. An English to Logic Translator for Ontology-based Knowledge Representation Languages , 2003 .

[2] Adam Pease,et al. Towards a standard upper ontology , 2001, FOIS.

[3] Uwe Reyle,et al. From discourse to logic , 1993 .

[4] Norbert E. Fuchs,et al. Attempto Controlled English (ACE)Language ManualVersion 3.0 , 1999 .

[5] D. Davidson. Essays on actions and events , 1980 .

[6] H. Kucera,et al. Computational analysis of present-day American English , 1967 .

[7] Michael A. Covington,et al. Natural Language Processing for Prolog Programmers , 1993 .

[8] David L. Davidson,et al. The Logical Form of Action Sentences , 2001 .

[9] Christiane Fellbaum,et al. Book Reviews: WordNet: An Electronic Lexical Database , 1999, CL.

[10] Chung Hee Hwang,et al. The TRAINS project: a case study in building a conversational planning agent , 1994, J. Exp. Theor. Artif. Intell..

[11] Christiane Fellbaum,et al. Building Semantic Concordances , 1998 .

[12] Adam Pease,et al. Origins of The IEEE Standard Upper Ontology , 2004 .

[13] Adam Pease,et al. Linking Lixicons and Ontologies: Mapping WordNet to the Suggested Upper Merged Ontology , 2003, IKE.