Integrating special rules rooted in natural language semantics into the system of natural deduction

Result code in IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61989100%3A27240%2F20%3A10244301" target="_blank" >RIV/61989100:27240/20:10244301 - isvavai.cz</a>

Result on the web

—

DOI - Digital Object Identifier

—

Result language

angličtina

Original language name

Integrating special rules rooted in natural language semantics into the system of natural deduction

Original language description

The paper deals with natural language processing and question answering over large corpora of formalised natural language texts. Our background theory is the system of Transparent Intensional Logic (TIL). Having a fine-grained analysis of natural language sentences in the form of TIL constructions, we apply Gentzen&apos;s sys-tem of natural deduction to answer questions in an &apos;intelligent&apos; way. It means that our system derives logical consequences entailed by the input sentences rather than merely searching answers by keywords. Natural lan-guage semantics is rich, and plenty of its special features must be taken into account in the process of inferring answers. The TIL system makes it possible to formalise all these semantically salient features in a fine-grained way. In particular, since TIL is a logic of partial functions, it deals with non-referring terms and sentences with truth-value gaps in an appropriate way. This is important because sentences often come attached with a presupposition that must be true in order that a given sentence had any truth-value. Yet, a problem arises how to integrate those special semantic rules into a standard deduction system. Proposal of the solution is one of the goals of this paper. The second novel result is this. There is a problem how to search relevant sentences in the labyrinth of input text data and how to vote for relevant applicable rules to meet the goal, i.e. to answer a given question. To this end, we propose a heuristic method driven by constituents of a given question.

Czech name

—

Czech description

—

Type

D - Article in proceedings

CEP classification

—

OECD FORD branch

10200 - Computer and information sciences

Project

Result was created during the realization of more than one project. More information in the Projects tab.

Continuities

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>S - Specificky vyzkum na vysokych skolach

Publication year

2020

Confidentiality

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Article name in the collection

ICAART 2020 - Proceedings of the 12th International Conference on Agents and Artificial Intelligence

ISBN

978-989-758-395-7

ISSN

—

e-ISSN

—

Number of pages

22

Pages from-to

410-421

Publisher name

SciTePress - Science and Technology Publications

Place of publication

Setúbal

Event location

Valletta

Event date

Feb 22, 2020

Type of event by nationality

WRD - Celosvětová akce

UT code for WoS article

000570767700045