认识逻辑

✍ dations ◷ 2025-04-25 00:59:00 #认识逻辑

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

相关

网巢病毒目网巢病毒目（学名：Nidovirales），又称成套病毒目、套式病毒目，是一类具有动物和人类宿主（MERS-CoV和SARS-CoV）的病毒。该目下的科有：
门冬胰岛素门冬胰岛素（英语：Insulin aspart），由诺和诺德生产，药物商品名诺和锐（英语：NovoRapid），胰岛素类似物，用于治疗糖尿病。无色澄明液体。患者用药，反应不良，主要视乎剂量，与胰岛素药理学作用
降糖药抗糖尿病药用于降低血中的葡萄糖浓度来治疗糖尿病。除了胰岛素、艾塞那肽（英语：Exenatide）、利拉鲁肽和普兰林肽（英语：Pramlintide）外，其他的都是经由经由口服，所以又称为口服降血糖
ADP-核糖基化二磷酸腺苷核糖基化（英语：ADP-ribosylation，ADP-核糖基化）是将额外的单个或多个二磷酸腺苷核糖（ADP核糖）基团添加到蛋白质的氨基酸残基上的转译后修饰过程。这一过程可逆，涉及许多
运动损伤运动损伤又称运动创伤或运动伤害（英语：Sports injuries），指在体育运动或体能锻炼过程中发生的创伤。例如在美国，据估计有三千万青少年参与过某种形式的有组织运动，其中每年又有三
中国水资源水资源总量为降水形成的地表和地下产水量，即地表产水量与降水入渗补给地下水量之和。由两部分组成：第一部分为河川径流量，即地表水资源量；第二部分为降水入渗补给的地下水量，即地
国家中医药管理局1999年规定：印章直径4.5厘米，中央刊国徽，由国务院制发。国家中医药管理局，是中华人民共和国国家卫生健康委员会管理的国家局，负责管理中医药行业。2018年3月17日第十三届全国人民
恩典在圣经中，“恩典”这个词语翻译自古希腊语：χάρις（charis），原意为“带来满足、愉快、欢乐和好运”。七十士译本将希伯来语中表示“好意”的词根翻译成“恩典”，例如创世纪6:8
武汉市中心医院武汉市中心医院，是中华人民共和国一家综合性三级甲等医院，始建于1880年，其前身为汉口天主堂医院。主院区南京路院区位于湖北省武汉市江岸区，另外在江汉区设有后湖院区，以及谌家矶
加拿大原住民音节文字加拿大原住民音节文字（Canadian Aboriginal syllabics），是一系列的音节文字，用于书写几种加拿大境内原住民语言，这些语言分别属于阿尔冈昆语族、爱斯基摩－阿留申语系和德内语支。