7-значнi логіки та логіки загальних недетермінованих предикатів
Досліджено новий клас програмно-орієнтованих логічних формалізмів – логіки загальних недетермі-нованих предикатів, або GND-предикатів. Виділено різновиди GND-предикатів, описано їх композиційні алгебри. Показано зв'язок GND-предикатів із 7-значними тотальними детермінованими предикатами – TD7-п...
Gespeichert in:
| Veröffentlicht in: | Штучний інтелект |
|---|---|
| Datum: | 2018 |
| Hauptverfasser: | Нікітченко, М.С., Шкільняк, O.С., Шкільняк, С.С. |
| Format: | Artikel |
| Sprache: | Ukrainisch |
| Veröffentlicht: |
Інститут проблем штучного інтелекту МОН України та НАН України
2018
|
| Schlagworte: | |
| Online Zugang: | https://nasplib.isofts.kiev.ua/handle/123456789/162380 |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Zitieren: | 7-значнi логіки та логіки загальних недетермінованих предикатів / М.С. Нікітченко, O.С. Шкільняк, С.С. Шкільняк // Штучний інтелект. — 2018. — № 2 (80). — С. 110-121. — Бібліогр.: 14 назв. — укр. |
Institution
Digital Library of Periodicals of National Academy of Sciences of UkraineÄhnliche Einträge
Семантичні властивості логік загальних недетермінованих предикатів
von: Нікітченко, М.С., et al.
Veröffentlicht: (2017)
von: Нікітченко, М.С., et al.
Veröffentlicht: (2017)
Логіки загальних недетермінованих предикатів: cемантичні аспекти
von: Нікітченко, М.С., et al.
Veröffentlicht: (2018)
von: Нікітченко, М.С., et al.
Veröffentlicht: (2018)
Алгебри загальних недетермінованих предикатів
von: Нікітченко, М.С., et al.
Veröffentlicht: (2018)
von: Нікітченко, М.С., et al.
Veröffentlicht: (2018)
Повнота секвенційних числень модальних логік немонотонних часткових предикатів
von: Шкільняк, О.С., et al.
Veröffentlicht: (2016)
von: Шкільняк, О.С., et al.
Veröffentlicht: (2016)
Чисті першопорядкові логіки квазіарних предикатів
von: Нікітченко, М.С., et al.
Veröffentlicht: (2016)
von: Нікітченко, М.С., et al.
Veröffentlicht: (2016)
Логіки квазіарних предикатів кванторно-екваційного рівня
von: Нікітченко, М.С., et al.
Veröffentlicht: (2012)
von: Нікітченко, М.С., et al.
Veröffentlicht: (2012)
Композиційно-номінативні логіки квазіарних предикатів та багатозначні логіки
von: Шкільняк, С.С.
Veröffentlicht: (2012)
von: Шкільняк, С.С.
Veröffentlicht: (2012)
Секвенційні числення логік безкванторно-функціональних рівнів
von: Шкільняк, С.С., et al.
Veröffentlicht: (2016)
von: Шкільняк, С.С., et al.
Veröffentlicht: (2016)
Реномінативні логіки квазіарних предикатів
von: Шкільняк, С.С., et al.
Veröffentlicht: (2016)
von: Шкільняк, С.С., et al.
Veröffentlicht: (2016)
Логіки локально-еквітонних предикатів: семантичні властивості та секвенційні числення
von: Нікітченко, М.С., et al.
Veröffentlicht: (2003)
von: Нікітченко, М.С., et al.
Veröffentlicht: (2003)
Композиційно-номінативні логіки предикатів над даними з неповною інформацією
von: Нікітченко, М.С., et al.
Veröffentlicht: (2004)
von: Нікітченко, М.С., et al.
Veröffentlicht: (2004)
Композиційно-номітативні логіки часткових та неоднозначних предикатів
von: Шкільняк, С.С.
Veröffentlicht: (2014)
von: Шкільняк, С.С.
Veröffentlicht: (2014)
Логіки із квазіарними та n-арними предикатами: семантичні та синтаксичні аспекти
von: Нікітченко, М.С., et al.
Veröffentlicht: (2016)
von: Нікітченко, М.С., et al.
Veröffentlicht: (2016)
Пропозиційні логіки часткових предикатів з композицією предикатного доповнення
von: Нікітченко, М.С., et al.
Veröffentlicht: (2019)
von: Нікітченко, М.С., et al.
Veröffentlicht: (2019)
Девіантні алгебри істиннісних значень та девіантні класи загальних недетермінованих предикатів
von: Шкільняк, О.С.
Veröffentlicht: (2019)
von: Шкільняк, О.С.
Veröffentlicht: (2019)
Композиційні логіки номінативних даних
von: Нікітченко, М.С., et al.
Veröffentlicht: (2003)
von: Нікітченко, М.С., et al.
Veröffentlicht: (2003)
Оптимізаційні питання оцінювання щільності на реальних даних
von: Горбачук, В.М., et al.
Veröffentlicht: (2017)
von: Горбачук, В.М., et al.
Veröffentlicht: (2017)
Композиційно-номінативні логіки над ієрархічними даними
von: Нікітченко, М.С., et al.
Veröffentlicht: (2010)
von: Нікітченко, М.С., et al.
Veröffentlicht: (2010)
Першопорядкові композиційно-номінативні логіки із узагальненими реномінаціями
von: Нікітченко, М.С., et al.
Veröffentlicht: (2014)
von: Нікітченко, М.С., et al.
Veröffentlicht: (2014)
Модель імуносенсора на основі решітчастих диференціальних рівнянь із запізненням
von: Марценюк, В.П., et al.
Veröffentlicht: (2018)
von: Марценюк, В.П., et al.
Veröffentlicht: (2018)
Оптимальное управление нелинейным динамическим процессом с интеллектуальным прогнозированием его состояния
von: Корниенко, В.И., et al.
Veröffentlicht: (2015)
von: Корниенко, В.И., et al.
Veröffentlicht: (2015)
Статический метод устранения избыточных информационных связей в предусловиях переходов формальных моделей транзиционных систем
von: Колчин, А.В., et al.
Veröffentlicht: (2015)
von: Колчин, А.В., et al.
Veröffentlicht: (2015)
Композиційно-номінативні мультимодальні логіки
von: Шкільняк, О.С., et al.
Veröffentlicht: (2011)
von: Шкільняк, О.С., et al.
Veröffentlicht: (2011)
Логіки, орієнтовані на специфікації програм
von: Нікітченко, М.С., et al.
Veröffentlicht: (2006)
von: Нікітченко, М.С., et al.
Veröffentlicht: (2006)
Знакові комбінаторні простори та штучний інтелект
von: Тимофієва, Н.К.
Veröffentlicht: (2015)
von: Тимофієва, Н.К.
Veröffentlicht: (2015)
Про комбінаторні числа та симетрію в біології
von: Тимофієва, Н.К
Veröffentlicht: (2018)
von: Тимофієва, Н.К
Veröffentlicht: (2018)
Про природу скінченних та нескінченних комбінаторних множин
von: Тимофієва, Н.К.
Veröffentlicht: (2017)
von: Тимофієва, Н.К.
Veröffentlicht: (2017)
Незалежність аксіоматики Армстронга та алгебра функціональних залежностей
von: Буй, Д.Б., et al.
Veröffentlicht: (2015)
von: Буй, Д.Б., et al.
Veröffentlicht: (2015)
Принципи та підходи до формування ансамблів класифікаторів на підставі агрегатування їх результатів
von: Бармак, О.В., et al.
Veröffentlicht: (2018)
von: Бармак, О.В., et al.
Veröffentlicht: (2018)
Застосування системи ПАРКС.NET в Docker контейнерах та Google Cloud Platform для розподілених хмарних обчислень
von: Анісімов, А.В., et al.
Veröffentlicht: (2018)
von: Анісімов, А.В., et al.
Veröffentlicht: (2018)
Інтелектуальна система для дослідження та розв’язування задач на власні значення на паралельних комп’ютерах з процесорами Intel Xeon Phi
von: Хіміч, О.М., et al.
Veröffentlicht: (2017)
von: Хіміч, О.М., et al.
Veröffentlicht: (2017)
Параллельное сложение на основе векторных операций
von: Терещенко, А.Н., et al.
Veröffentlicht: (2018)
von: Терещенко, А.Н., et al.
Veröffentlicht: (2018)
Алгоритми Машинного Навчання у контексті Великих Даних
von: Терещенко, В.М., et al.
Veröffentlicht: (2018)
von: Терещенко, В.М., et al.
Veröffentlicht: (2018)
Программно-аппаратная поддержка ускорения вычислений
von: Буза, М.К.
Veröffentlicht: (2018)
von: Буза, М.К.
Veröffentlicht: (2018)
On reliability modeling and evaluating in cloud services system
von: Telenyk, S.F., et al.
Veröffentlicht: (2018)
von: Telenyk, S.F., et al.
Veröffentlicht: (2018)
Двофазовий меметичний алгоритм забезпечення групової анонімності даних
von: Тавров, Д.Ю., et al.
Veröffentlicht: (2015)
von: Тавров, Д.Ю., et al.
Veröffentlicht: (2015)
Механизм повышения эффективности сжатия данных
von: Буза, М.К.
Veröffentlicht: (2016)
von: Буза, М.К.
Veröffentlicht: (2016)
Побудова найкращих чебишовських наближень сплайнами
von: Вакал, Л.П.
Veröffentlicht: (2017)
von: Вакал, Л.П.
Veröffentlicht: (2017)
Алгоритм опису яружних цільових функцій
von: Трофимчук, О.М., et al.
Veröffentlicht: (2015)
von: Трофимчук, О.М., et al.
Veröffentlicht: (2015)
Швидке обчислення циклічної згортки багаторозрядних чисел на основі ШПФ у паралельній моделі обчислень
von: Терещенко, А.М., et al.
Veröffentlicht: (2016)
von: Терещенко, А.М., et al.
Veröffentlicht: (2016)
Ähnliche Einträge
-
Семантичні властивості логік загальних недетермінованих предикатів
von: Нікітченко, М.С., et al.
Veröffentlicht: (2017) -
Логіки загальних недетермінованих предикатів: cемантичні аспекти
von: Нікітченко, М.С., et al.
Veröffentlicht: (2018) -
Алгебри загальних недетермінованих предикатів
von: Нікітченко, М.С., et al.
Veröffentlicht: (2018) -
Повнота секвенційних числень модальних логік немонотонних часткових предикатів
von: Шкільняк, О.С., et al.
Veröffentlicht: (2016) -
Чисті першопорядкові логіки квазіарних предикатів
von: Нікітченко, М.С., et al.
Veröffentlicht: (2016)