Logic form: Difference between revisions
Ligulembot (talk | contribs) AWB assisted migrate {{journal reference}} to {{cite journal}} |
Ligulembot (talk | contribs) |
||
| Line 9: | Line 9: | ||
==References== |
==References== |
||
*{{ |
*{{cite book | author=Vasile Rus | title=[http://www.engr.smu.edu/~vasile/rus02.PhDThesis.ps Logic Form for WordNet Glosses] | publisher=Ph.D. thesis, Southern Methodist University | year=2002 | id=}} <!-- Most information in the article derived from Vasile's work --> |
||
*{{cite journal | author=Vasile Rus and Dan Moldovan | title=[http://www.worldscinet.com/ijait/11/1103/S0218213002000976.html High performance logic form transformation] | journal=International Journal for Tools with Artificial Intelligence. IEEE Computer Society, IEEE Press | year=September, 2002 | volume=11, No. 3 | pages=437-454}} |
*{{cite journal | author=Vasile Rus and Dan Moldovan | title=[http://www.worldscinet.com/ijait/11/1103/S0218213002000976.html High performance logic form transformation] | journal=International Journal for Tools with Artificial Intelligence. IEEE Computer Society, IEEE Press | year=September, 2002 | volume=11, No. 3 | pages=437-454}} |
||
*{{Conference reference | Author=Dan Moldovan and Vasile Rus | Title=[http://engr.smu.edu/~vasile/acl2001.ps Logic Form transformation of wordNet and its Applicability to question answering] | Booktitle=Proceedings of ACL 2001, Toulouse, France | Year=2001 | Pages=}} |
*{{Conference reference | Author=Dan Moldovan and Vasile Rus | Title=[http://engr.smu.edu/~vasile/acl2001.ps Logic Form transformation of wordNet and its Applicability to question answering] | Booktitle=Proceedings of ACL 2001, Toulouse, France | Year=2001 | Pages=}} |
||
Revision as of 20:47, 26 February 2006
Logic forms are simple, first-order logic knowledge representations of natural language sentences formed by the conjunction of concept predicates related through shared arguments. Each noun, verb, adjective, adverb, pronoun, preposition and conjunction generates a predicate. Logic forms can be decorated with word senses to disambiguate the semantics of the word. There are two types of predicates: events are marked with e, and entities are marked with x. The shared arguments connect the subjects and objects of verbs and prepositions together. Example input/output might look like this:
Input: The Earth provides the food we eat every day. Output: Earth:n_#1(x1) provide:v_#2(e1, x1, x2) food:n_#1(x2) we(x3) eat:v_#1(e2, x3, x2; x4) day:n_#1(x4)
Logic forms are used in some natural language processing techniques, such as question answering, as well as in inference both for database systems and QA systems.
Evaluations
SENSEVAL-3 in 2004 introduced a Logic Form Identification task.
References
- Vasile Rus (2002). Logic Form for WordNet Glosses. Ph.D. thesis, Southern Methodist University.
{{cite book}}: External link in|title= - Vasile Rus and Dan Moldovan (September, 2002). "High performance logic form transformation". International Journal for Tools with Artificial Intelligence. IEEE Computer Society, IEEE Press. 11, No. 3: 437–454.
{{cite journal}}: Check date values in:|year=(help); External link in|title= -
{{cite conference}}: Empty citation (help) -
{{cite conference}}: Empty citation (help) -
{{cite conference}}: Empty citation (help)