Аннотация:
Статья посвящена разработке автоматизированных методов извлечения и формального представления знаний из текстов естественного языка. Для решения этой задачи разрабатываются методы преобразования предложений естественного языка в бескванторные формулы логики предикатов. Знания, извлеченные из текстов, формализуются в виде наборов атомарных предложений, образующих фрагменты атомарных диаграмм алгебраических систем. Разработаны методы представления семантики предложений естественного языка при помощи двухместных предикатов, интеграции знаний, содержащихся в нескольких предложениях текста, а также методы выявления недостающих знаний за счет заполнения мест предикатов.
Ключевые слова:извлечение знаний, представление знаний, интеграция знаний, анализ текстов естественного языка, атомарная диаграмма, онтология, теория «Смысл - Текст».