Artificial Intelligence
Knowlege in action: logical foundations for specifying and implementing dynamical systems
Knowlege in action: logical foundations for specifying and implementing dynamical systems
Dynamic Logic
Classificatory Aspects of Counts-as
Journal of Logic and Computation
On the logic of normative systems
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
On the logic of cooperation and propositional control
Artificial Intelligence
Journal of Logic and Computation
Reasoning about the transfer of control
Journal of Artificial Intelligence Research
A dynamic logic of institutional actions
CLIMA'11 Proceedings of the 12th international conference on Computational logic in multi-agent systems
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 propose a logical framework to represent and reason about agent interactions in normative systems. Our starting point is a dynamic logic of propositional assignments whose satisfiability problem is PSPACE-complete. We show that it embeds Coalition Logic of Propositional Control CL-PC and that various notions of ability and capability can be captured in it. We illustrate it on a water resource management case study. Finally, we show how the logic can be easily extended in order to represent constitutive rules which are also an essential component of the modelling of social reality.