Логический вывод на основе графов знанийкурсовая работа (Магистр)