Wumpus世界的知识库

与上一主题一样，我们了解了wumpus世界以及基于知识的代理如何演变世界。现在，在本主题中，我们将为wumpus世界创建一个知识库，并使用命题逻辑为wumpus世界获得一些证明。

代理开始从第一个正方形[1，1]进行访问，我们已经知道这个房间对代理是安全的。为了建立有关世界知识的知识库，我们将使用一些规则和原子命题。在wumpus世界中的每个位置我们都需要符号[i，j]，其中i是行的位置，j是列的位置。

Wumpus世界的原子命题变量：

• 如果房间[i，j]中有一个坑，则让P _i，j为真。
• 如果代理在[i，j]中感觉到微风(死或生)，则令B _i，j为真。
• 如果正方形[i，j]中有乌鸦，令W _i，j为真。
• 如果代理感知到正方形[i，j]中有恶臭，则令S _i，j为真。
• 如果访问了那个平方[i，j]，则令_Vi，j为真。
• 如果正方形[i，j]中有金(和闪光)，则让G _i，j为真。
• 如果房间安全_，让_i，j为真。

注意：对于4 * 4的正方形板，将有7 * 4 * 4 = 122个命题变量。

乌鸦世界的一些命题规则：

注意：缺少变量会给我们每个单元相似的规则。

Wumpus世界知识库的表示形式：

以下是代理人从房间[1，1]移到房间[2,1]时的wumpus世界的简单KB：

在第一行中，我们提到了room [1,1]的命题变量，这表明房间没有wumpus(¬W11)，没有恶臭(¬S11)，没有Pit(¬P11)，没有微风( ¬B11)，没有黄金(¬G11)，已访问(V11)，房间是安全的(OK11)。

在第二行中，我们提到了房间[1,2]的命题变量，这表明没有雾气，恶臭和微风是未知的，因为代理人没有访问过房间[1,2]，没有坑，没有访问过但是，房间很安全。

在第三行中，我们提到了room [2,1]的命题变量，它表明没有wumpus(¬W21)，没有恶臭(¬S21)，没有Pit(¬P21)，感知微风(B21)，没有闪光(¬G21)，已访问(V21)，并且房间很安全(OK21)。

证明Wumpus在房间里(1，3)

我们可以使用为推论规则推导的命题规则证明推论规则在房间(1、3)中。

• 在¬S11和R1上应用Modus Ponens：

我们将首先应用MP规则，其中R1为¬S11→¬W11 ^¬W12 ^¬W21，而¬S11给出输出¬W11 ^ W12 ^ W12。

• 套用与排除规则：

在对“ W11″→“ W12″→“ W21″应用“消除规则”后，我们将获得三个语句：W11，W12和W21。

• 将Modus Ponens应用于¬S ₂₁和R2：

现在我们将Modus Ponens应用于¬S21和R2，即¬S21→¬W21∧W22 W W31，这将给出输出¬W21∧¬W22 W W31

• 应用和-排除规则：

现在再次对“ W21″→“ W22″→“ W31″应用“与”规则，我们将得到三个语句：W21，W22和W31。

• 将MP应用于S ₁₂和R4：

将Modus Ponens应用于S12和R4，即S12→W13∨。 W12∨。 W22∨.W11，我们将得到输出为W13∨W12∨W22∨.W11。

• 上应用单位分辨率w ^ _{13∨W 12 S∨W¯¯22∨W11}和¬w ^ _11：

在W13∨W12∨W22∨W11和¬W11上应用单位分辨率公式后，我们将得到W13∨W12∨W22。

• 对申请单位分辨率_{W¯¯13∨W 12} S∨w ^ ₂₂和¬w ^ _22：

在W13∨W12∨W22和¬W22上应用单位分辨率后，我们将得到W13∨W12作为输出。

• 对申请单位分辨率_{W¯¯13∨W 12} S和¬W ₁₂ S：

在W13∨W12和¬W12上应用单位分辨率后，我们将得到W13作为输出，因此证明了Wumpus在房间[1、3]中。