认识逻辑

易经学习

天地变化的道理

分类目录

使用率很高网站

文章列表

生活要常常分享

维基百科

您身边百科全书

产品秀秀

免费为您秀产品

认识逻辑

点击查看词条快照

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

李冰冰

蛋白质电泳

河姆渡文化

方振武

火狐 (消歧义)

香港交通安全队

何日君再来

立法院第六届立法委员名单

疏林

黄敏惠

澳门酒店列表

暗能量