描述是这样的：在一个迷宫里面，有一个人在起始的位置上，他的目标是从迷宫中走出去，其中pit为黑洞（不能行走，边上有风），怪兽（不能行走，边上有臭味），金子（可以得到金钱，金光），人有一把剑
他的任务环境（PEAS）是这样的：
性能度量：带金子+1000，死亡-1000，一个行动-1，用掉剑-10，agent（人）死亡或者走出迷宫结束
环境：
①、邻接怪兽的方格感到臭味
②、邻近黑洞感到微风
③、金子的方格感到金光
④、面对怪兽可以用剑杀掉他
⑤、剑只能用一次
⑥、在金子所处可以捡起金子
感知器：臭味，微风，金光，撞击，嚎叫
执行器：左、右、前、捡起、射击（如果怪兽不能移动，则不能后退）
部分可观察，离散，静态
这里就牵扯到了一个逻辑的概念，比方说：
一开始人在（1,1）处，此时他感受不到任何东西，他可以选择向上走或者向右走。
假如人向上走到了（1,2）处，他感受到了臭味，那么他就认为（1,3）处和（2,2）处可能有怪兽
假如人向右走到了（2,1）处，他感受到了微风，那么他就认为（3,1）处和（2,2）处可能有黑洞
也就是说，我们目前得到了两个命题：
1、（1，3）或（2，2）处有怪兽
2、（3，1）或（2，2）处有黑洞
同时，还有一个隐藏的命题
3、黑洞和怪兽不能同时出现
而我们，就是要找到当前同时满足1，2，3命题的情况，此时1，2，3命题就可以看做是约束条件。而三个点可以看做变量，即我们可以假设（1,3）为A，（2,2）为B，（3,1）为C，而每个变量有三种取值0（空）、1（怪兽）、2（黑洞），我们的约束条件就是：
1、A=1则B！=1或A！=1则B=1
2、C=2则B！=2或C！=2则B=2
3、A，B，C取值唯一
那么我们就可以有A，B，C的取值了：（0,1,2）、（1,0,2）、（1,2,0）
这就是逻辑
逻辑是一种用来表示信息的正式语言，能推导出一定的结论
语法是用来定义语言中句子的规范准则
语义是用来定义句子的含义，也定义了每个句子在可能世界中的真值
用模型代表可能世界，指对于一个问题所有的可能赋值，如x+y=4，那么可能的模型是对变量x和y的所有可能赋值。模型是对于问题（语句）的一组可能的组合。
如果语句a在模型m中为真，称m满足a，也称m满足a，也称m为a的一个模型。
逻辑蕴含：某语句在逻辑上跟随另一语句
a、a|=b：如果在使a为真的每个模型中，b也为真
b、M（a）∈M（b），即b语句的模型包含了a语句的所有模型
c、如x=0蕴含了xy=0
而推理是
推理：推理算法i可以根据KB推导出a
a、可靠性：
如果当推理算法i可以根据KB推出a，并且对于每一个使a成立的模型，KB也成立，则称为推理算法i是可靠的。
即算法推出的结果是正确的，但不一定推出了所有的正确结果。
若推理算法i可以将KB推导到a，并且KB确实蕴含a，则推理算法i是可靠的，即不会产生错误推理。
b、完备性：
如果对于任何一个使a成立的模型，KB也成立，并且推理算法i可以通过KB推导出a，则称为推理算法i是完备的。
即算法可以推出所有的正确结果。
对于任何在KB中的a，推理算法能够由KB得到a，那么推理算法i是完备的，即推导出的范围和真是的相同。
c、不完备的推导算法不能得到所有的结论
