Recording: Watch on YouTube
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.