Reasoning about the transfer of control
From MaRDI portal
Abstract: We present DCL-PC: a logic for reasoning about how the abilities of agents and coalitions of agents are altered by transferring control from one agent to another. The logical foundation of DCL-PC is CL-PC, a logic for reasoning about cooperation in which the abilities of agents and coalitions of agents stem from a distribution of atomic Boolean variables to individual agents -- the choices available to a coalition correspond to assignments to the variables the coalition controls. The basic modal constructs of DCL-PC are of the form coalition C can cooperate to bring about phi. DCL-PC extends CL-PC with dynamic logic modalities in which atomic programs are of the form agent i gives control of variable p to agent j; as usual in dynamic logic, these atomic programs may be combined using sequence, iteration, choice, and test operators to form complex programs. By combining such dynamic transfer programs with cooperation modalities, it becomes possible to reason about how the power of agents and coalitions is affected by the transfer of control. We give two alternative semantics for the logic: a direct semantics, in which we capture the distributions of Boolean variables to agents; and a more conventional Kripke semantics. We prove that these semantics are equivalent, and then present an axiomatization for the logic. We investigate the computational complexity of model checking and satisfiability for DCL-PC, and show that both problems are PSPACE-complete (and hence no worse than the underlying logic CL-PC). Finally, we investigate the characterisation of control in DCL-PC. We distinguish between first-order control -- the ability of an agent or coalition to control some state of affairs through the assignment of values to the variables under the control of the agent or coalition -- and second-order control -- the ability of an agent to exert control over the control that other agents have by transferring variables to other agents. We give a logical characterisation of second-order control.
Recommendations
- On the logic of cooperation and propositional control
- Three traditions in the logic of action: bringing them together
- A dynamic logic of agency. I: STIT, capabilities and powers
- A dynamic logic of agency. II: Deterministic \({\mathcal{DLA}}\), coalition logic, and game theory
- A Computationally Grounded Dynamic Logic of Agency, with an Application to Legal Actions
Cited in
(7)- A modal logic for mixed strategies
- Dynamic coalition logic: granting and revoking dictatorial powers
- On the logic of cooperation and propositional control
- A dynamic logic of institutional actions
- Three traditions in the logic of action: bringing them together
- Relaxing exclusive control in Boolean games
- Model-checking strategic abilities in information-sharing systems
This page was built for publication: Reasoning about the transfer of control
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3563092)
