обобщения задачи о волке козе и капусте

[eugrita]

Все конечно знают эту задачу и она во многих учебниках подается как пример
логического программирования. Можно построить граф состояний из которого следует что есть 2 решения задачи о переправе.
А какие есть более практические обобщения этой задачи?
речь идет о построении графа сложных состояний в виде комбинации простых с некоторыми ограничениями на комбинации и способы перехода в соседние состояния.
Близкий к этому граф марковских процессов.
Короче, хотелось бы увидеть практические примеры, где используется подобная схема

[Paragraph]

Прямое практическое обобщение - теория автоматического планирования, т.е. построение и анализ планировщиков. См., например, Automated Planning: Theory & Practice, Malik Ghallab et al., The Morgan Kaufmann Series in Artificial Intelligence

А так же, хоть это и может показаться неожиданным, - обучение с подкреплением. План веревозки можно построить именно методами обучения с подкреплением. Одноименная книга имеется на озоне (а также из других источников), авторы Ричард С. Саттон и Эндрю Г. Барто.