谢尔盖·阿特莫夫 可观测模型。 （英语） Zbl 1485.03035号 Artemov，Sergei（编辑）等人，《计算机科学的逻辑基础》。2020年1月4日至7日，美国佛罗里达州迪尔菲尔德海滩，LFCS 2020国际研讨会。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11972, 12-26 (2020). 概述：克里普克模型的认知解读依赖于对模型常识的隐藏假设，这种假设在认知语境中过于严格，因为主体可能对情况有不同的看法。我们在没有公共知识假设的情况下，探索了可能世界模型的全部通用性。我们的出发点是收集具有可访问性关系的可能世界“无论已知的是什么inuis true inv”。我们称这种结构为可观察模型，因为与普遍的看法相反，它通常不是克里普克模型，而是某些克里普克模式的“可观察部分”。我们概述了可观察模型的理论，并认为它们为认知建模带来了新的概念清晰性。实际上，可观察模型与克里普克模型一样易于管理，并且在表示（非）意识和无知方面优于后者。类似的分析适用于直觉模型。关于整个系列，请参见[Zbl 1428.03004号]. 引用于2文件 MSC公司： 03B42号 知识和信念的逻辑（包括信念变化） 关键词：模态逻辑;认知逻辑;直觉逻辑;克里普克模型 PDF格式BibTeX公司 XML格式引用 \textit{S.Artemov}，莱克特。注释计算。科学。11972，12-26（2020；Zbl 1485.03035） 全文： 内政部