Journal of Symbolic Logic
Modal logic
Group delegation and responsibility
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 1
Dynamic Logic
Alternating-time temporal logic
Journal of the ACM (JACM)
Delegation logic: A logic-based approach to distributed authorization
ACM Transactions on Information and System Security (TISSEC)
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
On the dynamics of delegation, cooperation, and control: a logical account
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Logics of propositional control
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Fundamenta Informaticae - Multiagent Systems (FAMAS'03)
Institutions with a hierarchy of authorities in distributed dynamic environments
Artificial Intelligence and Law
On the logic of cooperation and propositional control
Artificial Intelligence
Relationships between nondeterministic and deterministic tape complexities
Journal of Computer and System Sciences
Delegation of power in normative multiagent systems
DEON'06 Proceedings of the 8th international conference on Deontic Logic and Artificial Normative Systems
Dynamics in delegation and revocation schemes: a logical approach
DBSec'11 Proceedings of the 25th annual IFIP WG 11.3 conference on Data and applications security and privacy
The 10th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
A dynamic logic of institutional actions
CLIMA'11 Proceedings of the 12th international conference on Computational logic in multi-agent systems
DALT'11 Proceedings of the 9th international conference on Declarative Agent Languages and Technologies
A dynamic logic of normative systems
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume One
A logic of revelation and concealment
Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
A computationally grounded dynamic logic of agency, with an application to legal actions
DEON'12 Proceedings of the 11th international conference on Deontic Logic in Computer Science
Dynamic Logic of Propositional Assignments: A Well-Behaved Variant of PDL
LICS '13 Proceedings of the 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science
Hi-index | 0.00 |
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 CL-PC are of the form 'coalition C can cooperate to bring about ϕ'. 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.