Wumpus World は、エージェントが一連の相互接続された部屋で構成された洞窟を探索しなければならなかった、知識の表現、推論、および計画の一例です。洞窟の部屋の 1 つに、その部屋に入るとエージェントを殺す Wumpus がいました。一部の部屋には穴があり、エージェントがそれらの部屋のいずれかに入ると、エージェントは死亡します。エージェントはワンパスを殺すことができる矢を 1 本持っていました。目標は、洞窟のどこかに隠されている金を見つけ、殺されることなく最初に戻ることでした.
http://www.cis.temple.edu/~giorgio/cis587/readings/wumpus.shtml
Wumpus は 1 つだけです。したがってW1,1 ∨ W1,2 ∨ ... W4,3 ∨ W4,4
多くても 1 つのウンパスがあると言う 1 つの方法は、任意の 2 つの正方形について、そのうちの 1 つにウンパスがなければならないということです。n個の正方形を使用すると、¬W1,1 ∨ ¬W1,2 のようなn(n-1)/2文が得られます。4*4 の世界では、64 個の異なる記号を含む合計 155 個の文から始めます。
n(n-1)/2文を取得する方法がわかりません。また、4*4 の世界に合計 155 の文があることをどうやって知るのでしょうか? 誰かがこの概念を私に説明してくれませんか。ありがとう。