The next talk of our seminar series will be given by Valentin Goranko (Stockholm University) via Teams (please, see details below) on Monday, April 15th, starting from 12:30 CET. Here it is the title and abstract of his talk:
Title: A Logic for Strategic Reasoning of Rational Agents with Normative Constraints
Abstract: I will present a logic-based study of agency and multi-agent systems which brings together rationality and normativity. In particular, I will introduce, discuss, and illustrate with some examples the core version of the Logic for Strategic Reasoning with Normative Constraints SRNC, which is a formal logical system for reasoning about the strategic abilities of rational agents which act within a multi-agent system in pursuit of explicitly specified goals, in the context of individual and collective norms, such as permissions, obligations and prohibitions, which constrain accordingly their behaviour. A typical such normative constraint is of the type:
“The agent a may / must / may not perform an action satisfying a given condition C.”
These constraints naturally generalise to groups (coalitions) of agents.
The core version of the logic SRNC which I will present extends the Coalition Logic CL by conditioning the coalitional strategic operators of CL with such normative constraints, intuitively stated as follows:
“The coalition A has a joint action/strategy satisfying the system of normative constraints N(A) which guarantees achievement of a given goal G against any actions/strategies taken by the agents not in A which satisfy the normative constraints in N(A).”
Anyone who is interested is welcome to join.
