Программа «УДАВ»: реализация линейной вычислительной сложности матричного метода поиска маршрута логического вывода на основе миварной сети правил

摘要

В статье приведены практические результаты создания программного комплекса «УДАВ», который реализуетudлинейной вычислительной сложности матричный метод поиска маршрута логического вывода на миварнойudсети правил. Этот метод позволяет реализовать активный обучаемый логический вывод для любыхudпредметных областей, моделирование которых проводится в миварном информационном пространстве.udРеализация: в реальном времени и при любых наборах входных данных решаются геометрические задачиudрешений треугольников с 33 объектами и 161 правилом (33! варианта), что ранее считалось невозможным.