认识逻辑

✍ dations ◷ 2025-02-23 11:36:58 #认识逻辑

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

相关

超敏反应超敏反应（hypersensitivity），也叫变态反应，是免疫反应产生作用分子移除外来抗原的过程，这些作用分子诱导产生轻微、无临床症状或局部性的发炎反应，并不会对宿主造成组织伤害。特殊
抗抑郁症药物抑郁症，亦称忧郁症，是一类以抑郁心境为主要特点的情感障碍。它主要包括：重度抑郁症、持续性抑郁症、季节性抑郁症。它们的共同表现为：长时间持续的抑郁情绪，并且这种情绪明显超过
半干旱地区半干旱气候，又称草原气候，是降水量低于潜在的蒸散量，但又不像干旱气候那么极端的一种气候类型。柯本气候分类法提供的更精确定义是生态特征在沙漠气候和潮湿气候之间的气候。本
消化消化作用是指将食物(大分子)分解成足够小的水溶性分子(小分子)，可以溶解在血浆，让身体能够吸收利用的过程。有些生物体会透过小肠吸收小分子，带到血液系统中。消化作用是生物异
COMT3A7E, 3BWM, 3BWY, 4PYI, 4PYJ, 4PYK, 4XUC, 4XUD, 4XUE· protein binding · O-methyltransferase activity· cytosol · plasma membrane · membrane · integral
汉诺威汉诺威（德语：Hannover）位于莱讷河畔，德国下萨克森州的首府，位于北德平原和中德山地的相交处，既处于德国南北和东西铁路干线的交叉口，又濒临中德运河，是个水陆辐辏的交通枢纽。汉诺威
折扣财务会计 · 管理会计 ·折扣是指原本的价格变成较便宜的定义。通常会有折扣的情形，于有折扣活动、打折活动或折扣条件出现的频率较高。折扣条件举例：若企业赊购商品之总价
灰质灰质（英语：Gray matter），又称为皮质（英语：Cortex），是一种神经组织，是中枢神经系统的重要组成部分。灰质由神经元，神经胶质细胞，微血管组成。灰质的灰色源于神经元的细胞体和微血管。中
蛾蛾是鳞翅目现生类群排除了蝴蝶所形成的并系群中的昆虫的总称，静止时多数将翅膀摊开在身体两侧，且主要于夜间活动，翅膀上具有可以吓阻敌人的似眼花纹。蛾属于完全变态昆虫，第一步
陈述在逻辑中，一个陈述可以是：若陈述是指后者，陈述和语句是不同的，语句只是一种陈述的逻辑型式（英语：Logic form），也有可能存在许多可以表达同一陈述的不同语句。& ∨ ¬