Композиційно-номінативні логіки квазіарних предикатів та багатозначні логіки
Досліджено композиційно номінативні логіки часткових однозначних, тотальних неоднозначних і часткових неоднозначних квазіарних предикатів на пропозиційному і реномінативному рівнях. Встановлено зв’язки між цими логіками та 3-значними і 4-значними логіками тотальних однозначних предикатів. Исследован...
Saved in:
| Published in: | Штучний інтелект |
|---|---|
| Date: | 2012 |
| Main Author: | Шкільняк, С.С. |
| Format: | Article |
| Language: | Ukrainian |
| Published: |
Інститут проблем штучного інтелекту МОН України та НАН України
2012
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/56424 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Cite this: | Композиційно-номінативні логіки квазіарних предикатів та багатозначні логіки / С.С. Шкільняк // Штучний інтелект. — 2012. — № 1. — С. 66-74. — Бібліогр.: 7 назв. — укр. |
Institution
Digital Library of Periodicals of National Academy of Sciences of UkraineSimilar Items
Властивості відношень логічного наслідку в логіках квазіарних предикатів
by: Шкільняк, С.С.
Published: (2013)
by: Шкільняк, С.С.
Published: (2013)
Композиційно-номінативні мультимодальні логіки
by: Шкільняк, О.С., et al.
Published: (2011)
by: Шкільняк, О.С., et al.
Published: (2011)
Композиційно-номінативні логіки предикатів над даними з неповною інформацією
by: Нікітченко, М.С., et al.
Published: (2004)
by: Нікітченко, М.С., et al.
Published: (2004)
Композиційно-номінативні логіки безкванторних рівнів
by: Шкільняк, С.С., et al.
Published: (2016)
by: Шкільняк, С.С., et al.
Published: (2016)
Ефективні за точністю алгоритми обчислення оцінки частотної характеристики лінійної моделі об’єктів керування з постійними параметрами
by: Задірака, В.К., et al.
Published: (2013)
by: Задірака, В.К., et al.
Published: (2013)
Інформаційно-кібернетичні та психолого-дидактичні аспекти проектування експертно-навчальних систем
by: Костюченко, М.П.
Published: (2013)
by: Костюченко, М.П.
Published: (2013)
Композиційно-номінативні модальні логіки немонотонних часткових предикатів та їх числення
by: Шкільняк, О.С., et al.
Published: (2017)
by: Шкільняк, О.С., et al.
Published: (2017)
Метод гілок та меж для розв’язування цілочислової задачі дробово-лінійної оптимізації
by: Ємець, О.О., et al.
Published: (2012)
by: Ємець, О.О., et al.
Published: (2012)
Технології високопродуктивних обчислень для дослідження та розв’язування задач розрахунку міцності конструкцій
by: Хіміч, О.М., et al.
Published: (2010)
by: Хіміч, О.М., et al.
Published: (2010)
Алгоритм моделювання штучної імунної системи з селективним оператором Сааті та одновимірним локальним пошуком
by: Желдак, Т.А., et al.
Published: (2013)
by: Желдак, Т.А., et al.
Published: (2013)
Приближенный анализ нелинейной конвективной математической модели
by: Миненко, А.С.
Published: (2012)
by: Миненко, А.С.
Published: (2012)
Постановка задачи размещения данных в «облаке»
by: Коваленко, О.С.
Published: (2011)
by: Коваленко, О.С.
Published: (2011)
Математичне моделювання оптимізації системи «дьоготь – полімер – деревний гідролізний лігнін»
by: Повзун, О.І., et al.
Published: (2014)
by: Повзун, О.І., et al.
Published: (2014)
Алгоритм решения задачи прогнозирования
by: Чумаченко, Е.И., et al.
Published: (2012)
by: Чумаченко, Е.И., et al.
Published: (2012)
Построение ER-модели молекулярного состава клетки как основа функционирования биокомпьютера (цитокомпьютера)
by: Герасимов, И.Г., et al.
Published: (2014)
by: Герасимов, И.Г., et al.
Published: (2014)
Принятие решений на основе параллельных алгоритмов тестового распознавания образов
by: Янковская, А.Е., et al.
Published: (2010)
by: Янковская, А.Е., et al.
Published: (2010)
Параллельный генетический алгоритм с нечетким оператором миграции
by: Кныш, Д.С., et al.
Published: (2010)
by: Кныш, Д.С., et al.
Published: (2010)
Новий метод прогнозування із застосуванням паралельно-ієрархічної мережі
by: Тимченко, Л.І., et al.
Published: (2012)
by: Тимченко, Л.І., et al.
Published: (2012)
Композиційно-номінативні логіки над ієрархічними даними
by: Нікітченко, М.С., et al.
Published: (2010)
by: Нікітченко, М.С., et al.
Published: (2010)
Композиційно-номінативні логіки з непрямим іменуванням
by: Россада, Т.В., et al.
Published: (2012)
by: Россада, Т.В., et al.
Published: (2012)
Spin Magnetism of Finite Length Carbon Nanotubes
by: Klimko, G.T., et al.
Published: (2012)
by: Klimko, G.T., et al.
Published: (2012)
Відновлення розривних функцій розривними апроксимаційними cплайнами з використанням трапецієподібних елементів
by: Литвин, О.М., et al.
Published: (2012)
by: Литвин, О.М., et al.
Published: (2012)
Высокоэффективные алгоритмы управления шагом на основе параллельных коллокационных блочных методов
by: Дмитриева, О.А.
Published: (2012)
by: Дмитриева, О.А.
Published: (2012)
Математическое моделирование отношений эллипсов в задачах оптимальной кластеризации объектов
by: Панкратов, А.В., et al.
Published: (2012)
by: Панкратов, А.В., et al.
Published: (2012)
Наближене обчислення подвійних інтегралів від швидкоосцилюючих функцій з використанням лагранжевої поліномінальної інтерлінації
by: Литвин, О.М., et al.
Published: (2012)
by: Литвин, О.М., et al.
Published: (2012)
Наближене обчислення коефіцієнтів Фур’є функцій трьох змінних на класі диференційовних функцій
by: Литвин, О.М., et al.
Published: (2012)
by: Литвин, О.М., et al.
Published: (2012)
Интеллектуальный персональный компьютер гибридной архитектуры
by: Молчанов, И.Н., et al.
Published: (2012)
by: Молчанов, И.Н., et al.
Published: (2012)
Параллельный алгоритм вычисления циклической свертки
by: Терещенко, А.Н., et al.
Published: (2012)
by: Терещенко, А.Н., et al.
Published: (2012)
Компоненты информационно-аналитической системы прогнозирования наводнений в предгорьях из-за быстрого снеготаяния
by: Писаренко, В.Г., et al.
Published: (2012)
by: Писаренко, В.Г., et al.
Published: (2012)
Алгоритмическая и программная реализация DSM-памяти
by: Буза, М.К.
Published: (2012)
by: Буза, М.К.
Published: (2012)
Сравнение методов решения игровых задач: числовые эксперименты
by: Емец, О.А., et al.
Published: (2014)
by: Емец, О.А., et al.
Published: (2014)
Про стійкість у моделях математичної епідеміології на основі функцій Ляпунова-Вольтера
by: Кучвара, О.М.
Published: (2014)
by: Кучвара, О.М.
Published: (2014)
An Algorithm for Simulation of Forest Management Decisions in the Global Forest Model
by: Gusti, M.I.
Published: (2010)
by: Gusti, M.I.
Published: (2010)
Symbolic modeling of basic protocols systems with arbitrary number of agents
by: Potiyenko, S.V.
Published: (2013)
by: Potiyenko, S.V.
Published: (2013)
Оптоелектронний навчений класифікатор
by: Кожем’яко, В.П., et al.
Published: (2013)
by: Кожем’яко, В.П., et al.
Published: (2013)
Имитационная модель векторного процессора на примере задачи поиска пути в графе
by: Вереник, Н.Л., et al.
Published: (2013)
by: Вереник, Н.Л., et al.
Published: (2013)
Инструментальные средства проектирования параллельных программ
by: Буза, М.К.
Published: (2010)
by: Буза, М.К.
Published: (2010)
Дослідження спотворень огинаючих фрагментів відеосигналів
by: Бовсунівський, В.І.
Published: (2011)
by: Бовсунівський, В.І.
Published: (2011)
Алгоритм ранжирования признаков для обнаружения биомаркеров в данных генной экспрессии
by: Новоселова, Н.А., et al.
Published: (2013)
by: Новоселова, Н.А., et al.
Published: (2013)
Использование экспертной системы в информационной технологии распараллеливания решения нелинейных уравнений
by: Усова, Т.И.
Published: (2010)
by: Усова, Т.И.
Published: (2010)
Similar Items
-
Властивості відношень логічного наслідку в логіках квазіарних предикатів
by: Шкільняк, С.С.
Published: (2013) -
Композиційно-номінативні мультимодальні логіки
by: Шкільняк, О.С., et al.
Published: (2011) -
Композиційно-номінативні логіки предикатів над даними з неповною інформацією
by: Нікітченко, М.С., et al.
Published: (2004) -
Композиційно-номінативні логіки безкванторних рівнів
by: Шкільняк, С.С., et al.
Published: (2016) -
Ефективні за точністю алгоритми обчислення оцінки частотної характеристики лінійної моделі об’єктів керування з постійними параметрами
by: Задірака, В.К., et al.
Published: (2013)