метод обратной волны
метод изнутри наружу (обратная и прямая волна от промежуточных целей, название дано в подражание сериалу "Силиконовая долина")
модели методов: конструктивизм, формализация, редукционизм
https://deep-econom.livejournal.com/595341.html
Три пути реализации искина (искусственный интеллект) снизу вверх (туда) и сверху вниз (обратно), изнутри наружу.
https://deep-econom.livejournal.com/51555.html
универсальный подход:
- идем от данных к цели (снизу вверх)
- от цели к данным (сверху вниз)
- изнутри наружу (от середины вниз и вверх, от середины к цели и к данным)
/* "изнутри наружу" - вспоминаем сериал Силиконовая долина с алгоритмом архивирования изнутри наружу!
ну а вы как думали! )))
смотреть обязательно!
изнутри наружу https://youtu.be/0hXV3R82kM8
---
Поспелов Д.А. Моделирование рассуждений. Опыт анализа мыслительных актов. - М.:
Радио и связь, 1989.
http://raai.org/about/persons/pospelov/pages/modras.pdf
http://www.vixri.com/d/Pospelov%20D.A.%20_Modelirovanie%20rassuzhdenij.pdf
стр.52
Общая схема вывода
...
На примере мы описали процедуру, которая, как легко видеть, носит универсальный характер и
пригодна для поиска пути вывода в лабиринтах произвольного типа. Эта процедура известна среди
специалистов под названием метода прямой волны. Волна поиска путей к целевой площадке
распространяется от всех площадок, играющих роль начальных.
Возможен и другой способ поиска доказательства. Он носит название метода обратной волны. В
этом методе волна начинает свое движение от целевых площадок и движется в направлении
начальных площадок лабиринта. Для нашего случая на первом шаге была бы порождена площадка,
соответствующая f5, вслед за этим f3 и f1. На этом движение волны прекратилось бы, так как ее
фронт достиг всех (в данном случае единственной f1) начальных площадок.
Различие между прямой и обратной волной состоит в том, что они порождают в процессе своего
движения различные промежуточные «фронты» площадок, что приводит к различному числу шагов
при поиске. Часто используется смешанный метод вывода, при котором одновременно движутся
прямая и обратная волны. При встрече этих волн формируется путь вывода от начальных аксиом к
целевым выражениям.
---