Logical Networks and Their Usage in Solving of Morphological Tasks
Вантажиться...
Дата
2020
DOI
Науковий ступінь
Рівень дисертації
Шифр та назва спеціальності
Рада захисту
Установа захисту
Науковий керівник
Члени комітету
Видавець
Анотація
In the study of category theory, along with the usual concept of category met. As a result of developing a link between two different definitions of a category and a more general notion of an objectless category, it was found out that a whole class of isomorphic categories with objects corresponds to it. A universal mathematical apparatus of the algebra of predicates was proposed, and more precisely its central fragment, which refers to the description of logical spaces – logical analysis. As a result, the interpretation of the category in terms of the algebra of predicates was found – the predicate category Pred, and for both cases: the category with objects and the objectless category.
Опис
Ключові слова
logical network, predicate algebra, category theory, morphological tasks, isomorphic categories, finite predicates
Бібліографічний опис
Logical Networks and Their Usage in Solving of Morphological Tasks [Electronic resource] / I. Shubin [et al.] // Computational Linguistics and Intelligent Systems (COLINS 2020) : proc. of the 4th Intern. Conf., April 23-24, 2020. Vol. 2604. – Electronic text data. – Lviv, 2020. – 14 p. – Access mode: https://ceur-ws.org/Vol-2604/paper75.pdf, free (date of the application 13.02.2024.).