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...

Full description

Bibliographic Details
Main Authors: Branislav BEDNAR, Zuzana BILANOVA, Adrian PEKAR
Format: Article
Language:English
Published: Technical University of Kosice 2020-01-01
Series:Acta Electrotechnica et Informatica
Subjects:
Online Access:http://www.aei.tuke.sk/papers/2019/4/01_Bilanova.pdf