Logics of propositional control - Archive ouverte HAL
Communication Dans Un Congrès Année : 2011

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.
Fichier non déposé

Dates et versions

hal-03470297 , version 1 (08-12-2021)

Identifiants

  • HAL Id : hal-03470297 , version 1

Citer

Andreas Herzig. Logics of propositional control. 1st Workshop on Dynamics in Logic (2011), Vrije Universiteit Brussels (V.U.B), May 2011, Brussels, Belgium. ⟨hal-03470297⟩
28 Consultations
0 Téléchargements

Partager

More