Towards a Logic of Agency and Actions with Duration

Abstract. As far as we know, there is no multi-agent system allowing to talk both about choices of agents or groups of agents, strategies, and about sufficiently rich actions. This paper aims at offering a path towards a new more expressive logical framework by mixing a STIT-like logic of agency with a PDL-like logic of action. We present the syntax and ontological motivations, and we highlight the expressivity of the resulting framework on an example.

• Type: Conference
• Year: 2006
• Where: ECAI
• Authors: Nicolas Troquard, Laure Vieu
• Keywords: Artificial Intelligence, ECAI 2006, Expressive Logical Framework, Rich Actions, STIT-like Logic