Wumpus World模型中的混乱?

时间:2012-09-25 14:40:47

标签: logic artificial-intelligence wumpus-world

Wumpus World是知识表示,推理和规划的一个例子 - 代理人必须探索由一系列相互连接的房间组成的洞穴。在洞穴的其中一个房间里,有一个Wumpus如果进入那个房间就会杀死它。有些房间有坑,如果进入任何一个房间,代理人也会死亡。经纪人有一个箭头可以杀死Wumpus。目标是找到隐藏在洞穴某处的黄金并返回到开始而不会被杀死。

http://www.cis.temple.edu/~giorgio/cis587/readings/wumpus.shtml

只有一个Wumpus。  因此W1,1 ∨ W1,2 ∨ ... W4,3 ∨ W4,4

一种说法,最多只有一个wumpus,对于任何2个方格,其中一个必须是无wumpus的。使用 n 方格,我们得到 n(n-1)/ 2 句子,例如¬W1,1∨¬W1,2。对于一个4 * 4的世界,我们开始共有155个句子,包含64个不同的符号。


我无法理解我们如何得到 n(n-1)/ 2 句子。而且 - 我们怎么知道在一个4 * 4的世界里我们总共有155个句子?有人可以向我解释这个概念。感谢。

1 个答案:

答案 0 :(得分:0)

在4 * 4的世界中,你有16个方格。我们正在为每对州创建一个句子。在不失一般性的情况下,我们可以将每个二维索引(r,c)转换为一维索引(r * 4 + c)。这只是一个简化步骤。在算术上,你可以将这些句子的创作写成:

for(i = 0; i < 16; ++i)
  for(j = i+1; j < 16; ++j)
    print ~Wi v ~Wj

然后我们可以分析为i循环的每次迭代所做的打印语句的数量。

i = 0:15句

i = 1:14句子

...

i = 15:1句子

所以在这种情况下,句子的数量是数字1到15的总和。众所周知的公式是n(n-1)/ 2,给出105的答案。这与你说的答案不同155,所以我不知道你从哪里得到这个号码。 155不是该公式可以找到的数字。

另外,请注意我使用的n与正方形的数量不同;它比正方形少一个。原因是你不希望语句比较相同的方格,如~W1,1 v~W1,1。