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

Розвиток та порівняльні характеристики логіко-онтологічних формальних теорій

У роботі описані аспекти розвитку формальних теорій логіко-онтологічного представлення знань, що містяться уприродномовних текстах. Зокрема, представлено три фундаментальні методи генерування онтологічних категорій; описанонайвагоміші віхи розвитку основних підмножин класичної логіки та варіантів їх...

Повний опис

Збережено в:

Бібліографічні деталі
Дата:	2007
Автори:	Палагін, О.В., Петренко, М.Г., Михайлюк, А.В.
Формат:	Стаття
Мова:	Українська
Опубліковано:	Інститут проблем математичних машин і систем НАН України 2007
Теми:	Обчислювальні системи
Онлайн доступ:	https://nasplib.isofts.kiev.ua/handle/123456789/799
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Цитувати:	Розвиток та порівняльні характеристики логіко-онтологічних формальних теорій / Палагін О.В., Петренко М.Г., МихайлюкА.В. // Математичні машини і системи. – 2007. – № 2. – С. 3 – 18.

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine

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

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

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

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

К вопросу системно-онтологической интеграции знаний предметной области
за авторством: Палагин, А.В., та інші
Опубліковано: (2007)

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

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

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

Розробка енергозберігаючої системи світлодіодного освітлення для вагонів метро
за авторством: Морозов, А.О., та інші
Опубліковано: (2018)

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

Український академічний Грід: досвід створення й перші результати експлуатації
за авторством: Бойко, Ю.В., та інші
Опубліковано: (2008)

Тенденции и проблемы развития автоматизации управления военными силами
за авторством: Додонов, А.Г., та інші
Опубліковано: (2019)

Аналіз і дослідження алгоритмів експертної системи діагностування енергокомплексу електронно-променевого зварювання
за авторством: Хомініч, О.В.
Опубліковано: (2008)

Воплощенное знание
за авторством: Малышев, О.В.
Опубліковано: (2009)

Математическая модель задачи оперативного планирования антиобледенительной обработки самолетов в аэропорту
за авторством: Нелин, О.В.
Опубліковано: (2004)

Інтелектуалізація взаємодії користувача з системою на основі геоінформаційних технологій
за авторством: Білецький, Б.О., та інші
Опубліковано: (2008)

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

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

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

О проблеме распараллеливания вычислений
за авторством: Деревянченко, А.В., та інші
Опубліковано: (2004)

Особенности подхода к выбору ПЛИС для проектирования PIM-систем
за авторством: Палагин, А.В., та інші
Опубліковано: (2012)

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

Автоматизация исследований жирности колбасной продукции на соответствие техническим условиям
за авторством: Зайцев, В.Г.
Опубліковано: (2006)

Інтегрування гетерогенних геопросторових даних на основі теорії свідчень Демпстера-Шейфера
за авторством: Попов, М.О., та інші
Опубліковано: (2019)

Підходи до розробки нової архітектури системи управління неоднорідними безпроводовими сенсорними мережами
за авторством: Романюк, В.А., та інші
Опубліковано: (2017)

Наземные оптические, оптико-электронные и лазерно-телевизионные средства траекторных измерений
за авторством: Додонов, А.Г., та інші
Опубліковано: (2017)

Радиотехнические средства внешнетраекторных измерений
за авторством: Додонов, А.Г., та інші
Опубліковано: (2018)

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

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

Системи підтримки прийняття рішень типу Ситуаційних центрів. Вклад ІПММС НАН України
за авторством: Кузьменко, Г.Є., та інші
Опубліковано: (2007)

Дедуктивні, індуктивні та аналітичні методи подання і обробки комп’ютерних знань в інтелектуальних системах (1. Дедуктивні методи і засоби)
за авторством: Асельдеров, З.М., та інші
Опубліковано: (2003)

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

Системно-кибернетический подход к анализу функций активных объектов для их реализации в современных технологиях
за авторством: Теслер, Г.С., та інші
Опубліковано: (2006)

Об истории использования отечественных систем символьных преобразований в механических приложениях
за авторством: Ефимов, Г.Б., та інші
Опубліковано: (2008)

Суперкомп'ютери: особливості сучасної модернізації
за авторством: Клименко, В.П., та інші
Опубліковано: (2010)

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

Проектирование модулей с плавающей точкой на ПЛИС с использованием языка VHDL
за авторством: Опанасенко, В.Н., та інші
Опубліковано: (2005)

Архітектурні засади систем моніторингу та прогнозування розвитку епідеміологічних процесів
за авторством: В’юн, В.І., та інші
Опубліковано: (2011)

Розв'язування жорстких диференціальних рівнянь з використанням методу розвинення функцій в ряди нев'язок
за авторством: Теслер, Г.С., та інші
Опубліковано: (2006)

Решение проблем экономики в аспекте базисов экономической науки
за авторством: Теслер, Г.С.
Опубліковано: (2009)

Системные статистические свойства экспериментального метода исследования
за авторством: Радченко, С.Г.
Опубліковано: (2006)