"Logics of propositional control: a Swiss knife for multi-agent systems"
Speaker: 
Andreas Herzig
Institution: 
IRIT, CNRS & Univ. Paul Sabatier, Toulouse
Date: 
13 October 2010 - 12:00pm

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 gently introduce these logics, and 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.