В данной работе разработан фрагмент базы знаний по алгебре дробей. Все поставленные задачи выполнены.
В данном фрагменте выделено 30 тестовых вопросов, из них формально описанных ответов 10. Вопросы разделены на 6 классов и 9 подклассов.
Выделено 21 понятие и 3 утверждения. Все утверждения выделенные на данном этапе записаны в виде SCg конструкций.16 понятий из общего числа записаны на SCg. Среди 21 понятий 7 отношений. В псевдо естественной форме записаны 20 понятий.
В дальнейшем выделены следующие направления развития:
· наполнение базы знаний новой информацией, тем самым расширяя её, т.е. увеличивая её полноту;
· разработать ответы на вопросы связанные с доказательством;
· написание машины обработки знаний;
· дальнейшая интеграция с другими участниками по числовым системам;
· разработка пользовательского интерфейса, доступного обычному пользователю.