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

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

Academic Dictionaries and Encyclopedias

Logic form

Look at other dictionaries:

Share the article and excerpts

Academic Dictionaries and Encyclopedias

Wikipedia

Logic form

Look at other dictionaries:

Share the article and excerpts

Direct link