锐客网

  1. 首页 > 睿知 > it技术 > >

wumpus世界人工智能知识库

人工智能

本文概述

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

文章图片
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世界人工智能知识库

文章图片
注意：缺少变量会给我们每个单元相似的规则。Wumpus世界知识库的表示形式：
以下是代理人从房间[1，1]移到房间[2, 1]时的wumpus世界的简单KB：
wumpus世界人工智能知识库

文章图片
在第一行中，我们提到了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）中。
  • 在?S11和R1上应用Modus Ponens：
我们将首先应用MP规则，其中R1为?S11→?W11 ^?W12 ^?W21，而?S11给出输出?W11 ^ W12 ^ W12。
wumpus世界人工智能知识库

文章图片
  • 套用与排除规则：
在对“ W11”→“ W12”→“ W21”应用“消除规则”后，我们将获得三个语句：W11，W12和W21。
  • 将Modus Ponens应用于?S21和R2：
现在我们将Modus Ponens应用于?S21和R2，即?S21→?W21∧W22 W W31，这将得出输出结果?W21∧W22 W W31
wumpus世界人工智能知识库

文章图片
  • 应用和-排除规则：
现在再次对“ W21”-“ W22”-“ W31”应用“与”规则，我们将得到三个语句：W21，W22和W31。
  • 将MP应用于S12和R4：
将Modus Ponens应用于S12和R4，即S12→W13∨。 W12∨。 W22∨.W11，我们将得到输出为W13∨W12∨W22∨.W11。
wumpus世界人工智能知识库

文章图片
  • 在W13∨W12∨W22∨W11和?W11上应用单位分辨率：
在W13∨W12∨W22∨W11和?W11上应用单位分辨率公式后，我们将得到W13∨W12∨W22。
wumpus世界人工智能知识库

文章图片
  • 在W13∨W12∨W22和?W22上应用单位分辨率：
在W13∨W12∨W22和?W22上应用单位分辨率后，我们将得到W13∨W12作为输出。
wumpus世界人工智能知识库

文章图片
  • 在W13∨W12和?W12上应用单位分辨率：
在W13∨W12和?W12上应用单位分辨率后，我们将得到W13作为输出，因此证明了Wumpus在房间[1、3]中。
wumpus世界人工智能知识库

文章图片

    推荐阅读


    上一篇：人工智能的wumpus世界

    下一篇：人工智能中的一阶逻辑