en.m.wikipedia.org/wiki/Constraint_programming. Большинство популярных солверов в этой области как раз и требуют задания целевого состояния (имплицитно через ограничения) и правила ветвления.
Просто в английской версии как всегда (за редкими исключениями) описано все более подробно и с бОльшим количеством ссылок. И я бы не сказал, что это решение «задач искусственного интеллекта». Это просто парадигма оптимизации решения NP-полных задач.
Хех, в своё время на первом курсе тоже придумал эту штуку, когда пытался оптимизировать перебор. Потом узнал от преподавателя что это такое уже на защите проекта.
Я подозреваю, что мы считали эти знания из энергоинформационного поля земли :D Суть одна, только назвали это разными терминами и использовали разные языки программирования. Как занятно получается.
Да там у него несколько романов, основанных на том, что существует дерево времен. И есть некие «операторы реальности». Похоже, что я читал это в «криптозое». Там как раз были такие моменты, что они через дерево проходили в другую вариацию своего мира и встречали самого себя, чуток отличающегося.
Поставил плюс, но заголовок не соответствует содержанию. Да и текста слишком много при небольшом количестве полезной информации. Картинка про «Остаться в живых» понравилась.
Программирование Древа Времен