Розвиток та порівняльні характеристики логіко-онтологічних формальних теорій
У роботі описані аспекти розвитку формальних теорій логіко-онтологічного представлення знань, що містяться уприродномовних текстах. Зокрема, представлено три фундаментальні методи генерування онтологічних категорій; описанонайвагоміші віхи розвитку основних підмножин класичної логіки та варіантів їх...
Збережено в:
| Дата: | 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| id |
irk-123456789-799 |
|---|---|
| record_format |
dspace |
| spelling |
irk-123456789-7992008-07-02T12:00:56Z Розвиток та порівняльні характеристики логіко-онтологічних формальних теорій Палагін, О.В. Петренко, М.Г. Михайлюк, А.В. Обчислювальні системи У роботі описані аспекти розвитку формальних теорій логіко-онтологічного представлення знань, що містяться уприродномовних текстах. Зокрема, представлено три фундаментальні методи генерування онтологічних категорій; описанонайвагоміші віхи розвитку основних підмножин класичної логіки та варіантів їх реалізації у прикладних системах; вказано наможливості й обмеження даних підмножин і систем. На основі описаних можливостей логічних систем проведено їхпорівняльний аналіз; відносні оцінки аналізу зведено в таблицю. За даними таблиці обґрунтовано доцільність тазапропоновано можливу схему використання розглянутих систем логіки. Табл.: 1. Іл.: 2. Бібліогр.: 19 назв. В работе описаны аспекты развития формальных теорий логико-онтологического представления знаний, содержащихся в естественноязыковых текстах. В частности, представлены три фундаментальных метода генерирования онтологических категорий, описаны важнейшие моменты развития основных подмножеств классической логики и вариантов их реализации в прикладных системах; указано на возможности и ограничения этих подмножеств и систем. На основе описанныхвозможностей логических систем выполнен их сравнительный анализ, относительные оценки анализа сведены в таблицу.По данным таблицы обоснована целесообразность и предложена возможная схема использования рассмотренных системлогики. Табл.: 1. Ил.: 2. Библиогр.: 19 назв. In the paper are aspects of evolution of the logic-ontological theories of representation of knowledge contained in the naturallanguage are shown. In particular, there are presented three fundamental methods of ontological categories generating. Themilestones in the evolution of the classical logics’ main subsets and their practical application versions are described; the systems’abilities and shortcomings are pointed out. Basing on described logical systems’ abilities, the comparative analysis was carried outand comparative estimations were brought together in a table. Using the table’s data, an advisability of using the logical systems is proved and a probable scheme of their applying is suggested. Tabl.: 1. Figs.: 2. Refs.: 19 titles. 2007 Article Розвиток та порівняльні характеристики логіко-онтологічних формальних теорій / Палагін О.В., Петренко М.Г., МихайлюкА.В. // Математичні машини і системи. – 2007. – № 2. – С. 3 – 18. 1028-9763 http://dspace.nbuv.gov.ua/handle/123456789/799 004.318 uk Інститут проблем математичних машин і систем НАН України |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| language |
Ukrainian |
| topic |
Обчислювальні системи Обчислювальні системи |
| spellingShingle |
Обчислювальні системи Обчислювальні системи Палагін, О.В. Петренко, М.Г. Михайлюк, А.В. Розвиток та порівняльні характеристики логіко-онтологічних формальних теорій |
| description |
У роботі описані аспекти розвитку формальних теорій логіко-онтологічного представлення знань, що містяться уприродномовних текстах. Зокрема, представлено три фундаментальні методи генерування онтологічних категорій; описанонайвагоміші віхи розвитку основних підмножин класичної логіки та варіантів їх реалізації у прикладних системах; вказано наможливості й обмеження даних підмножин і систем. На основі описаних можливостей логічних систем проведено їхпорівняльний аналіз; відносні оцінки аналізу зведено в таблицю. За даними таблиці обґрунтовано доцільність тазапропоновано можливу схему використання розглянутих систем логіки. Табл.: 1. Іл.: 2. Бібліогр.: 19 назв. |
| format |
Article |
| author |
Палагін, О.В. Петренко, М.Г. Михайлюк, А.В. |
| author_facet |
Палагін, О.В. Петренко, М.Г. Михайлюк, А.В. |
| author_sort |
Палагін, О.В. |
| title |
Розвиток та порівняльні характеристики логіко-онтологічних формальних теорій |
| title_short |
Розвиток та порівняльні характеристики логіко-онтологічних формальних теорій |
| title_full |
Розвиток та порівняльні характеристики логіко-онтологічних формальних теорій |
| title_fullStr |
Розвиток та порівняльні характеристики логіко-онтологічних формальних теорій |
| title_full_unstemmed |
Розвиток та порівняльні характеристики логіко-онтологічних формальних теорій |
| title_sort |
розвиток та порівняльні характеристики логіко-онтологічних формальних теорій |
| publisher |
Інститут проблем математичних машин і систем НАН України |
| publishDate |
2007 |
| topic_facet |
Обчислювальні системи |
| url |
http://dspace.nbuv.gov.ua/handle/123456789/799 |
| citation_txt |
Розвиток та порівняльні характеристики логіко-онтологічних формальних теорій / Палагін О.В., Петренко М.Г., МихайлюкА.В. // Математичні машини і системи. – 2007. – № 2. – С. 3 – 18. |
| work_keys_str_mv |
AT palagínov rozvitoktaporívnâlʹníharakteristikilogíkoontologíčnihformalʹnihteoríj AT petrenkomg rozvitoktaporívnâlʹníharakteristikilogíkoontologíčnihformalʹnihteoríj AT mihajlûkav rozvitoktaporívnâlʹníharakteristikilogíkoontologíčnihformalʹnihteoríj |
| first_indexed |
2023-03-24T08:19:44Z |
| last_indexed |
2023-03-24T08:19:44Z |
| _version_ |
1796138828595986432 |