Hi YKY, To my knowledge there is a standard style but there is of course no standard ontology. Roughly the standard style is First Order Predicate Calculus (FOPC) and within the linguistics community this is called logical form. For reference see James Allen's Natural Language Understanding, 2nd Edition, Chapter 8 - Semantics and Logical Form. Also see Terence Parson's Events in the Semantics of English, for a view that I have adopted with regard to the semantics of verbs.
As Texai is taught the principle English grammar constructions, I would be glad to contribute the form <--> semantics pairings to the wiki-like place you propose. -Steve Stephen L. Reed Artificial Intelligence Researcher http://texai.org/blog http://texai.org 3008 Oak Crest Ave. Austin, Texas, USA 78704 512.791.7860 ----- Original Message ---- From: YKY (Yan King Yin) <[EMAIL PROTECTED]> To: [email protected] Sent: Wednesday, May 7, 2008 9:48:00 AM Subject: [agi] standard way to represent NL in logic? Is there any standard (even informal) way of representing NL sentences in logic? Especially complex sentences like "John eat spaghetti with a fork" or "The dog that chased the cat jumped over the fence." etc. I have my own way of translating those sentences, but having a standard would be much better. Maybe we need to create such a standard, using a wiki-like place where people can contribute their NL <--> logic translations. YKY ------------------------------------------- agi Archives: http://www.listbox.com/member/archive/303/=now RSS Feed: http://www.listbox.com/member/archive/rss/303/ Modify Your Subscription: http://www.listbox.com/member/?&; Powered by Listbox: http://www.listbox.com ____________________________________________________________________________________ Be a better friend, newshound, and know-it-all with Yahoo! Mobile. Try it now. http://mobile.yahoo.com/;_ylt=Ahu06i62sR8HDtDypao8Wcj9tAcJ ------------------------------------------- agi Archives: http://www.listbox.com/member/archive/303/=now RSS Feed: http://www.listbox.com/member/archive/rss/303/ Modify Your Subscription: http://www.listbox.com/member/?member_id=8660244&id_secret=101455710-f059c4 Powered by Listbox: http://www.listbox.com
