认识逻辑

王朝百科·作者佚名  2009-12-27
窄屏简体版  字體: |||超大  

认识逻辑是关心与知识有关的推理的模态逻辑子领域。(认识这个词的希腊语是 Episteme)。它应用于哲学、计算机科学、人工智能和其他领域。

认识逻辑的基本模态算子通常写为 K,它可以读做“有人知道...”,“...在认识上是必然的”,或“不...与已知相矛盾”。如果有多于一个的其知识要被表现的代理者(agent),可以向这个算子附加下标(Ka, Kb, etc.)来指示谈论的是哪个代理者。

认识逻辑与真势模态逻辑共享某些特征。例如模式 T,

<math>Box phi

ightarrow phi</math>,

陈述必然的事物是真的,这好像是正确的。它的认识版本是

<math>K phi

ightarrow phi</math>,

陈述某知识为“已知”是真,这好像同样是正确的。在另一方面,很多在真势模态逻辑中似是而非的公式在按知识来解释的时候就更加可疑了。例如模式 4,

<math>Box phi

ightarrow Box Box phi</math>,

当把方框解释为“...(在形而上学上)是必然的”的时候好像是似是而非的。它的知识版本

<math>K phi

ightarrow KK phi</math>,

陈述如果一个代理者知道某事,则他或她知道他知道这个事情,这不是个很明显的一个原理。

认识逻辑的早期提议者包括 E. J. Lemmon 和 Jaakko Hintikka。

 
 
 
免责声明:本文为网络用户发布,其观点仅代表作者个人观点,与本站无关,本站仅提供信息存储服务。文中陈述内容未经本站证实,其真实性、完整性、及时性本站不作任何保证或承诺,请读者仅作参考,并请自行核实相关内容。
 
 
© 2005- 王朝網路 版權所有 導航