Logics of propositional control
Résumé
Logics of propositional control are simple extensions of classical propositional logic: every propositional variable has an agent who controls it, in the sense that the agent can arbitrarily set it to either true or false, independently of what the other agents do. The paradigm of propositional control has been used in various contexts in artificial intelligence and in multiagent systems, in particular as a logical basis for decision theory and game theory, where it allows to reason about coalitional power and about transfer of control, alias 'delegation'. I will show that they provide a simple but general and versatile basis for logics of multi-agent systems. I will focus on some applications such as the modelling of norms and of agents' knowledge.