Talk by Valentin Goranko

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).”

Teams Link

Anyone who is interested is welcome to join.

Leave a Reply