Логика первого порядка
Related Papers
A Generative Grammar Approach for the Morphologic and Morphosyntactic Analysis of Italian
A morphologic and morphosyntactic analyzer for the Italian language has been implemented in VM/Prolog 131 at the IBM Romc Scientific Center as part of a project on text understanding. Aim …...
A Call for Executable Linguistics Research
. This paper mirrors my invited talk at PACLIC-22. It describes a call for a renewed emphasis in work on the logical semantics of languages. It lists some of the …...
A Framework Based on Graphical Models with Logic for Chinese Named Entity Recognition
Chinese named entity recognition (NER) has re- cently been viewed as a classification or sequence labeling problem, and many approaches have been proposed. However, they tend to address this problem …...
An Integrated Probabilistic and Logic Approach to Encyclopedia Relation Extraction with Multiple Features
We propose a new integrated approach based on Markov logic networks (MLNs), an effective com- bination of probabilistic graphical models and first- order logic for statistical relational learning, to ex- …...
Knowing What to Believe (when you already know something)
Although much work in NLP has focused on simply determining what a document means, we also must know whether or not to believe it. Fact-finding algorithms at- tempt to identify …...
Unsupervised Relation Extraction with General Domain Knowledge
In this paper we present an unsupervised ap- proach to relational information extraction. Our model partitions tuples representing an observed syntactic relationship between two named entities (e.g., “X was born …...
Question Answering over Linked Data Using First-order Logic
Question Answering over Linked Data (QALD) aims to evaluate a question an- swering system over structured data, the key objective of which is to translate questions posed using natural language …...
Higher-order logical inference with compositional semantics
We present a higher-order inference sys- tem based on a formal compositional semantics and the wide-coverage CCG parser. We develop an improved method to bridge between the parser and seman- …...
Injecting Logical Background Knowledge into Embeddings for Relation Extraction
Matrix factorization approaches to relation extraction provide several attractive features: they support distant supervision, handle open schemas, and leverage unlabeled data. Unfortu- nately, these methods share a shortcoming with all …...
Building compositional semantics and higher-order inference system for a wide-coverage Japanese CCG parser
This paper presents a system that compo- sitionally maps outputs of a wide-coverage Japanese CCG parser onto semantic represen- tations and performs automated inference in higher-order logic. The system is …...
LNN-EL: A Neuro-Symbolic Approach to Short-text Entity Linking
AbstractEntity linking (EL) is the task of disambiguating mentions appearing in text by linking them to entities in a knowledge graph, a crucial task for text understanding, question answering or …...
Parsing Natural Language into Propositional and First-Order Logic with Dual Reinforcement Learning
AbstractSemantic parsing converts natural language utterances into structured logical expressions. We consider two such formal representations: Propositional Logic (PL) and First-order Logic (FOL). The paucity of labeled data is a …...