このブログは、旧・はてなダイアリー「檜山正幸のキマイラ飼育記 メモ編」(http://d.hatena.ne.jp/m-hiyama-memo/)のデータを移行・保存したものであり、今後(2019年1月以降)更新の予定はありません。

今後の更新は、新しいブログ http://m-hiyama-memo.hatenablog.com/ で行います。

非決定関数のシミュレーションはバックトラック実行で

多数のプロセスを富豪的に使うプログラミングでは同時並行実行を考え、失敗したプロセスは放置する。が、単一または少数プロセスでの実行では「刺さったまま」ではなくて、「ダメなら戻ってやり直し」が望ましいし、直感的に理解しやすい。

すなわち、プロセス(エージェント)はシーケンシャルにバックトラック実行する。行き詰まり(失敗)で死んだり凍結したりしないで、やり直しによるベストエフォート実行をする。

バックトラック実行の記録(ログ、トレース、軌道)では、バックトラックの記録はオフィシャル記録から削除される。結果的に、失敗は起きなかったように見える。