认识逻辑

✍ dations ◷ 2025-01-22 23:50:48 #认识逻辑

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

相关

D50–D77ICD-10 第三章：血液及造血器官疾病和某些涉及免疫机制的疾患，为WHO整理的各类血液及造血器官疾病和某些涉及免疫机制的疾患。营养性贫血（D50-D53）溶血性贫血（D55-D59）再生障碍性
荧光淬灭荧光淬灭（英语：Quenching）猝灭是当常温物质经射线照射（通常为紫外线或X射线）所发出会萤光强度降低的任何过程。淬灭受压力和温度的影响很大，许多过程都可导致淬灭，例如激发态反应，能
动物相动物相（拉丁文：Fauna），又译动物群或动物区系，指某一地区某一时段的特定动物种群。Fauna的另一个意思是动物志，是对一个动物区系的纪录和描述。“动物相”翻译自欧洲语言的Fauna，这
恶魔蠕虫恶魔蠕虫（学名：Halicephalobus mephisto）也称魔鬼蠕虫、魔鬼线虫，是2011年在南非一座金矿中发现的一种新线虫，生活在地面以下1.3公里深的极端环境中，身长约0.5毫米。
牛瘟病毒牛瘟病毒（德语：Rinderpest，英语：cattle plague或steppe murrain），是一种具感染性的牛只病毒，会引起牛瘟。这种病毒性疾病主要传染于水牛之间，但其他野生品种也有致病的记录。牛瘟与
行政部门美国联邦行政部门（英语：United States Federal Executive Departments）是对于美国联邦政府中由总统指挥的行政机构总称，目前共有15个联邦行政部门；其中包含历史最为悠久的主要单
汉越词陶文 ‧ 甲骨文 ‧ 金文 ‧ 古文 ‧ 石鼓文籀文 ‧ 鸟虫书 ‧ 篆书（大篆 ‧ 小篆）隶书 ‧ 楷书 ‧ 行书 ‧ 草书漆书 ‧ 书法 ‧ 飞白书笔画 ‧
纳布啡纳布啡是一种阿片类受体的镇静剂型精神药物，其镇静效果类似吗啡，有呼吸抑制作用但不明显。同时其抑制有封顶效应，无心血管副反应，临床上一般用于手术后镇痛。
心前壁心脏（英语：heart），常简称心，是一种在人类和其他动物都有的肌造器官，它的功用是推动循环系统中血管的血液。血液提供身体氧气以及养分，同时也协助身体移除代谢废弃物（英语：metabolic w
音段音素是语言学术语，但其意涵有两种分歧的说法。它可以指：