Аннотации:
Объект исследования работы – обработка и пополнение знаний. Предмет исследования работы – изучение возможностей и методов пополнения множества бескванторных предложений новыми на основе онтологий предметной области. Цель данной работы - разработать метод пополнения множества бескванторных предложений и программную систему, способную производить такое пополнение, а также логический вывод на основе полученных знаний. Данная работа является продолжением исследований, проведенных ранее в области извлечения и обработки знаний под руководством Д.Е.Пальчунова.
В процессе работы были достигнуты следующие результаты:
а) Разработан и обоснован метод пополнения множества бескванторных предложений новыми предложениями;
б) Указаны необходимые для работы представленного алгоритма пополнения условия;
в) Создана программная реализация алгоритма с использованием онтологий "Русский WordNet", "Тезаурус РуТез" и "Ontology for biomedical investigations";
г) Создана программная реализация для автоматического логического вывода из пополненных данных с использованием Prover9.
Далее планируется развивать алгоритм пополнения в сторону усложнения используемых связей в онтологиях предметных областей.
Текст работы состоит из введения, трех глав и заключения. В первой части подробно описывается задача и её математическое обоснование. Вторая часть описывает идею алгоритма и архитектуру программного решения. Третья часть содержит примеры и иллюстрации работы программы.
Объем работы — 29 страниц. Работа содержит 5 иллюстраций. Всего использовано 21 источник информации.