【摘要】：现在我们已经定义了命题逻辑的语义，我们可以为wumpus世界构造一个知识库。为了简便起见，我们只处理陷阱，把wumpus本身留作一道习题。我们将提供足够多的知识来进行在第7.3节中已经非形式化地完成的推理。一个方格里有微风，当且仅当在某个相邻方格中有陷阱。对于每个方格都必须说明这一情况；目前，我们只包括了相关的方格： 在所有的wumpus世界中，前面的这些语句都为真。于是，知识库由R1到R5这些语句组成。
现在我们已经定义了命题逻辑的语义，我们可以为wumpus世界构造一个知识库。为了简便起见，我们只处理陷阱，把wumpus本身留作一道习题。我们将提供足够多的知识来进行在第7.3节中已经非形式化地完成的推理。
首先，我们需要选择命题符号的词表。对于每个i，j：
• 如果[i, j]中有陷阱，令Pi,j为真；
• 如果[i, j]中有微风，令Bi,j为真。
• 知识库包括下列语句，为了方便起见，对每个语句进行标注：
• [1, 1]中没有陷阱：
R1: ¬R1,1
• 一个方格里有微风，当且仅当在某个相邻方格中有陷阱。对于每个方格都必须说明这一情况；目前，我们只包括了相关的方格：
R2: B1,1⇔(P1,2∨P2,1)
R3: B2,1⇔(P1,1∨P2,2∨P3,1)
• 在所有的wumpus世界中，前面的这些语句都为真。现在我们将智能体所处的特定世界中最初访问的两个方格的微风感知信息包括进来，导致图7.3（b）中的情景。
R4: ¬B1,1
R5: B2,1
于是，知识库由R1到R5这些语句组成。它也可以当作单一语句——也就是，合取式R1∧R2∧R3∧R4∧R5——因为它断言所有的单独语句都为真。
免责声明：以上内容源自网络，版权归原作者所有，如有侵犯您的原创版权请告知，我们将尽快删除相关内容。
