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

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

Ключові слова:

Посилання:

1. Андон Ф.И. Логические модели интеллектуальных информационных систем / Ф.И. Андон,А.Е. Яшунин, В.А. Резниченко. – К. : Наукова думка, 1999. – 396 с.
2. Cocchiarella N.B. Modal logic / N.B.Cocchiarella, M.A. Freund. – Oxford University Press, 2008. – 267 p.
3. Handbook of Logic in Computer Science : In 5 vol. / [Eds. Abramsky S., Gabbay D. and Maibaum T.S.E.]. –Oxford : Clarendon Press, 1994 – 2000.
4. Ішмуратов А.Т. Вступ до філософської логіки / Ішмуратов А.Т. – К.: Абрис,1997. – 350 с.
5. Никитченко Н.С. Композиционно-номинативный подход к уточнению понятия программы / Н.С.Никитченко // Проблемы программирования. – 1999. – № 1. – С. 16–31.
6. Нікітченко М.С. Математична логіка та теорія алгоритмів / М.С. Нікітченко, С.С.Шкільняк. – К.:ВПЦ Київський університет, 2008. – 528 с.
7. Нікітченко М.С. Композиційно-номінативні модальні логіки / М.С. Нікітченко, С.С.Шкільняк. //Проблемы программирования. – 2002. – № 1–2. – С. 27–33.
8. Шкільняк О.С. Композиційно-номінативні модальні та темпоральні логіки: семантичні властивості,секвенційні числення / О.С.Шкільняк // Наукові записки НаУКМА. Серія: Комп’ютерні науки. –2008. – Т. 86. – C. 25–34.
9. Шкільняк О.С. Семантичні властивості композиційно-номінативних модальних логік / О.С. Шкільняк //Проблеми програмування. – 2009. – № 4. – C. 11–23.