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