Logic form (original) (raw)
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:
Property | Value |
---|---|
dbo:abstract | 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. (en) Una forma logica è una rappresentazione in logica del prim'ordine di una frase in lingua naturale. Tale rappresentazione è costituita dalla congiunzione logica di predicati concettuali correlati da argomenti comuni. Nomi, verbi, aggettivi, avverbi, pronomi, preposizioni e congiunzioni in una frase danno luogo a un predicato. Le forme logiche possono essere "decorate" con significati per disambiguare la semantica delle parole. Un esempio di forma logica è il seguente: Frase in lingua naturale: Luigi mangia la minestra.Forma logica corrispondente: Luigi:n_#1(x1) mangia:v_#2(e1, x1, x2) minestra:n_#1(x2) Le forme logiche sono utilizzate da tecniche di elaborazione del linguaggio naturale quali il question answering, l'inferenza, ecc. (it) |
dbo:wikiPageExternalLink | http://engr.smu.edu/~vasile/acl2001.ps http://www.engr.smu.edu/~vasile/rus02.PhDThesis.ps https://web.archive.org/web/20051103065652/http:/acl.ldc.upenn.edu/acl2004/senseval/pdf/rus.pdf https://web.archive.org/web/20060913123640/http:/engr.smu.edu/~vasile/acl2001.ps http://acl.ldc.upenn.edu/acl2004/senseval/pdf/rus.pdf |
dbo:wikiPageID | 1936537 (xsd:integer) |
dbo:wikiPageLength | 3120 (xsd:nonNegativeInteger) |
dbo:wikiPageRevisionID | 1017447302 (xsd:integer) |
dbo:wikiPageWikiLink | dbr:Question_answering dbr:Natural_language_processing dbr:Inference dbr:Database dbr:First-order_logic dbr:Knowledge_representation dbc:Computational_linguistics dbc:Knowledge_representation dbc:Natural_language_processing dbr:Word_sense_disambiguation dbr:Word_sense dbr:Natural_language |
dbp:wikiPageUsesTemplate | dbt:Cite_book dbt:Cite_conference dbt:Cite_journal dbt:Comp-ling-stub |
dcterms:subject | dbc:Computational_linguistics dbc:Knowledge_representation dbc:Natural_language_processing |
gold:hypernym | dbr:Representations |
rdf:type | dbo:Colour |
rdfs:comment | 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: (en) Una forma logica è una rappresentazione in logica del prim'ordine di una frase in lingua naturale. Tale rappresentazione è costituita dalla congiunzione logica di predicati concettuali correlati da argomenti comuni. Nomi, verbi, aggettivi, avverbi, pronomi, preposizioni e congiunzioni in una frase danno luogo a un predicato. Le forme logiche possono essere "decorate" con significati per disambiguare la semantica delle parole. Un esempio di forma logica è il seguente: (it) |
rdfs:label | Forma logica (it) Logic form (en) |
owl:sameAs | freebase:Logic form wikidata:Logic form dbpedia-fa:Logic form dbpedia-it:Logic form https://global.dbpedia.org/id/3TvAr |
prov:wasDerivedFrom | wikipedia-en:Logic_form?oldid=1017447302&ns=0 |
foaf:isPrimaryTopicOf | wikipedia-en:Logic_form |
is dbo:wikiPageRedirects of | dbr:Logic_Form dbr:Formulation_(logic) dbr:Logic_forms |
is dbo:wikiPageWikiLink of | dbr:Logic_Form dbr:Outline_of_natural_language_processing dbr:Formulation_(logic) dbr:Logic_forms |
is foaf:primaryTopic of | wikipedia-en:Logic_form |