Штучний інтелект

Анотація: Досліджено новий клас програмно-орієнтованих логічних формалізмів – логіки загальних недетермі-нованих предикатів, або GND-предикатів. Виділено різновиди GND-предикатів, описано їх композиційні алгебри. Показано зв'язок GND-предикатів із 7-значними тотальними детермінованими предикатами – TD7-предикатами. Виділено алгебру істиннісних значень TD7-предикатів, описано усі її підалгебри. Досліджено індукування алгебрами істиннісних значень відповідних алгебр GND-предикатів. Це засвідчує особливу роль логіки ТD7-предикатів серед 7-значних логік. Підтвердженням такої ролі є ґенерування логіки TD7-предикатів із сильної 3-значної логіки Кліні.

Ключові слова:

Посилання:

1. Handbook of Logic in Computer Science / Editedby S. Abramsky, Dov M. Gabbay andT.S.E. Maibaum. – Oxford University Press,Vol. 1–5, 1993–2000.
2. Нікітченко М.С. Прикладна логіка /М.С. Нікітченко, С.С. Шкільняк. – К.: ВПЦКиївський університет, 2013. – 278 с.
3. Нікітченко М.С. Чисті першопорядкові логікиквазіарних предикатів / М.С. Нікітченко,О.С.Шкільняк, С.С. Шкільняк // Пробл.програмування. – 2016. – № 2–3. – C. 73–86.
4. Мykola S. Nikitchenko and Stepan S. Shkilniak.Algebras and logics of partial quasiary predicates// Algebra and Discrete Mathematics,Volume 23 (2017). Number 2, pp. 263–278.
5. Hähnle, R. Many-valued logic, partiality, andabstraction in formal specification languages.Logic Journal of the IGPL, 13 (2005). P. 415–433.
6. Duzi, M. Do we have to deal with partiality?Miscellanea Logica, 5 (2003). P. 45–76.
7. A. Avron, A. Zamansky. Non-deterministicsemantics for logical systems, in Handbook ofPhilosophical Logic, D.M. Gabbay, F. Guenthner(eds.), 2nd ed. Vol. 16 (2011). SpringerNetherlands. P. 227–304.
8. Jones, C. Reasoning about partial functions in theformal development of programs. In: Proceedingsof AVoCS’05. V. 145. Elsevier, Electronic Notesin Theoretical Computer Science (2006). P. 3–25.
9. Нікітченко М.С. Алгебри загальних недетермінованих предикатів / М.С. Нікітченко,О.С.Шкільняк, С.С. Шкільняк // Пробл.програмування. – 2018. – № 1. – C. 5–21.
10. Нікітченко М.С. Логіки загальних недетермінованих предикатів: семантичні аспекти /М.С. Нікітченко, О.С. Шкільняк,С.С. Шкільняк // Пробл. програмування. –2018. – № 2–3. – C. 31–45.
11. S.C Kleene. Introductions to Metamathematics. –Van Nostrand, Princeton, 1952.
12. N. Belnap, T. Steel. The Logic of Questions andAnswers. – New Haven and London: Yale Univ.Press, 1976.
13. Нікітченко М.С. Семантичні властивостіп’ятизначних логік / М.С. Нікітченко,О.В. Шишацька // Пробл. програмування. –2018. – № 1. – C. 22–35.
14. Шишацька О.В. Виникнення та інтерпретаціятризначних логік Кліні / О.В. Шишацька //Пробл. пр