Природна мова і математична логіка в контексті ідей В.М. Глушкова

• Datum: 2023
• 1. Verfasser: Kryvyi, Sergii
• 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
• Назва журналу: Problems of Control and Informatics

Розглядається підхід до побудови онтологоподібних систем для дослідження природомовних текстів з метою видобування з них знань, побудови бази знань для перевірки цих знань на суперечність/несуперечність на основі синтактико-семантичного аналізу текстів з використанням дескриптивних логік. Основна увага в роботі приділяється логічному аналізу добутих знань. Природномовний текст, з точки зору видобування знань, які в ньому знаходяться, та аналізу цих знань на сумісність (несуперечність), їх неповноту та істинність, складає одну з основних проблем побудови систем штучного інтелекту. Знання, акумульовані в природномовному тексті, представляються у формально-логічному вигляді, тобто у предикативній формі. Необхідність такого представлення полягає в тому, що знання може бути істинним, хибним, неповним або не мати ніякого звʼязку з реальністю. Основним завданням логічного аналізу є перевірка не істинності окремо взятих фактів, а їх несуперечності (сумісності) в цілому. Розглядаються загальні риси логічного аналізу знань, добутих з природномовного тексту. Ідея полягає в тому, щоб повʼязати результати і засоби лінгвістичного аналізу та формальної логічної мови. Цей звʼязок дозволяє розвʼязати проблему перевірки сумісності знань, добутих з тексту, генерувати нові знання як наслідки з добутих фактів, поповнювати факти у разі їх неповноти тощо. На даний час одним з основних засобів реалізації такого підходу до аналізу виступають онтології та онтологічні бази знань. Розглядається окремий випадок онтологічної системи, у якої термінології є ациклічними, і алгоритм семантичного табло, орієнтований на такий тип онтології. Робота присвʼячується століттю з дня народження Віктора Михайловича Глушкова, ідеї якого знаходять своє втілення в життя.