论文标题
走向句法认知逻辑
Towards Syntactic Epistemic Logic
论文作者
论文摘要
传统上，认知逻辑代表使用单个模型的认知情景。但是，这仅涵盖完整的描述，这些描述指定所有断言的真实价值。确实，许多甚至大多数 - 认知描述并不完整。句法认知逻辑SEL建议将认知状况视为一组句法条件，而不是模型。这使我们能够自然捕获不完整的描述；我们讨论了我们的建议成功的案例研究。在认知游戏理论中，这缩小了R. Aumann确定的概念和技术差距，在游戏描述的句法特征和游戏的语义表示之间。
Traditionally, Epistemic Logic represents epistemic scenarios using a single model. This, however, covers only complete descriptions that specify truth values of all assertions. Indeed, many -- and perhaps most -- epistemic descriptions are not complete. Syntactic Epistemic Logic, SEL, suggests viewing an epistemic situation as a set of syntactic conditions rather than as a model. This allows us to naturally capture incomplete descriptions; we discuss a case study in which our proposal is successful. In Epistemic Game Theory, this closes the conceptual and technical gap, identified by R. Aumann, between the syntactic character of game-descriptions and semantic representations of games.
