认识逻辑

✍ dations ◷ 2024-12-22 17:37:23 #认识逻辑

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

相关

真菌病毒真菌病毒（Mycovirus, Mycophage）泛指可以感染真菌的病毒。多数真菌病毒都属于双股RNA病毒（英语：Double-stranded RNA viruses），但也有约三成属于正义单链RNA病毒。真菌病毒必须具
痳疯杆菌麻风杆菌也称为韩森氏杆菌，是一种可引起麻风病的分支杆菌，菌体呈短小棒状或稍弯曲，长约2-6µm，宽约0.2-0.6µm，抗酸染色呈红色（抗酸性），革兰氏染色呈阳性，好氧菌。于1873年由挪威医生
L.卡尔·冯·林奈（英语：Carl Linnaeus，瑞典语：Carl von Linné，1707年5月23日－1778年1月10日），也译为林内，受封贵族前名为卡尔·林奈乌斯（Carl Linnaeus），由于瑞典学者阶层的姓常拉丁化，又
硝酸盐硝酸盐是一个多原子离子其分子式NO3−和分子量62.0049克/mol。硝酸盐同样描述为有机官能团RONO2。这些硝酸酯是一专业炸药。CP#3是硝酸根离子NO3−形成的盐。许多金属都能形
世界世界一词在现代社会意为对所有事物的代称。原本是佛教概念，由“世”（时间）和“界”（空间）组合而成的世界（梵语：lokadhātu），即所谓由所有时间空间组成的万事万物。“世界”在现代是人
鹦鹉热鹦鹉热（英语：Psittacosis）是一种人畜共通传染病，由鹦鹉热衣原体（又称鹦鹉热披衣菌）引起，人类主要透过鹦鹉（如金刚鹦鹉、鸡尾鹦鹉、虎皮鹦鹉）或其他家禽（如火鸡、鸭、鸽）感染，但极少透过
院士院士（Fellow），近年又译会士，在汉语中通常指代表一个国家最高水平和世界领先水平的的科技顶尖人物、最高学术权威。院士多为具有崇高学术机构透过内部评选而出任的荣誉终身职务。
AOL美国在线（AOL Inc.，前身为：America Online，AOL），著名的互联网服务提供者，现为电信商威讯旗下Verizon Media公司的子公司。今天的美国在线，源自20世纪80年代的一家计算机服务公司Cont
舌舌（舌头）是口腔底的肌肉，帮助咀嚼、吞咽、构音和感受味觉。舌能辨别酸、甜、苦、辣、咸、鲜味，舌表面的大部分粘膜上皮中含味蕾。因为舌是帮助发声的器官之一，在一些语言中，比如在
受格宾格（拉丁语：casus accusativus, 英语：accusative case，缩写： .mw-parser-output .smallcaps-all{font-variant:small-caps;text-transform:lowercase}.mw-parser-output .smallc