Logic form explained
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.
References
- Book: Vasile Rus . Logic Form for WordNet Glosses . Ph.D. thesis, Southern Methodist University . 2002 .
- Vasile Rus and Dan Moldovan . High performance logic form transformation . International Journal on Artificial Intelligence Tools. September 2002 . 11. 3 . 437–454 . 10.1142/S0218213002000976 .
- Dan Moldovan and Vasile Rus . Logic Form transformation of wordNet and its Applicability to question answering . Proceedings of ACL 2001, Toulouse, France . 2001 . dead . https://web.archive.org/web/20060913123640/http://engr.smu.edu/~vasile/acl2001.ps . 2006-09-13 .
- Jerry R. Hobbs . Overview of the TACITUS project . Computational Linguistics. 1986 . 12(3).
- Vasile Rus . A First Evaluation of Logic Form Identification Systems . SENSEVAL-3: Third International Workshop on the Evaluation of Systems for the Semantic Analysis of Text . 2004 . dead . https://web.archive.org/web/20051103065652/http://acl.ldc.upenn.edu/acl2004/senseval/pdf/rus.pdf . 2005-11-03 .
