Логічний наслідок та його формалізації в композиційно-номінативних логіках

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

Повний опис

Збережено в:
Бібліографічні деталі
Дата:2012
Автор: Шкільняк, С.С.
Формат: Стаття
Мова:Ukrainian
Опубліковано: Інститут проблем штучного інтелекту МОН України та НАН України 2012
Назва видання:Штучний інтелект
Теми:
Онлайн доступ:http://dspace.nbuv.gov.ua/handle/123456789/56760
Теги: Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:Digital Library of Periodicals of National Academy of Sciences of Ukraine
Цитувати:Логічний наслідок та його формалізації в композиційно-номінативних логіках / С.С. Шкільняк // Штучний інтелект. — 2012. — № 1. — С. 307-319. — Бібліогр.: 7 назв. — укр.

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine
id irk-123456789-56760
record_format dspace
spelling irk-123456789-567602014-02-24T03:14:02Z Логічний наслідок та його формалізації в композиційно-номінативних логіках Шкільняк, С.С. Нейронные сети и нейросетевые технологии. Информационная безопасность ИС Для композиційно-номінативних логік часткових однозначних, тотальних та часткових неоднозначних квазіарних предикатів запропоновано різні семантики та різні формалізації відношення логічного наслідку. Досліджено властивості таких формалізацій, визначено співвідношення між різними відношеннями логічного наслідку в різних семантиках. Для композиционно-номинативных логик частичных однозначных, тотальных и частичных неодно- значных квазиарных предикатов предложены разные семантики и разные формализации отношения логического следствия. Исследованы свойства таких формализаций, определены соотношения между разными отношениями логического следствия в разных семантиках. Various semantics and various formalizations of relation of logical consequence for composition nominative logics of partial single-valued, total, and partial multiple-valued quasiary predicates are introduced. The authors study properties of the defined formalizations and specify correlations of different relations of logical consequence in different semantics. 2012 Article Логічний наслідок та його формалізації в композиційно-номінативних логіках / С.С. Шкільняк // Штучний інтелект. — 2012. — № 1. — С. 307-319. — Бібліогр.: 7 назв. — укр. 1561-5359 http://dspace.nbuv.gov.ua/handle/123456789/56760 004.42:510.69 uk Штучний інтелект Інститут проблем штучного інтелекту МОН України та НАН України
institution Digital Library of Periodicals of National Academy of Sciences of Ukraine
collection DSpace DC
language Ukrainian
topic Нейронные сети и нейросетевые технологии. Информационная безопасность ИС
Нейронные сети и нейросетевые технологии. Информационная безопасность ИС
spellingShingle Нейронные сети и нейросетевые технологии. Информационная безопасность ИС
Нейронные сети и нейросетевые технологии. Информационная безопасность ИС
Шкільняк, С.С.
Логічний наслідок та його формалізації в композиційно-номінативних логіках
Штучний інтелект
description Для композиційно-номінативних логік часткових однозначних, тотальних та часткових неоднозначних квазіарних предикатів запропоновано різні семантики та різні формалізації відношення логічного наслідку. Досліджено властивості таких формалізацій, визначено співвідношення між різними відношеннями логічного наслідку в різних семантиках.
format Article
author Шкільняк, С.С.
author_facet Шкільняк, С.С.
author_sort Шкільняк, С.С.
title Логічний наслідок та його формалізації в композиційно-номінативних логіках
title_short Логічний наслідок та його формалізації в композиційно-номінативних логіках
title_full Логічний наслідок та його формалізації в композиційно-номінативних логіках
title_fullStr Логічний наслідок та його формалізації в композиційно-номінативних логіках
title_full_unstemmed Логічний наслідок та його формалізації в композиційно-номінативних логіках
title_sort логічний наслідок та його формалізації в композиційно-номінативних логіках
publisher Інститут проблем штучного інтелекту МОН України та НАН України
publishDate 2012
topic_facet Нейронные сети и нейросетевые технологии. Информационная безопасность ИС
url http://dspace.nbuv.gov.ua/handle/123456789/56760
citation_txt Логічний наслідок та його формалізації в композиційно-номінативних логіках / С.С. Шкільняк // Штучний інтелект. — 2012. — № 1. — С. 307-319. — Бібліогр.: 7 назв. — укр.
series Штучний інтелект
work_keys_str_mv AT škílʹnâkss logíčnijnaslídoktajogoformalízacíívkompozicíjnonomínativnihlogíkah
first_indexed 2023-10-18T18:28:22Z
last_indexed 2023-10-18T18:28:22Z
_version_ 1796144303956819968