认识逻辑 认识逻辑是关心与知识有关的推理的模态逻辑子领域认识这个词的希腊语是 Episteme它应用于哲学计算机科学人工智能和其他领域 认识逻辑的基本模态算子通常写为 K它可以读做有人知道在认识上是必然的或不与已知相矛盾如果有多于一个的其知识要被表现的代理者agent可以向这个算子附加下标Ka Kb etc来指示谈论的是哪个代理者 认识逻辑与真势模态逻辑共享某些特征例如模式 T  ϕ  ϕ displaystyle Box phi rightarrow phi   陈述必然的事物是真的这好像是正确的它的认识版本是 K ϕ  ϕ displaystyle Kphi rightarrow phi   陈述某知识为已知是真这好像同样是正确的在另一方面很多在真势模态逻辑中似是而非的公式在按知识来解释的时候就更加可疑了例如模式   ϕ    ϕ displaystyle Box phi rightarrow Box Box phi   当把方框解释为在形而上学上是必然的的时候好像是似是而非的它的知识版本 K ϕ  K K ϕ displaystyle Kphi rightarrow KKphi   陈述如果一个代理者知道某事则他知道他知道这个事情这不是个很明显的一个原理 认识逻辑的早期提议者包括E J Lemmon和雅各辛提卡