概率性算法知识

算法知识框架假设智能体使用确定性知识算法来计算其显式知道的事实。我们将该框架扩展至允许随机化知识算法。随后我们描述了当其答案具有一定错误概率时，随机化知识算法所提供信息的特征。我们以证据的方式形式化此信息：关于事实 \phi 的查询返回 "是"的随机化知识算法为 \phi 为真提供证据。最后，我们讨论了该证据在何种程度上可作为决策的依据。