Природна мова і математична логіка в контексті ідей В.М. Глушкова
Розглядається підхід до побудови онтологоподібних систем для дослідження природомовних текстів з метою видобування з них знань, побудови бази знань для перевірки цих знань на суперечність/несуперечність на основі синтактико-семантичного аналізу текстів з використанням дескриптивних логік. Основна ув...
Збережено в:
| Опубліковано в: : | Проблеми керування та інформатики |
|---|---|
| Дата: | 2023 |
| Автор: | |
| Формат: | Стаття |
| Мова: | Українська |
| Опубліковано: |
Інститут кібернетики ім. В.М. Глушкова НАН України
2023
|
| Теми: | |
| Онлайн доступ: | https://nasplib.isofts.kiev.ua/handle/123456789/211041 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Природна мова і математична логіка в контексті ідей В.М. Глушкова / С.Л. Кривий // Проблеми керування та інформатики. — 2023. — № 3. — С. 112-126. — Бібліогр.: 6 назв. — укр. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1862581800417624064 |
|---|---|
| author | Кривий, С.Л. |
| author_facet | Кривий, С.Л. |
| citation_txt | Природна мова і математична логіка в контексті ідей В.М. Глушкова / С.Л. Кривий // Проблеми керування та інформатики. — 2023. — № 3. — С. 112-126. — Бібліогр.: 6 назв. — укр. |
| collection | DSpace DC |
| container_title | Проблеми керування та інформатики |
| description | Розглядається підхід до побудови онтологоподібних систем для дослідження природомовних текстів з метою видобування з них знань, побудови бази знань для перевірки цих знань на суперечність/несуперечність на основі синтактико-семантичного аналізу текстів з використанням дескриптивних логік. Основна увага в роботі приділяється логічному аналізу добутих знань. Розглядаються загальні риси логічного аналізу знань, добутих з природномовного тексту. Ідея полягає в тому, щоб повʼязати результати і засоби лінгвістичного аналізу та формальної логічної мови. Цей звʼязок дозволяє розвʼязати проблему перевірки сумісності знань, добутих з тексту, генерувати нові знання як наслідки з добутих фактів, поповнювати факти у разі їх неповноти тощо. На даний час одним з основних засобів реалізації такого підходу до аналізу виступають онтології та онтологічні бази знань. Розглядається окремий випадок онтологічної системи, у якої термінології є ациклічними, і алгоритм семантичного табло, орієнтований на такий тип онтології. Робота присвʼячується століттю з дня народження Віктора Михайловича Глушкова, ідеї якого знаходять своє втілення в життя.
The approach to building ontology-like systems for the study of natural language texts with the aim of extracting knowledge from them, constructing a knowledge base to check these knowledge for consistency/inconsistency based on syntactic-semantic analysis of texts using descriptive logics, is considered. The main focus of the work is on the logical analysis of the extracted knowledge. General features of the logical analysis of knowledge extracted from natural language text are considered. The idea is to link the results and means of linguistic analysis and formal logical language. This connection allows solving the problem of checking the compatibility of knowledge extracted from the text, generating new knowledge as consequences of the extracted facts, supplementing facts in case of incompleteness, etc. Currently, one of the main tools for implementing this approach to analysis is ontologies and ontological knowledge bases. A specific case of an ontological system, where the terminology is acyclic, and the semantic tableau algorithm oriented to such an ontology type is considered. The work is dedicated to the centenary of the birth of Viktor Mikhaylovich Glushkov, whose ideas are being realized in practice.
|
| first_indexed | 2026-03-13T17:48:41Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-211041 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 0572-2691 |
| language | Ukrainian |
| last_indexed | 2026-03-13T17:48:41Z |
| publishDate | 2023 |
| publisher | Інститут кібернетики ім. В.М. Глушкова НАН України |
| record_format | dspace |
| spelling | Кривий, С.Л. 2025-12-22T18:12:03Z 2023 Природна мова і математична логіка в контексті ідей В.М. Глушкова / С.Л. Кривий // Проблеми керування та інформатики. — 2023. — № 3. — С. 112-126. — Бібліогр.: 6 назв. — укр. 0572-2691 https://nasplib.isofts.kiev.ua/handle/123456789/211041 51.681.3 10.34229/1028-0979-2023-3-11 Розглядається підхід до побудови онтологоподібних систем для дослідження природомовних текстів з метою видобування з них знань, побудови бази знань для перевірки цих знань на суперечність/несуперечність на основі синтактико-семантичного аналізу текстів з використанням дескриптивних логік. Основна увага в роботі приділяється логічному аналізу добутих знань. Розглядаються загальні риси логічного аналізу знань, добутих з природномовного тексту. Ідея полягає в тому, щоб повʼязати результати і засоби лінгвістичного аналізу та формальної логічної мови. Цей звʼязок дозволяє розвʼязати проблему перевірки сумісності знань, добутих з тексту, генерувати нові знання як наслідки з добутих фактів, поповнювати факти у разі їх неповноти тощо. На даний час одним з основних засобів реалізації такого підходу до аналізу виступають онтології та онтологічні бази знань. Розглядається окремий випадок онтологічної системи, у якої термінології є ациклічними, і алгоритм семантичного табло, орієнтований на такий тип онтології. Робота присвʼячується століттю з дня народження Віктора Михайловича Глушкова, ідеї якого знаходять своє втілення в життя. The approach to building ontology-like systems for the study of natural language texts with the aim of extracting knowledge from them, constructing a knowledge base to check these knowledge for consistency/inconsistency based on syntactic-semantic analysis of texts using descriptive logics, is considered. The main focus of the work is on the logical analysis of the extracted knowledge. General features of the logical analysis of knowledge extracted from natural language text are considered. The idea is to link the results and means of linguistic analysis and formal logical language. This connection allows solving the problem of checking the compatibility of knowledge extracted from the text, generating new knowledge as consequences of the extracted facts, supplementing facts in case of incompleteness, etc. Currently, one of the main tools for implementing this approach to analysis is ontologies and ontological knowledge bases. A specific case of an ontological system, where the terminology is acyclic, and the semantic tableau algorithm oriented to such an ontology type is considered. The work is dedicated to the centenary of the birth of Viktor Mikhaylovich Glushkov, whose ideas are being realized in practice. uk Інститут кібернетики ім. В.М. Глушкова НАН України Проблеми керування та інформатики Дослідження операцій та системний аналіз Природна мова і математична логіка в контексті ідей В.М. Глушкова Natural language and mathematical logic in the context of the ideas of V.M. Glushkov Article published earlier |
| spellingShingle | Природна мова і математична логіка в контексті ідей В.М. Глушкова Кривий, С.Л. Дослідження операцій та системний аналіз |
| title | Природна мова і математична логіка в контексті ідей В.М. Глушкова |
| title_alt | Natural language and mathematical logic in the context of the ideas of V.M. Glushkov |
| title_full | Природна мова і математична логіка в контексті ідей В.М. Глушкова |
| title_fullStr | Природна мова і математична логіка в контексті ідей В.М. Глушкова |
| title_full_unstemmed | Природна мова і математична логіка в контексті ідей В.М. Глушкова |
| title_short | Природна мова і математична логіка в контексті ідей В.М. Глушкова |
| title_sort | природна мова і математична логіка в контексті ідей в.м. глушкова |
| topic | Дослідження операцій та системний аналіз |
| topic_facet | Дослідження операцій та системний аналіз |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/211041 |
| work_keys_str_mv | AT kriviisl prirodnamovaímatematičnalogíkavkontekstíídeivmgluškova AT kriviisl naturallanguageandmathematicallogicinthecontextoftheideasofvmglushkov |