Logic forms are simple,
first-order logic
First-order logic—also known as predicate logic, quantificational logic, and first-order predicate calculus—is a collection of formal systems used in mathematics, philosophy, linguistics, and computer science. First-order logic uses quantifie ...
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 sense
In linguistics, a word sense is one of the meanings of a word. For example, a dictionary may have over 50 different senses of the word "play", each of these having a different meaning based on the context of the word's usage in a sentence, as ...
s 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
In computing, a database is an organized collection of data stored and accessed electronically. Small databases can be stored on a file system, while large databases are hosted on computer clusters or cloud storage. The design of databases s ...
systems and QA systems.
References
*
*
*
*
*
Natural language processing
Computational linguistics
Knowledge representation
{{comp-ling-stub