| Revista: | Computación y Sistemas |
| Base de datos: | PERIÓDICA |
| Número de sistema: | 000457498 |
| ISSN: | 1405-5546 |
| Autors: | Duží, Marie1 Menšík, Marek1 |
| Institucions: | 1VSB-Technical University of Ostrava, Ostrava. República Checa |
| Any: | 2020 |
| Període: | Ene-Mar |
| Volum: | 24 |
| Número: | 1 |
| Paginació: | 29-48 |
| País: | México |
| Idioma: | Inglés |
| Tipo de documento: | Artículo |
| Enfoque: | Aplicado, descriptivo |
| Resumen en inglés | In this paper, we introduce the system for inferring implicit computable knowledge from textual data by natural deduction. Our background system is Transparent Intensional Logic (TIL) with its procedural semantics that assigns abstract procedures known as TIL constructions 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 algorithm 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 |
| Disciplines | Ciencias de la computación |
| Paraules clau: | Inteligencia artificial, Procesamiento de datos, Programación, Deducción natural, Reglas de inferencia, Lógica intensional transparente, Textos, Conversión |
| Keyword: | Artificial intelligence, Data processing, Programming, Natural deduction, Inference rules, Transparent intensional logic, Texts, Conversion |
| Text complet: | Texto completo (Ver HTML) Texto completo (Ver PDF) |
