Logic form

Logic form

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

[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.

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=
*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.

Игры ⚽ Нужна курсовая?

Look at other dictionaries:

  • Logic and the philosophy of mathematics in the nineteenth century — John Stillwell INTRODUCTION In its history of over two thousand years, mathematics has seldom been disturbed by philosophical disputes. Ever since Plato, who is said to have put the slogan ‘Let no one who is not a geometer enter here’ over the… …   History of philosophy

  • Logic programming — is, in its broadest sense, the use of mathematical logic for computer programming. In this view of logic programming, which can be traced at least as far back as John McCarthy s [1958] advice taker proposal, logic is used as a purely declarative… …   Wikipedia

  • Logic Pro — Logic 8 Developer(s) Apple Inc. Stable release 9.1.5 / 2011 08 08 Operating system …   Wikipedia

  • Logic optimization — a part of logic synthesis, is the process of finding an equivalent representation of the specified logic circuit under one or more specified constraints. Generally the circuit is constrained to minimum chip area meeting a prespecified delay.… …   Wikipedia

  • Form — • The original meaning of the term form, both in Greek and Latin, was and is that in common use • eidos, being translated, that which is seen, shape, etc., with secondary meanings derived from this, as form, sort, particular, kind, nature… …   Catholic encyclopedia

  • Logic Theorist — is a computer program written in 1955 and 1956 by Alan Newell, Herbert Simon and J. C. Shaw. It was the first program deliberately engineered to mimic the problem solving skills of a human being and is called the first artificial intelligence… …   Wikipedia

  • logic —    Logic is the study of the correct way of reasoning. It is a prescriptive discipline rather than a merely descriptive one (psychology describes how we actually do reason). The two main methods for describing how we should think are the… …   Christian Philosophy

  • Logic in Islamic philosophy — Logic (Arabic: Mantiq ) played an important role in early Islamic philosophy. Islamic law placed importance on formulating standards of argument, which gave rise to a novel approach to logic in Kalam, as seen in the method of qiyas . This… …   Wikipedia

  • Logic Pro — Entwickler Apple Inc. Aktuelle Version 9.1.5 (9. August 2011) Betriebssystem Mac OS X Kategorie Musiksoftware Lizenz …   Deutsch Wikipedia

  • Logic synthesis — is a process by which an abstract form of desired circuit behavior (typically register transfer level (RTL) or behavioral) is turned into a design implementation in terms of logic gates. Common examples of this process include synthesis of HDLs,… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”