认识逻辑

✍ dations ◷ 2024-11-05 16:33:05 #认识逻辑

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

相关

酒酿酒酿，又称醪醩，是一种可以家庭制作的并广泛流行于中国各地及朝鲜半岛的小吃，味道甜，有酒味，在陕西、四川、江浙、北京、云南等地及韩国深受欢迎，其中朝鲜半岛的醪糟称为甘酒。酒酿
风险因子风险因子（Risk Factor），在流行病学中是与疾病或感染风险增加相关的变量。风险因子或决是因数是相关的，由相关不蕴涵因果可知，它们不一定是因果关系。例如，“年轻不能说是引起麻疹
复层噬菌体科复层噬菌体属 Tectivirus复层噬菌体科(Tectiviridae)，也译作复层病毒科，tecti来自拉丁文的tectus，有有盖的之意。主要宿主为细菌。代表种：
单核因子单核因子（英语：monokine）是指一大类主要由单核细胞和巨噬细胞产生的细胞因子。常见的单核因子有：从巨噬细胞释放的单核因子可以通过趋化作用募集中性粒细胞。
尼日尔面积以下资讯是以2019年估计国家领袖国内生产总值（购买力平价）以下资讯是以2016年估计国内生产总值（国际汇率）以下资讯是以2016年估计人类发展指数以下资讯是以2018年估计尼
底比斯 (希腊)底比斯 (Thebes, /ˈθiːbz/; 古希腊语：Θῆβαι, Thēbai, 希腊语发音：; 希腊语：Θήβα, Thíva )又译作忒拜，是一座位于中希腊维奥蒂亚州的城市。因为这座城市是关于卡德
海格力斯赫拉克勒斯（希腊语：Ηρακλής，Hēraklēs，引申自Hēra“赫拉”和kleos“荣耀”，即赫拉克勒斯被称为赫拉的荣耀，转写：Heracles，音译赫剌克勒斯、海格力斯、海克力士、赫克力士），是
坑鳒鳗鲶，学名Plotosus lineatus，异名：Plotosus arab, Plotosus anguillaris, Silurus lineatus，又称线纹鳗鲶（Striped eel catfish），俗称沙毛、坑鳒、海塘虱，是鲶形目鳗鲶科的其中一种
浊齿龈擦音浊齿龈擦音是辅音的一种。和此音对应的国际音标符号会因为此音是否有咝音还是无咝音而有所改变：吴语中的属有咝音，据邪俟船子音而定，均属阳调。浊齿龈有咝音的特征：英语中有此音
未解的问题尚未解决的语言学问题（List of unsolved problems in linguistics）列举了语言学中十分关键但仍待解决的诸多问题，内容如下。以下所示问题中，既有目前已被公认无解的问题，也有已解