Метод изменяющихся вариантов.
Подробно не знаю методы МИВАР, глубоко не разбирался, но знаю о них давно.
Могу сильно ошибаться и исказить их идеи. Относиться критически. )
МИВАР= метод изменяющихся вариантов.
Т.е. они типа говорят, строим пространство вариантов и находим по базе правил зависимости между тем, что нужно и между тем, что дано.
Я когда-то приложил руку к разработке алгоритмов и пакету программ МИВЕР. )
МИВЕР= метод изменяющихся вероятностей.
Это оптимизация функционалов с булевыми переменными, в том числе функционалов не выражаемых аналитически.
Наш пакет был пораньше, чем МИВАР. )
Используют они такой подход, как когда-то понимал.
Строят конфигурационное пространство, это типа пространство вариантов - пространство значений переменных/параметров.
Ну и когда перебирают правила, то пространство вариантов может сокращаться. Поэтому и МИВАР.
В частности у них подход, надо найти переменную Z.
Просматривают базу правил, у которых правая часть Z, отбирают их.
Далее таким же способом удовлетворяют правила из выборки.
Аналогично у них есть (на память кажется есть) стратегия решения от данных к цели.
Берут список того, что дано, переменные x_j.
Просматривают базу правил, у которых есть левая часть x_j, отбирают их.
Далее смотрят какие переменные затрагиваются на выходе.
И если стыковка происходит по переменным на какомто этапе, то задача решена.
По факту будет сгенерировано дерево решений.
Это стандартныый подход поиска решений от данных к цели и от цели к данным.
Я всегда/обычно добавляю сюда еще один подход: изнутри наружу. ;)
Если задачу разбивать на несколько этапов, то
изнутри наружу означает по факту: от данных к цели и от цели к данным для локальной подзадачи.
Особая фишка у них в том, что они делают это всё через двудольные графы, что позволяет иметь полиномиальную сложность вместо экспоненциальной.
Насколько понимаю, больше фишек нет. )
В моем понимании - это обычный движок для продукционной системы, экспертной системы.
У движка свои три фишки.
Две фишки: стратегии поиска решения.
Третья фишка - представление двудольными графами.
Могу сильно ошибаться. Смотрел давно и поверхностно.
Могу сильно ошибаться и исказить их идеи. Относиться критически. )
МИВАР= метод изменяющихся вариантов.
Т.е. они типа говорят, строим пространство вариантов и находим по базе правил зависимости между тем, что нужно и между тем, что дано.
Я когда-то приложил руку к разработке алгоритмов и пакету программ МИВЕР. )
МИВЕР= метод изменяющихся вероятностей.
Это оптимизация функционалов с булевыми переменными, в том числе функционалов не выражаемых аналитически.
Наш пакет был пораньше, чем МИВАР. )
Используют они такой подход, как когда-то понимал.
Строят конфигурационное пространство, это типа пространство вариантов - пространство значений переменных/параметров.
Ну и когда перебирают правила, то пространство вариантов может сокращаться. Поэтому и МИВАР.
В частности у них подход, надо найти переменную Z.
Просматривают базу правил, у которых правая часть Z, отбирают их.
Далее таким же способом удовлетворяют правила из выборки.
Аналогично у них есть (на память кажется есть) стратегия решения от данных к цели.
Берут список того, что дано, переменные x_j.
Просматривают базу правил, у которых есть левая часть x_j, отбирают их.
Далее смотрят какие переменные затрагиваются на выходе.
И если стыковка происходит по переменным на какомто этапе, то задача решена.
По факту будет сгенерировано дерево решений.
Это стандартныый подход поиска решений от данных к цели и от цели к данным.
Я всегда/обычно добавляю сюда еще один подход: изнутри наружу. ;)
Если задачу разбивать на несколько этапов, то
изнутри наружу означает по факту: от данных к цели и от цели к данным для локальной подзадачи.
Особая фишка у них в том, что они делают это всё через двудольные графы, что позволяет иметь полиномиальную сложность вместо экспоненциальной.
Насколько понимаю, больше фишек нет. )
В моем понимании - это обычный движок для продукционной системы, экспертной системы.
У движка свои три фишки.
Две фишки: стратегии поиска решения.
Третья фишка - представление двудольными графами.
Могу сильно ошибаться. Смотрел давно и поверхностно.