首页 >
认识逻辑
✍ dations ◷ 2025-07-08 09:25:28 #认识逻辑
认识逻辑是关心与知识有关的推理的模态逻辑子领域。(认识这个词的希腊语是 Episteme)。它应用于哲学、计算机科学、人工智能和其他领域。认识逻辑的基本模态算子通常写为 K,它可以读做“有人知道...”,“...在认识上是必然的”,或“不...与已知相矛盾”。如果有多于一个的其知识要被表现的代理者(agent),可以向这个算子附加下标(Ka, Kb, etc.)来指示谈论的是哪个代理者。认识逻辑与真势模态逻辑共享某些特征。例如模式 T,陈述必然的事物是真的,这好像是正确的。它的认识版本是陈述某知识为“已知”是真,这好像同样是正确的。在另一方面,很多在真势模态逻辑中似是而非的公式在按知识来解释的时候就更加可疑了。例如模式 4,当把方框解释为“...(在形而上学上)是必然的”的时候好像是似是而非的。它的知识版本陈述如果一个代理者知道某事,则他知道他知道这个事情,这不是个很明显的一个原理。认识逻辑的早期提议者包括 E. J. Lemmon 和 Jaakko Hintikka。
相关
- 霉浆菌性肺炎肺炎支原体(Mycoplasma pneumoniae、霉浆菌性肺炎)是一种可导致肺炎的支原体细菌,也有机会导致冷凝集素症(英语:cold agglutinin disease)。这种由肺炎支原体引起的肺炎,又称作霉浆
- 世卫基本药物世界卫生组织基本药物标准清单(法语:Listes modèles OMS des médicaments essentiels;英语:WHO Model List of Essential Medicines;简称EML)是世界卫生组织(WHO或称世卫组织)的出
- 原核原核生物(英文:prokaryote)是通常由单一原核细胞形成的生物。相对于真核细胞,原核细胞一般没有细胞内膜、没有核膜包裹的成型细胞核,细胞内无染色体,DNA链未螺旋化,并以游离的形成
- 粉色面包霉菌粉色面包霉菌(Neurospora crassa,又译红面包霉菌等)是一种属于子囊菌门(Ascomycota)的霉菌。由于生长容易,且拥有单倍体世代,使隐性遗传可直接展现,进而使遗传学分析较为简易,因此是
- 血色沉着病血色沉着病(Hemochromatosis),又名血色素沉着症、血铁沉积症或血色病是指:
- 失聪听觉障碍(英语:Hearing loss)又称听力缺损,指听觉部分或完全丧失,而耳聋人士则是指完全没有或几乎没有听力者。听力缺损可能发生在单耳或双耳,有可能是暂时或永久性质。孩童的听力
- 青壮年青壮年(young adult)一般是指年龄在30岁至40岁(或41岁)周岁年纪的成人,不过也有不同的定义(例如爱利克·埃里克森提出的埃里克森社会心理发展阶段等)。成人在青壮年之后的阶段称为
- 摩西五经《五书》(希腊语:πέντετεῦχος,Pentateuch),常被称为《摩西五经》(英语:Five Books of Moses,华人天主教会译为《梅瑟五书》;东正教译《摩伊息斯之五经》;唐朝景教译《牟世
- 高铁血红蛋白血症正铁血红蛋白血症(methemoglobinemia),或高铁血红蛋白症、变性血色蛋白血症、变性血红素血症、变性红血球血症、急性变性血红素症,是指因血液中异常的出现过多不能带氧的正铁血
- 陆陶文 ‧ 甲骨文 ‧ 金文 ‧ 古文 ‧ 石鼓文籀文 ‧ 鸟虫书 ‧ 篆书(大篆 ‧ 小篆)隶书 ‧ 楷书 ‧ 行书 ‧ 草书漆书 ‧ 书法 ‧ 飞白书笔画 ‧