- Logic form
Logic forms are simple,
first-order logic knowledge representations of natural languagesentences 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 processingtechniques, such as question answering, as well as in inferenceboth for databasesystems and QA systems.
[http://www.senseval.org/ SENSEVAL-3] in 2004 introduced a waybackdate|site=http://www.cs.iusb.edu/~vasile/logic/indexLF.html|date=20050902115653|title=Logic Form Identification task.
*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=
*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 | month=September | year=2002 | volume=11, No. 3 | pages=437–454
*cite conference | author=Dan Moldovan and Vasile Rus | url=http://engr.smu.edu/~vasile/acl2001.ps | title=Logic Form transformation of wordNet and its Applicability to question answering | booktitle=Proceedings of ACL 2001, Toulouse, France | year=2001 | pages=
*cite conference | author=Jerry R. Hobbs | title=Overview of the TACITUS project | booktitle=Computational Linguistics| year=1986 | pages=12(3)
*cite conference | author=Vasile Rus | url=http://acl.ldc.upenn.edu/acl2004/senseval/pdf/rus.pdf | title=A First Evaluation of Logic Form Identification Systems | booktitle=SENSEVAL-3: Third International Workshop on the Evaluation of Systems for the Semantic Analysis of Text | year=2004 | pages=|format=PDF
Wikimedia Foundation. 2010.