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

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

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

Посилання:

1. Нікітченко М.С. Математична логіка та теорія алгоритмів / М.С. Нікітченко, С.С. Шкільняк. – К. : ВПЦ Київський університет, 2008. – 528 с.
2. Нікітченко М.С. Композиційно-номінативні логіки кванторно-екваційного рівня / М.С. Нікітченко, С.С. Шкільняк // Вісник Київського ун-ту. Серія: кібернетика. – 2011. – Вип. 11. – C. 32-40.
3. Шкільняк С.С. Секвенційні числення композиційно-номінативних логік квазіарних предикатів / С.С. Шкільняк // Пробл. програмування. – 2012. – № 2-3. – C. 33-43.
4. Шкільняк С.С. Спеціальні секвенційні числення логік однозначних квазіарних предикатів / С.С. Шкільняк // Вісник Київського ун-ту. Серія: фіз.-мат. науки. – 2012. – Вип. 3. – С. 287-292.
5. Нікітченко М.С. Логіки квазіарних предикатів кванторно-екваційного рівня / М.С. Нікітченко, С.С. Шкільняк // Пробл. програмування. – 2012. – № 4. – C. 19-34.
6. Смирнова Е.Д. Логика и философия / Смирнова Е.Д. – М.: РОССПЕН, 1996. – 304 с.
7. Шкільняк С.С. Відношення логічного наслідку в композиційно-номінативних логіках / С.С. Шкільняк // Пробл. програмування. – 2010. – № 1. – C. 15-38.
8. Шкільняк С.С. Властивості відношень логічного наслідку в логіках квазіарних предикатів / С.С. Шкільняк // Штучний інтелект. – 2013. – № 1.
9. NikitchenkoM. 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.