Cтраница 1
Хронологический возврат ( бэктрекинг) представляет собой один из подходов к реализации процедуры поиска. В нем неудача при поиске приводит к возврату, при котором сначала удаляются все действия и выводы, сделанные после последней точки выбора, а затем продолжается работа над другой альтернативой, имеющейся в этой точке. Поскольку в процедуре возврата используется правило последним вошел - первым вышел, то память для хранения множества активных в данное время убеждений может быть выполнена в виде стека, или магазинной памяти. Хронологический возврат оказывается часто без нужды малоэффективным, поскольку все неудачи, встретившиеся на некотором пути поиска, забываются, как только этот путь отбрасывается. Независящие от пути поиска общие причины неудач впоследствии повторно скажутся на других путях поиска. [1]
При хронологическом возврате слишком много информации отбрасывается. Более подходящим было бы прослеживание того, какие именно шаги вывода привели к ошибкам и несоответствиям. [2]
Хронологический возврат ( бэктрекинг) представляет собой один из подходов к реализации процедуры поиска. В нем неудача при поиске приводит к возврату, при котором сначала удаляются все действия и выводы, сделанные после последней точки выбора, а затем продолжается работа над другой альтернативой, имеющейся в этой точке. Поскольку в процедуре возврата используется правило последним вошел - первым вышел, то память для хранения множества активных в данное время убеждений может быть выполнена в виде стека, или магазинной памяти. Хронологический возврат оказывается часто без нужды малоэффективным, поскольку все неудачи, встретившиеся на некотором пути поиска, забываются, как только этот путь отбрасывается. Независящие от пути поиска общие причины неудач впоследствии повторно скажутся на других путях поиска. [3]
Практическое решение проблем ведет к необходимости внесения и исключения предположений. Приведены примеры, относящиеся к диагностике и разработке схем. В системах пересмотра убеждений наблюдение за предположениями и выводами ведется посредством записи оправданий в сети зависимости. Процедура возврата, направляемая зависимостями, имеет ряд преимуществ по сравнению с обычным хронологическим возвратом. Направляемое зависимостями рассуждение может быть обобщено так, чтобы включать рассуждения о самом процессе решения задач путем введения оправданий целей и ограничений. [4]