Representing an epistemic situation involving several agents obviously de-pends on the modeling point of view one takes. We start by identifying the types of mod-eling points of view which are logically possible. We call the one traditionally followedby epistemic logic the perfect external approach, because there the modeler is assumedto be an omniscient and external observer of the epistemic situation. In the rest of thepaper we focus on what we call the internal approach, where the modeler is one of theagents involved in the situation. For this approach we propose and axiomatize a logicalformalism based on epistemic logic. This leads us to formalize some intuitions about theinternal approach and about its connections with the external ones. Finally, we show thatour internal logic is decidable and PSPACE-complete.
展开▼
机译:转换术语± Sup> [n i Sub>] f(+/-) min sup>的条件最小化结构的逻辑动态过程的方法Sub> AND ± Sup> [m i Sub>] f(+/-) min Sub>在功能添加结构中± Sup> f < Sub> 1 Sub>(Σ RU Sub>) min Sub>,不带纹波f 1 Sub>(± Sup>←←)和循环ΔtΣ Sub>→5∙f(&)-和5个条件逻辑函数f(&)-,并通过三元数系统的算术公理同时转换术语参数的过程f RU Sub>(+ 1,0,-1)及其实现其的功能结构(俄罗斯逻辑版本)