THE AUTOMATED TRANSLATION OF NATURAL LANGUAGE SENTENCES INTO INTENSIONAL LOGIC AT THE TYPE ANALYSIS AND CONSTRUCTION SYNTHESIS LEVELS
This paper describes the theoretical design and implementation of the semantic machine of transparent intensional logic. Transparent intensional logic is used for the logical-semantic analysis of natural language, which is performed in three steps - type analysis, creation of construction, and type...
Main Authors: | , , |
---|---|
Format: | Article |
Language: | English |
Published: |
Sciendo
2020-01-01
|
Series: | Acta Electrotechnica et Informatica |
Subjects: | |
Online Access: | http://www.aei.tuke.sk/papers/2019/4/01_Bilanova.pdf |
_version_ | 1797716165419597824 |
---|---|
author | Branislav BEDNAR Zuzana BILANOVA Adrian PEKAR |
author_facet | Branislav BEDNAR Zuzana BILANOVA Adrian PEKAR |
author_sort | Branislav BEDNAR |
collection | DOAJ |
description | This paper describes the theoretical design and implementation of the semantic machine of transparent intensional logic. Transparent intensional logic is used for the logical-semantic analysis of natural language, which is performed in three steps - type analysis,
creation of construction, and type control (last step is optional). The semantic machine described in this paper allows analyzing natural
language sentences in the first two of the mentioned steps. Transparent intensional logic analyzes the meaning of natural language
sentences and therefore it was not essential to focus on the syntactic level of analysis. Syntactic analysis is performed using a Stanford
CoreNLP parser, which was carefully selected after comparison with competing parsers. The functionality of the implemented semantic
machine is demonstrated by a logical analysis of examples of natural language sentences. |
first_indexed | 2024-03-12T08:17:31Z |
format | Article |
id | doaj.art-15ccc58609d04076bf72268ec17a1611 |
institution | Directory Open Access Journal |
issn | 1335-8243 1338-3957 |
language | English |
last_indexed | 2024-03-12T08:17:31Z |
publishDate | 2020-01-01 |
publisher | Sciendo |
record_format | Article |
series | Acta Electrotechnica et Informatica |
spelling | doaj.art-15ccc58609d04076bf72268ec17a16112023-09-02T18:40:22ZengSciendoActa Electrotechnica et Informatica1335-82431338-39572020-01-011943710.15546/aeei-2019-0023THE AUTOMATED TRANSLATION OF NATURAL LANGUAGE SENTENCES INTO INTENSIONAL LOGIC AT THE TYPE ANALYSIS AND CONSTRUCTION SYNTHESIS LEVELSBranislav BEDNAR0Zuzana BILANOVA1Adrian PEKAR2Department of Computers and Informatics, Faculty of Electrical Engineering and Informatics, Technical University of Kosice, Letna 9, 042 00 Kosice, SlovakiaDepartment of Computers and Informatics, Faculty of Electrical Engineering and Informatics, Technical University of Kosice, Letna 9, 042 00 Kosice, SlovakiaDepartment of Networked Systems and Services, Budapest University of Technology and Economics 1111 Budapest, Megyetem rkp. 3., HungaryThis paper describes the theoretical design and implementation of the semantic machine of transparent intensional logic. Transparent intensional logic is used for the logical-semantic analysis of natural language, which is performed in three steps - type analysis, creation of construction, and type control (last step is optional). The semantic machine described in this paper allows analyzing natural language sentences in the first two of the mentioned steps. Transparent intensional logic analyzes the meaning of natural language sentences and therefore it was not essential to focus on the syntactic level of analysis. Syntactic analysis is performed using a Stanford CoreNLP parser, which was carefully selected after comparison with competing parsers. The functionality of the implemented semantic machine is demonstrated by a logical analysis of examples of natural language sentences.http://www.aei.tuke.sk/papers/2019/4/01_Bilanova.pdfintensional constructionsintensional logicnatural language processingstanford corenlpsemantic machine |
spellingShingle | Branislav BEDNAR Zuzana BILANOVA Adrian PEKAR THE AUTOMATED TRANSLATION OF NATURAL LANGUAGE SENTENCES INTO INTENSIONAL LOGIC AT THE TYPE ANALYSIS AND CONSTRUCTION SYNTHESIS LEVELS Acta Electrotechnica et Informatica intensional constructions intensional logic natural language processing stanford corenlp semantic machine |
title | THE AUTOMATED TRANSLATION OF NATURAL LANGUAGE SENTENCES INTO INTENSIONAL LOGIC AT THE TYPE ANALYSIS AND CONSTRUCTION SYNTHESIS LEVELS |
title_full | THE AUTOMATED TRANSLATION OF NATURAL LANGUAGE SENTENCES INTO INTENSIONAL LOGIC AT THE TYPE ANALYSIS AND CONSTRUCTION SYNTHESIS LEVELS |
title_fullStr | THE AUTOMATED TRANSLATION OF NATURAL LANGUAGE SENTENCES INTO INTENSIONAL LOGIC AT THE TYPE ANALYSIS AND CONSTRUCTION SYNTHESIS LEVELS |
title_full_unstemmed | THE AUTOMATED TRANSLATION OF NATURAL LANGUAGE SENTENCES INTO INTENSIONAL LOGIC AT THE TYPE ANALYSIS AND CONSTRUCTION SYNTHESIS LEVELS |
title_short | THE AUTOMATED TRANSLATION OF NATURAL LANGUAGE SENTENCES INTO INTENSIONAL LOGIC AT THE TYPE ANALYSIS AND CONSTRUCTION SYNTHESIS LEVELS |
title_sort | automated translation of natural language sentences into intensional logic at the type analysis and construction synthesis levels |
topic | intensional constructions intensional logic natural language processing stanford corenlp semantic machine |
url | http://www.aei.tuke.sk/papers/2019/4/01_Bilanova.pdf |
work_keys_str_mv | AT branislavbednar theautomatedtranslationofnaturallanguagesentencesintointensionallogicatthetypeanalysisandconstructionsynthesislevels AT zuzanabilanova theautomatedtranslationofnaturallanguagesentencesintointensionallogicatthetypeanalysisandconstructionsynthesislevels AT adrianpekar theautomatedtranslationofnaturallanguagesentencesintointensionallogicatthetypeanalysisandconstructionsynthesislevels AT branislavbednar automatedtranslationofnaturallanguagesentencesintointensionallogicatthetypeanalysisandconstructionsynthesislevels AT zuzanabilanova automatedtranslationofnaturallanguagesentencesintointensionallogicatthetypeanalysisandconstructionsynthesislevels AT adrianpekar automatedtranslationofnaturallanguagesentencesintointensionallogicatthetypeanalysisandconstructionsynthesislevels |