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

Abstract

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

У статті наведені практичні результати програмного комплексу «Удав», який реалізує лінійної обчислю- вальної складності матричний метод пошуку маршруту логічного виводу на миварній сітці правил. Цей метод дозволяє реалізувати активний научуваний логічний вивід для будь-яких предметних областей, моделювання яких проводиться у миварному інформаційному просторі. Реалізація: в реальному часі і за будь-яких наборів вхідних даних вирішуються геометричні задачі рішень трикутників з 33 об’єктами і 161 правилом (33! варіанти), що раніше вважалося неможливим.

An active trained logic conclusion for any subject spheres which modelling is carried out in mivar information space is realized. As an example realization of "geometrical tasks of decisions of triangles" is shown. The software "UDAV" is executed on technology Java and realizes "the universal maker of algorithms Varlamov" which can be referred to a class of " intellectual packages of applied programs ".