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

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

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

Посилання:

1. Eds. Abramsky S. Handbook of Logic in Computer Science: in 5 vol. / [Eds. Abramsky S., Gabbay D.and Maibaum T.S.E.]. – Oxford : Clarendon Press, 1994 – 2000.
2. Нікітченко М.С. Математична логіка та теорія алгоритмів / М.С. Нікітченко, С.С.Шкільняк. – К. :ВПЦ Київський університет, 2008. – 528 с.
3. Шкільняк С.С. Відношення логічного наслідку в композиційно-номінативних логіках /С.С. Шкільняк // Пробл. програмування. – 2010. – № 1 – C. 15-38.
4. Шкильняк С.С. Логики квазиарных предикатов первого порядка / С.С. Шкильняк // Кибернетика исистемный анализ. – 2010. – № 6 – С. 32-49.
5. Нікітченко М.С. Першопорядкові композиційно-номінативні логіки / М.С. Нікітченко, С.С.Шкільняк// Вісник Київського ун-ту. Серія : фіз.-мат. науки. – 2011. – Вип. 4. – С. 176-185.
6. Шкильняк С.С. Логічний наслідок та його формалізації в композиційно-номінативних логіках /С.С. Шкільняк // Штучний інтелект. – 2012. – № 1. – C. 307-319.
7. Nikitchenko M. Satisfability and Validity Problems in Many-sorted Composition-Nominative Pure Predicate Logics/ M.Nikitchenko, V.Tymofieiev // Comm. in Comp. and Inf. Science. – Springer, 2012. – V. 347. – P. 89-110.