Logic form
From Freepedia
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
- {{{Author|}}}{{|{{{3}}}}}}|show1| (2002)}}{{{{{Year|}}}}}}|show1|.}} {{|{{{3}}}}}}|show1|[{{{URL}}}}} Logic Form for WordNet Glosses{{|{{{3}}}}}}|show1|]}}{{|{{{3}}}}}}|show1|, {{{Pages}}}}}{{|{{{3}}}}}}|Show1|, Ph.D. thesis, Southern Methodist University}}. {{{ID|}}}
- 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.
- Dan Moldovan and Vasile Rus. (2001). "Logic Form transformation of wordNet and its Applicability to question answering". Proceedings of ACL 2001, Toulouse, France, .
- Jerry R. Hobbs. (1986). "Overview of the TACITUS project". Computational Linguistics, 12(3).
- Vasile Rus. (2004). "A First Evaluation of Logic Form Identification Systems". SENSEVAL-3: Third International Workshop on the Evaluation of Systems for the Semantic Analysis of Text, .
