Композиційно-номінативні мультимодальні логіки

• Опубліковано в: : Штучний інтелект
• Дата: 2011
• Автори: Шкільняк, О.С., Шкільняк, С.С.
• Формат: Стаття
• Мова: Ukrainian
• Опубліковано: Інститут проблем штучного інтелекту МОН України та НАН України 2011
• Теми: Интеллектуальные речевые технологии. Компьютерная обработка естественно-языковых текстов и семантический поиск
• Онлайн доступ: https://nasplib.isofts.kiev.ua/handle/123456789/60251
• Назва журналу: Digital Library of Periodicals of National Academy of Sciences of Ukraine
• Цитувати: Композиційно-номінативні мультимодальні логіки / О.С. Шкільняк, С.С. Шкільняк // Штучний інтелект. — 2011. — № 4. — С. 126-133. — Бібліогр.: 9 назв. — укр.

Запропоновано нові класи спеціальних програмно-орієнтованих логік часткових предикатів – композиційно-номінативні мультимодальні логіки. Описано мови і досліджено семантичні властивості таких логік реномінативного і кванторного рівнів. В межах пропонованих логік виділено композиційно-номінативні логіки епістемічного типу. Предложены новые классы специальных программно-ориентированных логик частичных предикатов – композиционно-номинативные мультимодальные логики. Описаны языки и исследованы семантические свойства таких логик реноминативного и кванторного уровней. В рамках предложенных логик выделены композиционно-номинативные логики эпистемического типа. New special-purpose classes of program-oriented logics of partial predicates, i.e. compositional nominative multimodal logics, are introduced. For the logics of renominative and quantifier levels, languages are defined and semantic properties are studied. Compositional nominative logics of epistemic type are given within the defined logics.