7-значнi логіки та логіки загальних недетермінованих предикатів
Досліджено новий клас програмно-орієнтованих логічних формалізмів – логіки загальних недетермі-нованих предикатів, або GND-предикатів. Виділено різновиди GND-предикатів, описано їх композиційні алгебри. Показано зв'язок GND-предикатів із 7-значними тотальними детермінованими предикатами – TD7-п...
Saved in:
| Published in: | Штучний інтелект |
|---|---|
| Date: | 2018 |
| Main Authors: | , , |
| Format: | Article |
| Language: | Ukrainian |
| Published: |
Інститут проблем штучного інтелекту МОН України та НАН України
2018
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/162380 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Cite this: | 7-значнi логіки та логіки загальних недетермінованих предикатів / М.С. Нікітченко, O.С. Шкільняк, С.С. Шкільняк // Штучний інтелект. — 2018. — № 2 (80). — С. 110-121. — Бібліогр.: 14 назв. — укр. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1862590366643912704 |
|---|---|
| author | Нікітченко, М.С. Шкільняк, O.С. Шкільняк, С.С. |
| author_facet | Нікітченко, М.С. Шкільняк, O.С. Шкільняк, С.С. |
| citation_txt | 7-значнi логіки та логіки загальних недетермінованих предикатів / М.С. Нікітченко, O.С. Шкільняк, С.С. Шкільняк // Штучний інтелект. — 2018. — № 2 (80). — С. 110-121. — Бібліогр.: 14 назв. — укр. |
| collection | DSpace DC |
| container_title | Штучний інтелект |
| description | Досліджено новий клас програмно-орієнтованих логічних формалізмів – логіки загальних недетермі-нованих предикатів, або GND-предикатів. Виділено різновиди GND-предикатів, описано їх композиційні алгебри. Показано зв'язок GND-предикатів із 7-значними тотальними детермінованими предикатами – TD7-предикатами. Виділено алгебру істиннісних значень TD7-предикатів, описано усі її підалгебри. Досліджено індукування алгебрами істиннісних значень відповідних алгебр GND-предикатів. Це засвідчує особливу роль логіки ТD7-предикатів серед 7-значних логік. Підтвердженням такої ролі є ґенерування логіки TD7-предикатів із сильної 3-значної логіки Кліні.
A new class of program-oriented logical formalisms – a logic of general non-deterministic predicates, or GND-predicates – is investigated. Different types of GND-predicates are identified, their compositional algebras are described. The connection of GND-predicates with 7-valued total deterministic predicates, or TD7-predicates, is demonstrated. The algebra of truth values of TD7-predicates is specified; all its subalgebras are described. Such algebras induce subalgebras of corresponding GND-predicates; their properties are investigated. This demonstrates the special role of the logic of TD7-predicates among the 7-valued logics. The confirmation of this role is the generation of the logic of TD7 predicates from the strong 3-valued Kleene logic.
|
| first_indexed | 2025-11-27T04:38:10Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-162380 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 1561-5359 |
| language | Ukrainian |
| last_indexed | 2025-11-27T04:38:10Z |
| publishDate | 2018 |
| publisher | Інститут проблем штучного інтелекту МОН України та НАН України |
| record_format | dspace |
| spelling | Нікітченко, М.С. Шкільняк, O.С. Шкільняк, С.С. 2020-01-07T18:44:14Z 2020-01-07T18:44:14Z 2018 7-значнi логіки та логіки загальних недетермінованих предикатів / М.С. Нікітченко, O.С. Шкільняк, С.С. Шкільняк // Штучний інтелект. — 2018. — № 2 (80). — С. 110-121. — Бібліогр.: 14 назв. — укр. 1561-5359 https://nasplib.isofts.kiev.ua/handle/123456789/162380 004.42:510.69 Досліджено новий клас програмно-орієнтованих логічних формалізмів – логіки загальних недетермі-нованих предикатів, або GND-предикатів. Виділено різновиди GND-предикатів, описано їх композиційні алгебри. Показано зв'язок GND-предикатів із 7-значними тотальними детермінованими предикатами – TD7-предикатами. Виділено алгебру істиннісних значень TD7-предикатів, описано усі її підалгебри. Досліджено індукування алгебрами істиннісних значень відповідних алгебр GND-предикатів. Це засвідчує особливу роль логіки ТD7-предикатів серед 7-значних логік. Підтвердженням такої ролі є ґенерування логіки TD7-предикатів із сильної 3-значної логіки Кліні. A new class of program-oriented logical formalisms – a logic of general non-deterministic predicates, or GND-predicates – is investigated. Different types of GND-predicates are identified, their compositional algebras are described. The connection of GND-predicates with 7-valued total deterministic predicates, or TD7-predicates, is demonstrated. The algebra of truth values of TD7-predicates is specified; all its subalgebras are described. Such algebras induce subalgebras of corresponding GND-predicates; their properties are investigated. This demonstrates the special role of the logic of TD7-predicates among the 7-valued logics. The confirmation of this role is the generation of the logic of TD7 predicates from the strong 3-valued Kleene logic. uk Інститут проблем штучного інтелекту МОН України та НАН України Штучний інтелект Теорія та засоби обчислювального інтелекту 7-значнi логіки та логіки загальних недетермінованих предикатів 7-values logics and logics of general non-deterministic predicates Article published earlier |
| spellingShingle | 7-значнi логіки та логіки загальних недетермінованих предикатів Нікітченко, М.С. Шкільняк, O.С. Шкільняк, С.С. Теорія та засоби обчислювального інтелекту |
| title | 7-значнi логіки та логіки загальних недетермінованих предикатів |
| title_alt | 7-values logics and logics of general non-deterministic predicates |
| title_full | 7-значнi логіки та логіки загальних недетермінованих предикатів |
| title_fullStr | 7-значнi логіки та логіки загальних недетермінованих предикатів |
| title_full_unstemmed | 7-значнi логіки та логіки загальних недетермінованих предикатів |
| title_short | 7-значнi логіки та логіки загальних недетермінованих предикатів |
| title_sort | 7-значнi логіки та логіки загальних недетермінованих предикатів |
| topic | Теорія та засоби обчислювального інтелекту |
| topic_facet | Теорія та засоби обчислювального інтелекту |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/162380 |
| work_keys_str_mv | AT níkítčenkoms 7značnilogíkitalogíkizagalʹnihnedetermínovanihpredikatív AT škílʹnâkos 7značnilogíkitalogíkizagalʹnihnedetermínovanihpredikatív AT škílʹnâkss 7značnilogíkitalogíkizagalʹnihnedetermínovanihpredikatív AT níkítčenkoms 7valueslogicsandlogicsofgeneralnondeterministicpredicates AT škílʹnâkos 7valueslogicsandlogicsofgeneralnondeterministicpredicates AT škílʹnâkss 7valueslogicsandlogicsofgeneralnondeterministicpredicates |