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

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

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

Посилання:

1. Cocchiarella N.B. Modal logic / N.B. Cocchiarella, M.A. Freund. – Oxford University Press, 2008. –267p.
2. Нікітченко М.С. Математична логіка та теорія алгоритмів / М.С. Нікітченко, С.С. Шкільняк. – К.: ВПЦ Київський університет, 2008. – 528 с.
3. Нікітченко М.С. Прикладна логіка/М.С. Нікітченко, С.С. Шкільняк. – К.:ВПЦ Київ. університет, 2013.– 278 с.
4. Нікітченко М. С. Чисті першопорядкові логіки квазіарних предикатів / М. С. Нікітченко, О. С. Шкільняк, С. С. Шкільняк // Пробл. програмування. – 2016. – № 2–3. – C. 73–86.
5. Шкільняк О.С. Транзиційні модальні логіки немонотонних квазіарних предикатів / О.С. Шкільняк // Компьютерная математика. – 2014. – В. 2. – C. 99–110.
6. Шкільняк О.С. Mодальні логіки немонотонних часткових предикатів / О.С. Шкільняк // Вісник Київського ун-ту. Серія: фіз.-мат. науки. – 2015. – Вип. 3. – C. 141–147.
7. Shkilniak O. Modal Logics of Partial Predicates without Monotonicity Restriction / O. Shkilniak // Workshop on Foundations of Informatics: Proceedings FOI-2015. August 24–29, 2015, Chisinau, Moldova. – P. 198–211.