Розвиток та порівняльні характеристики логіко-онтологічних формальних теорій
У роботі описані аспекти розвитку формальних теорій логіко-онтологічного представлення знань, що містяться уприродномовних текстах. Зокрема, представлено три фундаментальні методи генерування онтологічних категорій; описанонайвагоміші віхи розвитку основних підмножин класичної логіки та варіантів їх...
Збережено в:
| Дата: | 2007 |
|---|---|
| Автори: | , , |
| Формат: | Стаття |
| Мова: | Ukrainian |
| Опубліковано: |
Інститут проблем математичних машин і систем НАН України
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| id |
nasplib_isofts_kiev_ua-123456789-799 |
|---|---|
| record_format |
dspace |
| spelling |
Палагін, О.В. Петренко, М.Г. Михайлюк, А.В. 2008-06-27T14:05:43Z 2008-06-27T14:05:43Z 2007 Розвиток та порівняльні характеристики логіко-онтологічних формальних теорій / Палагін О.В., Петренко М.Г., МихайлюкА.В. // Математичні машини і системи. – 2007. – № 2. – С. 3 – 18. 1028-9763 https://nasplib.isofts.kiev.ua/handle/123456789/799 004.318 У роботі описані аспекти розвитку формальних теорій логіко-онтологічного представлення знань, що містяться уприродномовних текстах. Зокрема, представлено три фундаментальні методи генерування онтологічних категорій; описанонайвагоміші віхи розвитку основних підмножин класичної логіки та варіантів їх реалізації у прикладних системах; вказано наможливості й обмеження даних підмножин і систем. На основі описаних можливостей логічних систем проведено їхпорівняльний аналіз; відносні оцінки аналізу зведено в таблицю. За даними таблиці обґрунтовано доцільність тазапропоновано можливу схему використання розглянутих систем логіки. Табл.: 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. uk Інститут проблем математичних машин і систем НАН України Обчислювальні системи Розвиток та порівняльні характеристики логіко-онтологічних формальних теорій Развитие и сравнительные характеристики логико-онтологических формальных теорий Evolution and comparative characteristics of logic-ontological formal theories Article published earlier |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| title |
Розвиток та порівняльні характеристики логіко-онтологічних формальних теорій |
| spellingShingle |
Розвиток та порівняльні характеристики логіко-онтологічних формальних теорій Палагін, О.В. Петренко, М.Г. Михайлюк, А.В. Обчислювальні системи |
| title_short |
Розвиток та порівняльні характеристики логіко-онтологічних формальних теорій |
| title_full |
Розвиток та порівняльні характеристики логіко-онтологічних формальних теорій |
| title_fullStr |
Розвиток та порівняльні характеристики логіко-онтологічних формальних теорій |
| title_full_unstemmed |
Розвиток та порівняльні характеристики логіко-онтологічних формальних теорій |
| title_sort |
розвиток та порівняльні характеристики логіко-онтологічних формальних теорій |
| author |
Палагін, О.В. Петренко, М.Г. Михайлюк, А.В. |
| author_facet |
Палагін, О.В. Петренко, М.Г. Михайлюк, А.В. |
| topic |
Обчислювальні системи |
| topic_facet |
Обчислювальні системи |
| publishDate |
2007 |
| language |
Ukrainian |
| publisher |
Інститут проблем математичних машин і систем НАН України |
| format |
Article |
| title_alt |
Развитие и сравнительные характеристики логико-онтологических формальных теорий Evolution and comparative characteristics of logic-ontological formal theories |
| description |
У роботі описані аспекти розвитку формальних теорій логіко-онтологічного представлення знань, що містяться уприродномовних текстах. Зокрема, представлено три фундаментальні методи генерування онтологічних категорій; описанонайвагоміші віхи розвитку основних підмножин класичної логіки та варіантів їх реалізації у прикладних системах; вказано наможливості й обмеження даних підмножин і систем. На основі описаних можливостей логічних систем проведено їхпорівняльний аналіз; відносні оцінки аналізу зведено в таблицю. За даними таблиці обґрунтовано доцільність тазапропоновано можливу схему використання розглянутих систем логіки. Табл.: 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.
|
| issn |
1028-9763 |
| url |
https://nasplib.isofts.kiev.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íi AT petrenkomg rozvitoktaporívnâlʹníharakteristikilogíkoontologíčnihformalʹnihteoríi AT mihailûkav rozvitoktaporívnâlʹníharakteristikilogíkoontologíčnihformalʹnihteoríi AT palagínov razvitieisravnitelʹnyeharakteristikilogikoontologičeskihformalʹnyhteorii AT petrenkomg razvitieisravnitelʹnyeharakteristikilogikoontologičeskihformalʹnyhteorii AT mihailûkav razvitieisravnitelʹnyeharakteristikilogikoontologičeskihformalʹnyhteorii AT palagínov evolutionandcomparativecharacteristicsoflogicontologicalformaltheories AT petrenkomg evolutionandcomparativecharacteristicsoflogicontologicalformaltheories AT mihailûkav evolutionandcomparativecharacteristicsoflogicontologicalformaltheories |
| first_indexed |
2025-12-02T13:36:22Z |
| last_indexed |
2025-12-02T13:36:22Z |
| _version_ |
1850862564222697472 |