Разработка методов интеграции автоматических средств логического вывода для порождения знаний в онтологической модели

Статья посвящена разработке методов порождения новых знаний на основе анализа текстов естественного
языка. Для извлечения знаний из текстов на естественном языке используется метод представления предло-
жений в виде двухместных предикатов с введенной константой ситуацией. Для представления знаний в фор-
мальном виде используются бескванторные предложения логики предикатов, а также язык OWL DL. Порож-
дение новых знаний реализуется при помощи автоматических средств логического вывода с использованием
заранее заданных шаблонов правил вывода. Разработана программная система, которая дает возможность
пользователям получать ответы на определенные вопросы, относящиеся к данным текстам естественного
языка. Ответы строятся на естественном языке, при этом используются не только явно содержащиеся в обра-
батываемом документе знания, но и знания, порожденные при помощи автоматических средств логического
вывода.