wumpus世界人工智能知识库 wumpus世界AI知识库|人工智能

本文概述

证明Wumpus在房间里（1、3）

与上一主题一样，我们了解了wumpus世界以及基于知识的代理如何发展世界。现在，在本主题中，我们将为wumpus世界创建一个知识库，并使用命题逻辑为wumpus世界获得一些证明。
代理开始从第一个正方形[1，1]进行访问，我们已经知道这个房间对代理是安全的。为了建立一个关于世界知识的知识库，我们将使用一些规则和原子命题。在wumpus世界中的每个位置我们都需要符号[i，j]，其中i是行的位置，j是列的位置。

文章图片
Wumpus世界的原子命题变量：

如果房间[i，j]中有一个坑，令Pi，j为真。
如果代理在[i，j]中感觉到微风（死或生），则令Bi，j为真。
如果正方形[i，j]中有乌鸦，令Wi，j为真。
如果代理在正方形[i，j]中感觉到恶臭，则令Si，j为真。
如果访问那个平方[i，j]，则使Vi，j为真。
如果正方形[i，j]中有金（和闪光），则让Gi，j为真。
如果房间很安全，让OKi，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]，没有坑，没有访问过但是，房间很安全。
【wumpus世界人工智能知识库】在第三行中，我们提到了room [2, 1]的命题变量，它表明没有wumpus（?W21），没有恶臭（?S21），没有Pit（?P21），感觉到微风（B21），没有闪光（?G21），已访问（V21），并且房间很安全（OK21）。
证明Wumpus在房间里（1、3）我们可以使用为推论规则推导的命题规则证明推论规则在房间（1、3）中。