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

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

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

Посилання:

1. Eds. Abramsky S. Handbook of Logic in Computer Science : іn 5 vol. / [Eds. Abramsky S., Gabbay D.and Maibaum T.S.E.]. – Oxford : Clarendon Press, 1994 – 2000.
2. Никитченко Н.С. Композиционно-номинативный подход к уточнению понятия программы /Н.С. Никитченко // Проблемы программирования. – 1999. – № 1. – С. 16-31.
3. Нікітченко М.С. Математична логіка та теорія алгоритмів / М.С. Нікітченко, С.С. Шкільняк. – К. :ВПЦ Київський університет, 2008. – 528 с.
4. Шкільняк О.С. Композиційно-номінативні модальні та темпоральні логіки: семантичні властивості,секвенційні числення / О.С. Шкільняк // Наукові записки НаУКМА. Серія: Комп’ютерні науки. –2008. – Т. 86. – C. 25-34.
5. Шкільняк О.С. Семантичні властивості композиційно-номінативних модальних логік /О.С. Шкільняк // Проблеми програмування. – 2009. – № 4. – C. 11-23.
6. Нікітченко М.С. Побудова модальних логік темпорального та епістемічного типу на основі композиційно-номінативногопідходу / М.С. Нікітченко, О.С.Шкільняк, С.С.Шкільняк // Вісник Київськогоун-ту. Серія: фіз.-мат. науки. – 2011. – Вип. 3. – С. 204-211.
7. Шкільняк О.С. Kомпозиційно-номінативні мультимодальні логіки / О.С.Шкільняк, С.С.Шкільняк //Штучний інтелект. – 2011. – № 4. – C. 126-133.