Inferring knowledge from textual data by natural deduction

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61989100%3A27240%2F19%3A10239574" target="_blank" >RIV/61989100:27240/19:10239574 - isvavai.cz</a>

Výsledek na webu

<a href="https://www.cys.cic.ipn.mx/ojs/index.php/CyS/article/view/3345/2766" target="_blank" >https://www.cys.cic.ipn.mx/ojs/index.php/CyS/article/view/3345/2766</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.13053/CyS-24-1-3345" target="_blank" >10.13053/CyS-24-1-3345</a>

Jazyk výsledku

angličtina

Název v původním jazyce

Inferring knowledge from textual data by natural deduction

Popis výsledku v původním jazyce

In this paper, we introduce the system for inferring implicit computable knowledge from textual data by natural deduction. Our background system is Trans-parent Intensional Logic (TIL) with its procedural se-mantics that assigns abstract procedures to terms of natural language as their context-invariant meanings. The input data for our method are produced by the so-called Normal Translation Algorithm (NTA). The algo-rithm processes natural-language texts and produces TIL constructions. In this way we have obtained a large corpus of TIL meaning procedures. These procedures are furthermore processed by our algorithms for type checking and context recognition so that the rules of natural deduction for inferring computable knowledge can be afterwards applied.

Název v anglickém jazyce

Inferring knowledge from textual data by natural deduction

Popis výsledku anglicky

In this paper, we introduce the system for inferring implicit computable knowledge from textual data by natural deduction. Our background system is Trans-parent Intensional Logic (TIL) with its procedural se-mantics that assigns abstract procedures to terms of natural language as their context-invariant meanings. The input data for our method are produced by the so-called Normal Translation Algorithm (NTA). The algo-rithm processes natural-language texts and produces TIL constructions. In this way we have obtained a large corpus of TIL meaning procedures. These procedures are furthermore processed by our algorithms for type checking and context recognition so that the rules of natural deduction for inferring computable knowledge can be afterwards applied.

Druh

J_imp - Článek v periodiku v databázi Web of Science

CEP obor

—

OECD FORD obor

10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

Projekt

<a href="/cs/project/GA18-23891S" target="_blank" >GA18-23891S: Hyperintensionální usuzování nad texty přirozeného jazyka</a><br>

Návaznosti

S - Specificky vyzkum na vysokych skolach

Rok uplatnění

2019

Kód důvěrnosti údajů

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

Název periodika

Computación y Sistemas

ISSN

1405-5546

e-ISSN

—

Svazek periodika

24

Číslo periodika v rámci svazku

1

Stát vydavatele periodika

MX - Spojené státy mexické

Počet stran výsledku

20

Strana od-do

29-48

Kód UT WoS článku

000523232900003

EID výsledku v databázi Scopus

—