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

Анотація: Для безкванторно-функціональних логік та їх різновидів зі слабкою рівністю та строгою рівністю побудовано числення секвенційного типу. Такі числення формалізують відношення неспростовнісного, істиннісного, хибнісного та сильного логічного наслідку. Для цих числень доведено теореми коректності й повноти. На базі теорем повноти отримано алгоритмічну розв’язність проблем наявності логічного наслідку для скінчених множин формул, проблем неспростовності та тотожної істинності для формул.

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

Посилання:

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. Нікітченко М.С. Математична логіка та теорія алгоритмів / М.С. Нікітченко, С.С. Шкільняк. – К.: ВПЦ Київський університет, 2008. – 528 с.
3. Шкільняк С.С. Безкванторно-функціональні логіки часткових квазіарних предикатів / С.С. Шкільняк, Д.Б. Волковицький // Вісник Київського університету імені Тараса Шевченка. Серія: фіз.-мат. науки. – 2015. – Вип. 3. – C. 148–154.
4. Шкільняк С.С. Композиційно-номінативні логіки безкванторних рівнів / С.С. Шкільняк, Д.Б. Волковицький // Проблеми програмування. – 2016. – № 2–3 – C. 48–62.
5. Нікітченко М.С. Чисті першопорядкові логіки квазіарних предикатів / М.С. Нікітченко, О.С. Шкільняк, С.С. Шкільняк // Проблеми програмування. – 2016. – № 2–3. – C. 73–86.