探検する迷路を作るための知識を、コンピュータ上で表現するための方法「知識表現」をいくつか見てみます。

↑マンガごっちゃに置かせてもらっています。

論理も知識表現の一種でもあり、ある種の論理では知りたいゴールに向かって迷路を効率的に探索する手法があるようです。