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 个句子?有人可以向我解释这个概念吗?谢谢。