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

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

Повний опис

Збережено в:
Бібліографічні деталі
Опубліковано в: :Штучний інтелект
Дата: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 назв. — укр.

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine
id nasplib_isofts_kiev_ua-123456789-60251
record_format dspace
spelling Шкільняк, О.С.
Шкільняк, С.С.
2014-04-13T07:39:52Z
2014-04-13T07:39:52Z
2011
Композиційно-номінативні мультимодальні логіки / О.С. Шкільняк, С.С. Шкільняк // Штучний інтелект. — 2011. — № 4. — С. 126-133. — Бібліогр.: 9 назв. — укр.
1561-5359
https://nasplib.isofts.kiev.ua/handle/123456789/60251
004.42:510.69
Запропоновано нові класи спеціальних програмно-орієнтованих логік часткових предикатів – композиційно-номінативні мультимодальні логіки. Описано мови і досліджено семантичні властивості таких логік реномінативного і кванторного рівнів. В межах пропонованих логік виділено композиційно-номінативні логіки епістемічного типу.
Предложены новые классы специальных программно-ориентированных логик частичных предикатов – композиционно-номинативные мультимодальные логики. Описаны языки и исследованы семантические свойства таких логик реноминативного и кванторного уровней. В рамках предложенных логик выделены композиционно-номинативные логики эпистемического типа.
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.
uk
Інститут проблем штучного інтелекту МОН України та НАН України
Штучний інтелект
Интеллектуальные речевые технологии. Компьютерная обработка естественно-языковых текстов и семантический поиск
Композиційно-номінативні мультимодальні логіки
Композиционно-номинативные мультимодальные логики
Compositional Nominative Multimodal Logics
Article
published earlier
institution Digital Library of Periodicals of National Academy of Sciences of Ukraine
collection DSpace DC
title Композиційно-номінативні мультимодальні логіки
spellingShingle Композиційно-номінативні мультимодальні логіки
Шкільняк, О.С.
Шкільняк, С.С.
Интеллектуальные речевые технологии. Компьютерная обработка естественно-языковых текстов и семантический поиск
title_short Композиційно-номінативні мультимодальні логіки
title_full Композиційно-номінативні мультимодальні логіки
title_fullStr Композиційно-номінативні мультимодальні логіки
title_full_unstemmed Композиційно-номінативні мультимодальні логіки
title_sort композиційно-номінативні мультимодальні логіки
author Шкільняк, О.С.
Шкільняк, С.С.
author_facet Шкільняк, О.С.
Шкільняк, С.С.
topic Интеллектуальные речевые технологии. Компьютерная обработка естественно-языковых текстов и семантический поиск
topic_facet Интеллектуальные речевые технологии. Компьютерная обработка естественно-языковых текстов и семантический поиск
publishDate 2011
language Ukrainian
container_title Штучний інтелект
publisher Інститут проблем штучного інтелекту МОН України та НАН України
format Article
title_alt Композиционно-номинативные мультимодальные логики
Compositional Nominative Multimodal Logics
description Запропоновано нові класи спеціальних програмно-орієнтованих логік часткових предикатів – композиційно-номінативні мультимодальні логіки. Описано мови і досліджено семантичні властивості таких логік реномінативного і кванторного рівнів. В межах пропонованих логік виділено композиційно-номінативні логіки епістемічного типу. Предложены новые классы специальных программно-ориентированных логик частичных предикатов – композиционно-номинативные мультимодальные логики. Описаны языки и исследованы семантические свойства таких логик реноминативного и кванторного уровней. В рамках предложенных логик выделены композиционно-номинативные логики эпистемического типа. 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.
issn 1561-5359
url https://nasplib.isofts.kiev.ua/handle/123456789/60251
citation_txt Композиційно-номінативні мультимодальні логіки / О.С. Шкільняк, С.С. Шкільняк // Штучний інтелект. — 2011. — № 4. — С. 126-133. — Бібліогр.: 9 назв. — укр.
work_keys_str_mv AT škílʹnâkos kompozicíinonomínativnímulʹtimodalʹnílogíki
AT škílʹnâkss kompozicíinonomínativnímulʹtimodalʹnílogíki
AT škílʹnâkos kompozicionnonominativnyemulʹtimodalʹnyelogiki
AT škílʹnâkss kompozicionnonominativnyemulʹtimodalʹnyelogiki
AT škílʹnâkos compositionalnominativemultimodallogics
AT škílʹnâkss compositionalnominativemultimodallogics
first_indexed 2025-12-07T15:45:19Z
last_indexed 2025-12-07T15:45:19Z
_version_ 1850864901103288320