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

Анотація: Запропоновано новий клас програмно-орієнтованих логічних формалізмів – чисті першопорядкові логіки із квазіарними та n-арними предикатами. Вони є синтезом класичних першопорядкових логік та композиційно-номінативних логік квазіарних предикатів. Описано мови і наведено се манти- чні властивості пропонованих логік. Для формалізації відношень неспростовнісного, істиннісного, хибнісного та сильного логічного наслідку побудовано низку числень секвенційного типу.

Ключові слова: логіка, квазіарний предикат, n-арний предикат, секвенційне числення

Посилання:

1. Handbook of Logic in Computer Science / Edited by S. Abramsky, Dov M. Gabbay and T.S.E. Maibaum. – Oxford University Press, Vol. 1–5, 1993–2000.
2. S.C. Kleene. Mathematical Logic. – New York: John Wiley & Sons. – 1967. – 398 p.
3. Нікітченко М.С. Математична логіка та теорія алгоритмів / М.С. Нікітченко, С.С. Шкільняк. – К.: ВПЦ Київський університет, 2008. – 528 с.
4. Нікітченко М.С. Прикладна логіка / М.С. Нікітченко, С.С. Шкільняк. – К.: ВПЦ Київський університет, 2013. – 278 с.
5. Nikitchenko М. Properties of Logics of Quasiary Predicates / М. Nikitchenko, S. Shkilniak // Workshop on Foundations of Informatics: Proceedings FOI-2015. August 24–29, 2015, Chisinau, Moldova.— P. 180–197.
6. Нікітченко М.С. Чисті першопорядкові логіки квазіарних предикатів / М.С. Нікітченко, О.С. Шкільняк, С.С. Шкільняк // Пробл. програмування. – 2016. – № 2–3. – C. 73–86.
7. Шкільняк С.С. Спектр секвенційних числень першопорядкових композиційно-номінативних логік / С.С. Шкільняк // Пробл. програмування. – 2013. – № 3. – C. 22–37.