认识逻辑

✍ dations ◷ 2024-07-05 04:25:35 #认识逻辑

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

相关

僵人综合征僵人综合征，也作僵体症候群（英语：stiff person syndrome 或 stiff man syndrome）是一种罕见的神经失调症状，病因不明，病人临床表现为逐渐开始变得僵硬，肌肉强直等。僵人综合症主要
血压血压是指血管内的血液在单位面积上的侧压力，即压强。习惯以毫米汞柱（mmHg）为单位。而动脉血压则指的是血液对动脉血管的压力，一般指主动脉压。而平均血压则是 = (收缩压+ 2 x 舒
鳃鳃是一种器官，很多水生动物依靠它将溶解在水中的氧气吸收到血液中。这种呼吸方式被称为鳃呼吸。最近的研究表明，鳃的进化起初并非为了呼吸，而是用来调节体液平衡，避免脱水。鳃被
布莱克史密斯研究所布莱克史密斯研究所（Blacksmith Institute）是一个资助与环境污染相关研究的非政府机构，成立于1999年，总部设于美国纽约市，2002年起在中国运作。受资助的其中一个研究计划是“受污
侯云德侯云德（1929年7月13日－），江苏常州人，中国医学病毒学专家，中国工程院院士，现任中国疾病预防控制中心病毒病预防控制所院士实验室主任，传染病国家重大专项技术总师，曾任中国工程院副院
实体实体（英语：Entity）是有可区别性且内于其自身而独立存在的某种事物。但它不需是物理存在。尤其是抽象和法律拟制也通常被视为实体。实体可被看成是一包含有子集的集合。在哲学中
CD8CD8受体（英语：CD8-receptor）是细胞毒性T细胞的膜上标记（surface marker）之一。当病菌入侵人体，有一部分必定会被广布的抗原呈现细胞（此时主要指非B细胞的巨噬细胞及棘状细胞）给吞噬，
芬兰芬兰国家图书馆（芬兰语：Kansalliskirjasto，瑞典语：Nationalbiblioteket）建于1640年，1827年由原址图尔库迁至赫尔辛基。该馆是芬兰重要的研究图书馆，亦是芬兰历史最悠久和规模最大的
川东川东即指四川东部，是四川的一个地区，通常指原四川省所辖的重庆市、万县市、涪陵市、广安市和黔江地区。1997年原四川省重庆市、万县市、涪陵市和黔江地区划出成立了重庆直辖市
喃字陶文 ‧ 甲骨文 ‧ 金文 ‧ 古文 ‧ 石鼓文籀文 ‧ 鸟虫书 ‧ 篆书（大篆 ‧ 小篆）隶书 ‧ 楷书 ‧ 行书 ‧ 草书漆书 ‧ 书法 ‧ 飞白书笔画 ‧