演绎算法知识

算法知识框架假设智能体使用算法来计算它们显式知道的事实。在许多感兴趣的情况下，是演绎系统而非特定算法捕捉了智能体用于计算其显式知识的形式推理。我们引入了一种逻辑，用于对隐式知识和显式知识进行推理，其中后者是相对于形式化智能体逻辑理论的演绎系统来定义的。演绎系统的高度结构化特性使得在解释任何固定演绎系统时，所得到的逻辑具有非常自然的公理化。在存在单一智能体的情况下，该逻辑的判定问题一般是 NP 完全的，不比命题逻辑更难。当我们固定一个可在非确定性多项式时间内判定的演绎系统时，它仍然是 NP 完全的。这些结果可以直接扩展到多智能体情形。