一种知识与辩护逻辑及其在计算信任中的应用

我们提出了一个逻辑框架，使我们能够定义计算信任的形式理论，其中该概念根据对可能信任对象的认知态度以及与这些对象可信度相关的现有证据进行分析。该框架基于一种量化的认知和辩护逻辑，具有非标准的身份处理方式。因此，该理论能够解释计算信任的超内涵性质。我们提出了该逻辑的证明系统和框架语义，证明了可靠性和完备性结果，并引入了定义信任理论所需的语法机制。