Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Branislav BEDNAR"'
Publikováno v:
Acta Electrotechnica et Informatica, Vol 19, Iss 4, Pp 3-7 (2020)
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 -
Externí odkaz:
https://doaj.org/article/15ccc58609d04076bf72268ec17a1611
Autor:
Branislav Bednar, Zuzana Bilanova
Publikováno v:
2019 IEEE 15th International Scientific Conference on Informatics.
This paper aims to introduce a new and original implementation of the semantic machine of transparent intensional logic. This logic system is characterized by its procedural semantics, thanks to which it is used in the field of logical analysis of na