Abstract:
У даній курсовій роботі наведено загальні принципи вирішення різних
задач. Проаналізовано тип мови в математичних задачах та принцип
семантичного аналізу цих задач. Продемонстровано онтологію
геометричних фігур, яка дає змогу зрозуміти зв’язки між фігурами та
принципи їх взаємодії. Також в роботі наведено алгоритм вирішення
геометричних задач з шкільної програми та описані труднощі
пов’язані з парсингом штучної мови цих задач.
В роботі використовується система Protégé 5.5.0, Java 1.8, Java Swing.
