Зображення обкладинки

7-значнi логіки та логіки загальних недетермінованих предикатів

Досліджено новий клас програмно-орієнтованих логічних формалізмів – логіки загальних недетермі-нованих предикатів, або GND-предикатів. Виділено різновиди GND-предикатів, описано їх композиційні алгебри. Показано зв'язок GND-предикатів із 7-значними тотальними детермінованими предикатами – TD7-п...

Повний опис

Збережено в:

Бібліографічні деталі
Опубліковано в: :	Штучний інтелект
Дата:	2018
Автори:	Нікітченко, М.С., Шкільняк, O.С., Шкільняк, С.С.
Формат:	Стаття
Мова:	Українська
Опубліковано:	Інститут проблем штучного інтелекту МОН України та НАН України 2018
Теми:	Теорія та засоби обчислювального інтелекту
Онлайн доступ:	https://nasplib.isofts.kiev.ua/handle/123456789/162380
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Цитувати:	7-значнi логіки та логіки загальних недетермінованих предикатів / М.С. Нікітченко, O.С. Шкільняк, С.С. Шкільняк // Штучний інтелект. — 2018. — № 2 (80). — С. 110-121. — Бібліогр.: 14 назв. — укр.

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Схожі ресурси

Алгебри загальних недетермінованих предикатів
за авторством: Нікітченко, М.С., та інші
Опубліковано: (2018)

Повнота секвенційних числень модальних логік немонотонних часткових предикатів
за авторством: Шкільняк, О.С., та інші
Опубліковано: (2016)

Композиційно-номінативні логіки квазіарних предикатів та багатозначні логіки
за авторством: Шкільняк, С.С.
Опубліковано: (2012)

Логіки локально-еквітонних предикатів: семантичні властивості та секвенційні числення
за авторством: Нікітченко, М.С., та інші
Опубліковано: (2003)

Композиційно-номінативні логіки предикатів над даними з неповною інформацією
за авторством: Нікітченко, М.С., та інші
Опубліковано: (2004)

Композиційно-номітативні логіки часткових та неоднозначних предикатів
за авторством: Шкільняк, С.С.
Опубліковано: (2014)

Пропозиційні логіки часткових предикатів з композицією предикатного доповнення
за авторством: Нікітченко, М.С., та інші
Опубліковано: (2019)

Девіантні алгебри істиннісних значень та девіантні класи загальних недетермінованих предикатів
за авторством: Шкільняк, О.С.
Опубліковано: (2019)

Композиційні логіки номінативних даних
за авторством: Нікітченко, М.С., та інші
Опубліковано: (2003)

Композиційно-номінативні логіки над ієрархічними даними
за авторством: Нікітченко, М.С., та інші
Опубліковано: (2010)

Першопорядкові композиційно-номінативні логіки із узагальненими реномінаціями
за авторством: Нікітченко, М.С., та інші
Опубліковано: (2014)

Композиційно-номінативні мультимодальні логіки
за авторством: Шкільняк, О.С., та інші
Опубліковано: (2011)

Модель імуносенсора на основі решітчастих диференціальних рівнянь із запізненням
за авторством: Марценюк, В.П., та інші
Опубліковано: (2018)

Оптимальное управление нелинейным динамическим процессом с интеллектуальным прогнозированием его состояния
за авторством: Корниенко, В.И., та інші
Опубліковано: (2015)

Статический метод устранения избыточных информационных связей в предусловиях переходов формальных моделей транзиционных систем
за авторством: Колчин, А.В., та інші
Опубліковано: (2015)

Знакові комбінаторні простори та штучний інтелект
за авторством: Тимофієва, Н.К.
Опубліковано: (2015)

Про комбінаторні числа та симетрію в біології
за авторством: Тимофієва, Н.К
Опубліковано: (2018)

Про природу скінченних та нескінченних комбінаторних множин
за авторством: Тимофієва, Н.К.
Опубліковано: (2017)

Незалежність аксіоматики Армстронга та алгебра функціональних залежностей
за авторством: Буй, Д.Б., та інші
Опубліковано: (2015)

Принципи та підходи до формування ансамблів класифікаторів на підставі агрегатування їх результатів
за авторством: Бармак, О.В., та інші
Опубліковано: (2018)

Застосування системи ПАРКС.NET в Docker контейнерах та Google Cloud Platform для розподілених хмарних обчислень
за авторством: Анісімов, А.В., та інші
Опубліковано: (2018)

Алгоритми Машинного Навчання у контексті Великих Даних
за авторством: Терещенко, В.М., та інші
Опубліковано: (2018)

Параллельное сложение на основе векторных операций
за авторством: Терещенко, А.Н., та інші
Опубліковано: (2018)

Метод визначення коефіцієнта масштабування недіадного вейвлет-перетворення на основі частотного спектру
за авторством: Чертов, О.Р., та інші
Опубліковано: (2016)

Testing simple neuron models with dendrites for sparse binary image representation
за авторством: Osaulenko, V.M.
Опубліковано: (2017)

Швидке обчислення циклічної згортки багаторозрядних чисел на основі ШПФ у паралельній моделі обчислень
за авторством: Терещенко, А.М., та інші
Опубліковано: (2016)

Двофазовий меметичний алгоритм забезпечення групової анонімності даних
за авторством: Тавров, Д.Ю., та інші
Опубліковано: (2015)

Синтез оптимальної структури глибокої нейронної мережі
за авторством: Коваль, Д.Ю., та інші
Опубліковано: (2016)

Алгоритм опису яружних цільових функцій
за авторством: Трофимчук, О.М., та інші
Опубліковано: (2015)

Побудова найкращих чебишовських наближень сплайнами
за авторством: Вакал, Л.П.
Опубліковано: (2017)

Механизм повышения эффективности сжатия данных
за авторством: Буза, М.К.
Опубліковано: (2016)

Математичні моделі задач побудови замкнених маршрутів на транспортній мережі
за авторством: Морозов, А.В.
Опубліковано: (2015)

Композиційно-номінативні модальні логіки немонотонних часткових предикатів та їх числення
за авторством: Шкільняк, О.С., та інші
Опубліковано: (2017)

Композиційно-номінативні логіки безкванторних рівнів
за авторством: Шкільняк, С.С., та інші
Опубліковано: (2016)

Композиційно-номінативні логіки з непрямим іменуванням
за авторством: Россада, Т.В., та інші
Опубліковано: (2012)

Композиційно-номінативні модальні логіки функціонально-екваційного рівня
за авторством: Шкільняк, О.С.
Опубліковано: (2010)

Першопорядковi композиційно-номінативні логіки з предикатами слабкої та строгої рівності
за авторством: Шкільняк, C.С.
Опубліковано: (2019)

Секвенційні числення першопорядкових логік однозначних квазіарних предикатів
за авторством: Шкільняк, С.С.
Опубліковано: (2012)

Секвенційні числення композиційно-номінотивних логік квазіарних предикатів
за авторством: Шкільняк, С.С.
Опубліковано: (2012)

Спеціальні відношення логічного наслідку в логіках квазіарних предикатів
за авторством: Шкільняк, С.С.
Опубліковано: (2011)