Розвиток та порівняльні характеристики логіко-онтологічних формальних теорій
У роботі описані аспекти розвитку формальних теорій логіко-онтологічного представлення знань, що містяться уприродномовних текстах. Зокрема, представлено три фундаментальні методи генерування онтологічних категорій; описанонайвагоміші віхи розвитку основних підмножин класичної логіки та варіантів їх...
Saved in:
| Date: | 2007 |
|---|---|
| Main Authors: | , , |
| Format: | Article |
| Language: | Ukrainian |
| Published: |
Інститут проблем математичних машин і систем НАН України
2007
|
| Subjects: | |
| 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: | Розвиток та порівняльні характеристики логіко-онтологічних формальних теорій / Палагін О.В., Петренко М.Г., МихайлюкА.В. // Математичні машини і системи. – 2007. – № 2. – С. 3 – 18. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| Summary: | У роботі описані аспекти розвитку формальних теорій логіко-онтологічного представлення знань, що містяться уприродномовних текстах. Зокрема, представлено три фундаментальні методи генерування онтологічних категорій; описанонайвагоміші віхи розвитку основних підмножин класичної логіки та варіантів їх реалізації у прикладних системах; вказано наможливості й обмеження даних підмножин і систем. На основі описаних можливостей логічних систем проведено їхпорівняльний аналіз; відносні оцінки аналізу зведено в таблицю. За даними таблиці обґрунтовано доцільність тазапропоновано можливу схему використання розглянутих систем логіки. Табл.: 1. Іл.: 2. Бібліогр.: 19 назв. |
|---|