Knowledge and control
Knowledge and control
复制标题
DOI：
--
复制
发表时间：
2011-05
期刊：
影响因子：
--
通讯作者：
W. Hoek;N. Troquard;M. Wooldridge
中科院分区：
文献类型：
--
作者：
W. Hoek;N. Troquard;M. Wooldridge
命题控制的逻辑，如货车德胡克和伍尔德里奇的CL-PC [14]，是为了表示和推理系统中的每个主体能够对某些系统变量集进行唯一控制的场景而引入的。我们在本文中的目的是扩展命题控制逻辑的研究，在这些代理人有不完整的信息，他们所占据的社会设置。我们考虑两个可能的来源不完整的信息。首先，我们考虑的可能性，一个代理只能“读取”的一个子集的整体系统变量，因此在任何给定的系统状态，将有部分信息的状态的系统。其次，我们考虑的可能性，代理人有不完整的信息，代理人控制哪些变量。对于这两种情况下，我们介绍了一个逻辑结合认知模态与运营商的CL-PC，调查其公理化，并讨论其性质。
Logics of propositional control, such as van der Hoek and Wooldridge's CL-PC [14], were introduced in order to represent and reason about scenarios in which each agent within a system is able to exercise unique control over some set of system variables. Our aim in the present paper is to extend the study of logics of propositional control to settings in which these agents have incomplete information about the society they occupy. We consider two possible sources of incomplete information. First, we consider the possibility that an agent is only able to "read" a subset of the overall system variables, and so in any given system state, will have partial information about the state of the system. Second, we consider the possibility that an agent has incomplete information about which agent controls which variables. For both cases, we introduce a logic combining epistemic modalities with the operators of CL-PC, investigate its axiomatization, and discuss its properties.