Природна мова і математична логіка в контексті ідей В.М. Глушкова
Розглядається підхід до побудови онтологоподібних систем для дослідження природомовних текстів з метою видобування з них знань, побудови бази знань для перевірки цих знань на суперечність/несуперечність на основі синтактико-семантичного аналізу текстів з використанням дескриптивних логік. Основна ув...
Gespeichert in:
| Datum: | 2023 |
|---|---|
| 1. Verfasser: | |
| Format: | Artikel |
| Sprache: | Ukrainian |
| Veröffentlicht: |
V.M. Glushkov Institute of Cybernetics of NAS of Ukraine
2023
|
| Schlagworte: | |
| Online Zugang: | https://jais.net.ua/index.php/files/article/view/103 |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Назва журналу: | Problems of Control and Informatics |
Institution
Problems of Control and Informatics| id |
oai:ojs2.jais.net.ua:article-103 |
|---|---|
| record_format |
ojs |
| institution |
Problems of Control and Informatics |
| baseUrl_str |
|
| datestamp_date |
2025-02-25T11:19:58Z |
| collection |
OJS |
| language |
Ukrainian |
| topic |
онтологія дескриптивна логіка синтактико-семантичний та логічний аналіз |
| spellingShingle |
онтологія дескриптивна логіка синтактико-семантичний та логічний аналіз Kryvyi, Sergii Природна мова і математична логіка в контексті ідей В.М. Глушкова |
| topic_facet |
онтология дескриптивная логика синтактико-семантический и логический анализ ontologies descriptive logics logical and syntactical and semantic analysis онтологія дескриптивна логіка синтактико-семантичний та логічний аналіз |
| format |
Article |
| author |
Kryvyi, Sergii |
| author_facet |
Kryvyi, Sergii |
| author_sort |
Kryvyi, Sergii |
| title |
Природна мова і математична логіка в контексті ідей В.М. Глушкова |
| title_short |
Природна мова і математична логіка в контексті ідей В.М. Глушкова |
| title_full |
Природна мова і математична логіка в контексті ідей В.М. Глушкова |
| title_fullStr |
Природна мова і математична логіка в контексті ідей В.М. Глушкова |
| title_full_unstemmed |
Природна мова і математична логіка в контексті ідей В.М. Глушкова |
| title_sort |
природна мова і математична логіка в контексті ідей в.м. глушкова |
| title_alt |
Natural language and mathematical logic in the context of the ideas of V.M. Glushkov Естественная речь и математическая логика в контексте идей В.М. Глушкова |
| description |
Розглядається підхід до побудови онтологоподібних систем для дослідження природомовних текстів з метою видобування з них знань, побудови бази знань для перевірки цих знань на суперечність/несуперечність на основі синтактико-семантичного аналізу текстів з використанням дескриптивних логік. Основна увага в роботі приділяється логічному аналізу добутих знань. Природномовний текст, з точки зору видобування знань, які в ньому знаходяться, та аналізу цих знань на сумісність (несуперечність), їх неповноту та істинність, складає одну з основних проблем побудови систем штучного інтелекту. Знання, акумульовані в природномовному тексті, представляються у формально-логічному вигляді, тобто у предикативній формі. Необхідність такого представлення полягає в тому, що знання може бути істинним, хибним, неповним або не мати ніякого звʼязку з реальністю. Основним завданням логічного аналізу є перевірка не істинності окремо взятих фактів, а їх несуперечності (сумісності) в цілому. Розглядаються загальні риси логічного аналізу знань, добутих з природномовного тексту. Ідея полягає в тому, щоб повʼязати результати і засоби лінгвістичного аналізу та формальної логічної мови. Цей звʼязок дозволяє розвʼязати проблему перевірки сумісності знань, добутих з тексту, генерувати нові знання як наслідки з добутих фактів, поповнювати факти у разі їх неповноти тощо. На даний час одним з основних засобів реалізації такого підходу до аналізу виступають онтології та онтологічні бази знань. Розглядається окремий випадок онтологічної системи, у якої термінології є ациклічними, і алгоритм семантичного табло, орієнтований на такий тип онтології. Робота присвʼячується століттю з дня народження Віктора Михайловича Глушкова, ідеї якого знаходять своє втілення в життя. |
| publisher |
V.M. Glushkov Institute of Cybernetics of NAS of Ukraine |
| publishDate |
2023 |
| url |
https://jais.net.ua/index.php/files/article/view/103 |
| work_keys_str_mv |
AT kryvyisergii prirodnamovaímatematičnalogíkavkontekstíídejvmgluškova AT kryvyisergii naturallanguageandmathematicallogicinthecontextoftheideasofvmglushkov AT kryvyisergii estestvennaârečʹimatematičeskaâlogikavkonteksteidejvmgluškova |
| first_indexed |
2025-10-30T02:48:28Z |
| last_indexed |
2025-10-30T02:48:28Z |
| _version_ |
1847373341615194112 |
| spelling |
oai:ojs2.jais.net.ua:article-1032025-02-25T11:19:58Z Природна мова і математична логіка в контексті ідей В.М. Глушкова Natural language and mathematical logic in the context of the ideas of V.M. Glushkov Естественная речь и математическая логика в контексте идей В.М. Глушкова Kryvyi, Sergii онтология дескриптивная логика синтактико-семантический и логический анализ ontologies descriptive logics logical and syntactical and semantic analysis онтологія дескриптивна логіка синтактико-семантичний та логічний аналіз Розглядається підхід до побудови онтологоподібних систем для дослідження природомовних текстів з метою видобування з них знань, побудови бази знань для перевірки цих знань на суперечність/несуперечність на основі синтактико-семантичного аналізу текстів з використанням дескриптивних логік. Основна увага в роботі приділяється логічному аналізу добутих знань. Природномовний текст, з точки зору видобування знань, які в ньому знаходяться, та аналізу цих знань на сумісність (несуперечність), їх неповноту та істинність, складає одну з основних проблем побудови систем штучного інтелекту. Знання, акумульовані в природномовному тексті, представляються у формально-логічному вигляді, тобто у предикативній формі. Необхідність такого представлення полягає в тому, що знання може бути істинним, хибним, неповним або не мати ніякого звʼязку з реальністю. Основним завданням логічного аналізу є перевірка не істинності окремо взятих фактів, а їх несуперечності (сумісності) в цілому. Розглядаються загальні риси логічного аналізу знань, добутих з природномовного тексту. Ідея полягає в тому, щоб повʼязати результати і засоби лінгвістичного аналізу та формальної логічної мови. Цей звʼязок дозволяє розвʼязати проблему перевірки сумісності знань, добутих з тексту, генерувати нові знання як наслідки з добутих фактів, поповнювати факти у разі їх неповноти тощо. На даний час одним з основних засобів реалізації такого підходу до аналізу виступають онтології та онтологічні бази знань. Розглядається окремий випадок онтологічної системи, у якої термінології є ациклічними, і алгоритм семантичного табло, орієнтований на такий тип онтології. Робота присвʼячується століттю з дня народження Віктора Михайловича Глушкова, ідеї якого знаходять своє втілення в життя. It is considered an approach to the construction of ontology-like systems for the study of natural language texts with the aim of extracting knowledge from them, building a knowledge base for checking this knowledge for contradiction/non-contradiction based on syntactic-semantic analysis of texts using descriptive logics. The main attention in the work is given to the logical analysis of the acquired knowledge. The natural language text from the point of view of extracting the knowledge contained in it and analyzing this knowledge for compatibility (non-contradiction), their incompleteness and truth is one of the main problems of building artificial intelligence systems. The knowledge accumulated in the natural language text is presented in a formal-logical form, that is, in a predicative form. The need for such a representation is that knowledge can be true, false, incomplete or having no connection with reality. The main task of logical analysis is to check the truth of not individual facts, but to check their consistency (compatibility) as a whole. General features of logical analysis of knowledge obtained from natural language text are considered. The idea is to link the results and tools of linguistic analysis and the tools of formal logical language. This connection allows solving the problem of checking the compatibility of knowledge obtained from the text, generating new knowledge as a consequence of obtained facts, supplementing facts in case of their incompleteness, etc. Currently, one of the main means of implementing such an approach to the analysis is ontologies and ontological knowledge bases. A special case of an ontological system, in which the terminology is acyclic, and a semantical tableau algorithm is focused on this type of ontology are considered. The work is dedicated to the centenary of the birthday of Viktor Mykhailovych Glushkov, whose ideas are being implemented in life. Рассматривается подход к построению онтологоподобных систем для исследования природоязычных текстов с целью извлечения из них знаний, построения базы знаний для проверки этих знаний на противоречие/непротиворечивость на основе синтактико-семантического анализа текстов с использованием дескриптивных логик. Основное внимание в работе уделяется логическому анализу полученных знаний. Естественноязычный текст, с точки зрения извлечения находящихся в нем знаний и анализа этих знаний на совместимость (непротиворечивость), их неполноту и истинность, составляет одну из основных проблем построения систем искусственного интеллекта. Знания, аккумулированные в естественном тексте, представляются в формально-логическом виде, то есть в предикативной форме. Необходимость такого представления состоит в том, что знание может быть истинным, ложным, неполным или не иметь никакой связи с реальностью. Основной задачей логического анализа является проверка не истинности отдельно взятых фактов, а их непротиворечивости (совместимости) в целом. Рассматриваются общие черты логического анализа знаний, полученных из естественноязычного текста. Идея состоит в том, чтобы увязать результаты и средства лингвистического анализа и формального логического языка. Эта связь позволяет решить проблему проверки совместимости знаний, полученных в тексте, генерировать новые знания как последствия из полученных фактов, пополнять факты в случае их неполноты и т.п. В настоящее время одним из основных средств реализации такого подхода к анализу выступают онтология и онтологические базы знаний. Рассматривается частный случай онтологической системы, у которой терминологии являются ациклическими, и алгоритм семантического табло, ориентированный на такой тип онтологии. Работа посвящается столетию со дня рождения Виктора Михайловича Глушкова, идеи которого находят свое воплощение в жизнь. V.M. Glushkov Institute of Cybernetics of NAS of Ukraine 2023-06-14 Article Article application/pdf https://jais.net.ua/index.php/files/article/view/103 10.34229/1028-0979-2023-3-11 Міжнародний науково-технічний журнал "Проблеми керування та інформатики"; Том 68 № 3 (2023): Міжнародний науково-технічний журнал "Проблеми керування та інформатики"; 112-126 International Scientific Technical Journal "Problems of Control and Informatics; Том 68 № 3 (2023): International Scientific Technical Journal "PROBLEMS OF CONTROL AND INFORMATICS"; 112-126 International Scientific Technical Journal "Problems of Control and Informatics"; Vol. 68 No. 3 (2023): International Scientific Technical Journal "PROBLEMS OF CONTROL AND INFORMATICS"; 112-126 2786-6505 2786-6491 uk https://jais.net.ua/index.php/files/article/view/103/196 Copyright (c) 2023 Sergii Kryvyi https://creativecommons.org/licenses/by-nc-nd/4.0 |