Логічний наслідок та його формалізації в композиційно-номінативних логіках
Для композиційно-номінативних логік часткових однозначних, тотальних та часткових неоднозначних квазіарних предикатів запропоновано різні семантики та різні формалізації відношення логічного наслідку. Досліджено властивості таких формалізацій, визначено співвідношення між різними відношеннями логічн...
Збережено в:
Дата: | 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 Ukraineid |
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 |