Abstract
Пропонується триетапний ітераційний метод добування знань із природномовних текстів, використовуючи формально-логічний і синтактико-семантичний аналіз, тлумачні словники, енциклопедії, спеціальну літературу. Логічгий підхід до такого ґрунтується на використанні дескриптивних логік та засобів, якими оперують ці логіки. Метою такого аналізу є побудова несуперечних онтологічних баз знань, поповнення баз новими фактами, та перевірка сумісності бази. Основним завданням в цьому процесі є перевірка виконуваності концептів, несуперечності фактів, поповнення множини фактів новими фактами, які неявно присутні в тексті з метою успішного проведення їхнього формально логічного аналізу. На першому етапі аналізу збирається вся інформація з тексту, яка в цьому тесті явно присутня. На другому етапі в разі необхідності (яка диктується роботою різонерів) виконується додатковий аналіз тексту для пошуку неявно присутньої в ньому інформації. Для успішної роботи засобів логічного аналізу фактів виникає потреба у пошуку інформації, яка знаходиться за межами аналізованої області. Пошук потрібної (релевантної) інформації виконується на третьому останньому етапі аналізу. Зокрема, цей пошук може використовувати засоби систем штучного інтелекту, різного роду енциклопедичні словники тощо.