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

Композиційно-номінативні логіки квазіарних предикатів та багатозначні логіки

Досліджено композиційно номінативні логіки часткових однозначних, тотальних неоднозначних і часткових неоднозначних квазіарних предикатів на пропозиційному і реномінативному рівнях. Встановлено зв’язки між цими логіками та 3-значними і 4-значними логіками тотальних однозначних предикатів. Исследован...

Повний опис

Збережено в:

Бібліографічні деталі
Опубліковано в: :	Штучний інтелект
Дата:	2012
Автор:	Шкільняк, С.С.
Формат:	Стаття
Мова:	Українська
Опубліковано:	Інститут проблем штучного інтелекту МОН України та НАН України 2012
Теми:	Алгоритмическое и программное обеспечение параллельных вычислительных интеллектуальных систем
Онлайн доступ:	https://nasplib.isofts.kiev.ua/handle/123456789/56424
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Цитувати:	Композиційно-номінативні логіки квазіарних предикатів та багатозначні логіки / С.С. Шкільняк // Штучний інтелект. — 2012. — № 1. — С. 66-74. — Бібліогр.: 7 назв. — укр.

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine

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

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

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

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

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

Ефективні за точністю алгоритми обчислення оцінки частотної характеристики лінійної моделі об’єктів керування з постійними параметрами
за авторством: Задірака, В.К., та інші
Опубліковано: (2013)

Інформаційно-кібернетичні та психолого-дидактичні аспекти проектування експертно-навчальних систем
за авторством: Костюченко, М.П.
Опубліковано: (2013)

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

Метод гілок та меж для розв’язування цілочислової задачі дробово-лінійної оптимізації
за авторством: Ємець, О.О., та інші
Опубліковано: (2012)

Технології високопродуктивних обчислень для дослідження та розв’язування задач розрахунку міцності конструкцій
за авторством: Хіміч, О.М., та інші
Опубліковано: (2010)

Алгоритм моделювання штучної імунної системи з селективним оператором Сааті та одновимірним локальним пошуком
за авторством: Желдак, Т.А., та інші
Опубліковано: (2013)

Приближенный анализ нелинейной конвективной математической модели
за авторством: Миненко, А.С.
Опубліковано: (2012)

Постановка задачи размещения данных в «облаке»
за авторством: Коваленко, О.С.
Опубліковано: (2011)

Математичне моделювання оптимізації системи «дьоготь – полімер – деревний гідролізний лігнін»
за авторством: Повзун, О.І., та інші
Опубліковано: (2014)

Алгоритм решения задачи прогнозирования
за авторством: Чумаченко, Е.И., та інші
Опубліковано: (2012)

Построение ER-модели молекулярного состава клетки как основа функционирования биокомпьютера (цитокомпьютера)
за авторством: Герасимов, И.Г., та інші
Опубліковано: (2014)

Принятие решений на основе параллельных алгоритмов тестового распознавания образов
за авторством: Янковская, А.Е., та інші
Опубліковано: (2010)

Параллельный генетический алгоритм с нечетким оператором миграции
за авторством: Кныш, Д.С., та інші
Опубліковано: (2010)

Новий метод прогнозування із застосуванням паралельно-ієрархічної мережі
за авторством: Тимченко, Л.І., та інші
Опубліковано: (2012)

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

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

Spin Magnetism of Finite Length Carbon Nanotubes
за авторством: Klimko, G.T., та інші
Опубліковано: (2012)

Відновлення розривних функцій розривними апроксимаційними cплайнами з використанням трапецієподібних елементів
за авторством: Литвин, О.М., та інші
Опубліковано: (2012)

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

Математическое моделирование отношений эллипсов в задачах оптимальной кластеризации объектов
за авторством: Панкратов, А.В., та інші
Опубліковано: (2012)

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

Наближене обчислення коефіцієнтів Фур’є функцій трьох змінних на класі диференційовних функцій
за авторством: Литвин, О.М., та інші
Опубліковано: (2012)

Интеллектуальный персональный компьютер гибридной архитектуры
за авторством: Молчанов, И.Н., та інші
Опубліковано: (2012)

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

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

Алгоритмическая и программная реализация DSM-памяти
за авторством: Буза, М.К.
Опубліковано: (2012)

Сравнение методов решения игровых задач: числовые эксперименты
за авторством: Емец, О.А., та інші
Опубліковано: (2014)

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

An Algorithm for Simulation of Forest Management Decisions in the Global Forest Model
за авторством: Gusti, M.I.
Опубліковано: (2010)

Symbolic modeling of basic protocols systems with arbitrary number of agents
за авторством: Potiyenko, S.V.
Опубліковано: (2013)

Оптоелектронний навчений класифікатор
за авторством: Кожем’яко, В.П., та інші
Опубліковано: (2013)

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

Инструментальные средства проектирования параллельных программ
за авторством: Буза, М.К.
Опубліковано: (2010)

Дослідження спотворень огинаючих фрагментів відеосигналів
за авторством: Бовсунівський, В.І.
Опубліковано: (2011)

Алгоритм ранжирования признаков для обнаружения биомаркеров в данных генной экспрессии
за авторством: Новоселова, Н.А., та інші
Опубліковано: (2013)

Использование экспертной системы в информационной технологии распараллеливания решения нелинейных уравнений
за авторством: Усова, Т.И.
Опубліковано: (2010)