Розвиток та порівняльні характеристики логіко-онтологічних формальних теорій
У роботі описані аспекти розвитку формальних теорій логіко-онтологічного представлення знань, що містяться уприродномовних текстах. Зокрема, представлено три фундаментальні методи генерування онтологічних категорій; описанонайвагоміші віхи розвитку основних підмножин класичної логіки та варіантів їх...
Saved in:
| Date: | 2007 |
|---|---|
| Main Authors: | , , |
| Format: | Article |
| Language: | Ukrainian |
| Published: |
Інститут проблем математичних машин і систем НАН України
2007
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/799 |
| 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| _version_ | 1862662076436054016 |
|---|---|
| author | Палагін, О.В. Петренко, М.Г. Михайлюк, А.В. |
| author_facet | Палагін, О.В. Петренко, М.Г. Михайлюк, А.В. |
| citation_txt | Розвиток та порівняльні характеристики логіко-онтологічних формальних теорій / Палагін О.В., Петренко М.Г., МихайлюкА.В. // Математичні машини і системи. – 2007. – № 2. – С. 3 – 18. |
| collection | DSpace DC |
| 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.
|
| first_indexed | 2025-12-02T13:36:22Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-799 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 1028-9763 |
| language | Ukrainian |
| last_indexed | 2025-12-02T13:36:22Z |
| publishDate | 2007 |
| publisher | Інститут проблем математичних машин і систем НАН України |
| 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 |
| spellingShingle | Розвиток та порівняльні характеристики логіко-онтологічних формальних теорій Палагін, О.В. Петренко, М.Г. Михайлюк, А.В. Обчислювальні системи |
| title | Розвиток та порівняльні характеристики логіко-онтологічних формальних теорій |
| title_alt | Развитие и сравнительные характеристики логико-онтологических формальных теорий Evolution and comparative characteristics of logic-ontological formal theories |
| title_full | Розвиток та порівняльні характеристики логіко-онтологічних формальних теорій |
| title_fullStr | Розвиток та порівняльні характеристики логіко-онтологічних формальних теорій |
| title_full_unstemmed | Розвиток та порівняльні характеристики логіко-онтологічних формальних теорій |
| title_short | Розвиток та порівняльні характеристики логіко-онтологічних формальних теорій |
| title_sort | розвиток та порівняльні характеристики логіко-онтологічних формальних теорій |
| topic | Обчислювальні системи |
| topic_facet | Обчислювальні системи |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/799 |
| 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 |