Розвиток та порівняльні характеристики логіко-онтологічних формальних теорій
У роботі описані аспекти розвитку формальних теорій логіко-онтологічного представлення знань, що містяться уприродномовних текстах. Зокрема, представлено три фундаментальні методи генерування онтологічних категорій; описанонайвагоміші віхи розвитку основних підмножин класичної логіки та варіантів їх...
Збережено в:
Дата: | 2007 |
---|---|
Автори: | Палагін, О.В., Петренко, М.Г., Михайлюк, А.В. |
Формат: | Стаття |
Мова: | Ukrainian |
Опубліковано: |
Інститут проблем математичних машин і систем НАН України
2007
|
Теми: | |
Онлайн доступ: | http://dspace.nbuv.gov.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) -
К вопросу системно-онтологической интеграции знаний предметной области
за авторством: Палагин, А.В., та інші
Опубліковано: (2007) -
К проектированию онтологоуправляемой информационной системы с обработкой естественно-языковых объектов
за авторством: Палагин, А.В., та інші
Опубліковано: (2008) -
Становлення і розвиток теоретичних та науково-практичних засад створення високоінтегрованих мобільних (бортових) обчислювальних машин, систем і комплексів реального часу
за авторством: Мудла, Б.Г.
Опубліковано: (2008)