标准多智能体信念和知识的参数构造Kripke语义（知识作为无偏信念）
Parametric Constructive Kripke-Semantics for Standard Multi-Agent Belief and Knowledge (Knowledge As Unbiased Belief)
摘要：
我们提出了参数建设性Kripke语义多代理KD 45-信念和S5-知识的基本集合论的两个基本功能的构建块，即偏见（或观点）和可见性，也作为参数的doxastic和认识的可访问性关系的建设。当将具有可见性的偏差组合应用于第一世界等于将可见性应用于第二世界时，doxastic可及性将两个可能的世界联系起来。认识的可及性是我们的教义的可及性和它的逆的联盟的传递闭包。由此，可以以标准的方式构造公共和分布式信念和知识的可访问性关系。因此，我们得到了一个关于信念的知识的一般定义，它使我们能够将S5-知识分别视为准确的（无偏的，因此是真的）KD 45-信念，否定完全信念和知识，作为精确的KD 45-信念和S5-知识，以及完美的S5-知识作为精确的（精确的和准确的）KD 45-信念，所有这一切都适用于偏差和可见性的任意函数。我们的结果可以被看作是对Halpern等人关于知识的（非）可定义性和（非）还原性的基本结果的语义补充。
英文摘要：
We propose parametric constructive Kripke-semantics for multi-agent KD45-belief and S5-knowledge in terms of elementary set-theoretic constructions of two basic functional building blocks, namely bias (or viewpoint) and visibility, functioning also as the parameters of the doxastic and epistemic accessibility relation. The doxastic accessibility relates two possible worlds whenever the application of the composition of bias with visibility to the first world is equal to the application of visibility to the second world. The epistemic accessibility is the transitive closure of the union of our doxastic accessibility and its converse. Therefrom, accessibility relations for common and distributed belief and knowledge can be constructed in a standard way. As a result, we obtain a general definition of knowledge in terms of belief that enables us to view S5-knowledge as accurate (unbiased and thus true) KD45-belief, negation-complete belief and knowledge as exact KD45-belief and S5-knowledge, respectively, and perfect S5-knowledge as precise (exact and accurate) KD45-belief, and all this generically for arbitrary functions of bias and visibility. Our results can be seen as a semantic complement to previous foundational results by Halpern et al. about the (un)definability and (non-)reducibility of knowledge in terms of and to belief, respectively.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
