知识和信度

10.4.2 知识和信度

相信和知道之间的关系在哲学上已经有了广泛研究。通常说知识是确证的真值信度。也就是，如果你因为无可争论的好理由相信某事，而且如果它的确是正确的，那么你知道它。“无可争论的好理由”是必要的，因为它能防止你说“我知道这次掷硬币会出现头像（或者说，背面）”而只有一半时间是正确的。

令Knows(a, p)表示智能体a知道命题p为真。定义其它类型的知道也是可能的。例如，下面是“知道是否”的一个定义：

KnowsWhether(a,p) ⇔ Knows(a,p) ∨Knows(a,“¬”)

继续我们的例子，如果Lois知道克拉克会飞或者知道他不会飞，那么她就知道克拉克是否会飞。

“知道什么”的概念更复杂。有人试图说智能体知道Bob的电话号码是什么，如果有某个x，智能体知道PhoneNumber(Bob)=x。但是这是不够的，因为智能体也许知道Alice和Bob有同样的号码（即， PhoneNumber(Bob) = PhoneNumber(Alice)），但是如果不知道Alice的电话，这就没有多少帮助。一个更好的对于“知道什么”的定义是说智能体必须知道某个x是数字串且是Bob的号码：

当然，对于其它问题，我们对什么是可接受的解有不同的标准。对问题“纽约州的首府是什么”，一个可接受的解是一个合适的名字“奥尔巴尼（Albany）”，而不是像“政府机构所在城市”这样的东西。为了处理这种问题，我们将KnowsWhat变成一个三元关系：一个智能体，一个用于对项进行表示的字符串，答案必须属于的一个类别。例如，我们可以有下面的式子：

KnowsWhat(Agent, “Capital(NewYork)”, ProperNames)

KnowsWhat(Agent, “PhoneNumber(Bob)”, DigitStrings)