no code implementations • 31 Jul 2023 • Timothy Parker, Umberto Grandi, Emiliano Lorini
This can be used in a multi-agent planning setting to allow agents to anticipate responsibility in the plans they consider.
no code implementations • 27 Jul 2023 • Tiago de Lima, Emiliano Lorini, François Schwarzentruber
We present a novel semantics for the language of multi-agent only believing exploiting belief bases, and show how to use it for automatically checking formulas of this language and of its dynamic extension with private belief expansion operators.
no code implementations • 20 Oct 2022 • Xinghan Liu, Emiliano Lorini, Antonino Rotolo, Giovanni Sartor
In this paper we combine the modal logic approach (binary-input classifier, BLC) to classifiers and their explanations given by Liu & Lorini (2021) with Horty's account of factor-based CBR, since both a classifier and CBR map sets of features to decisions or classifications.
no code implementations • 1 Jun 2022 • Umberto Grandi, Emiliano Lorini, Timothy Parker, Rachid Alami
In this paper we propose a framework for ethical decision making in the context of planning, with intended application to robotics.
no code implementations • 30 May 2021 • Xinghan Liu, Emiliano Lorini
Finally, we present two extensions of our language: a dynamic extension by the notion of assignment enabling classifier change and an epistemic extension in which the classifier's uncertainty about the actual input can be represented.
no code implementations • 16 Feb 2021 • Emiliano Lorini
We present a general logical framework for reasoning about agents' cognitive attitudes of both epistemic type and motivational type.
no code implementations • 23 Mar 2020 • Roberta Calegari, Andrea Loreggia, Emiliano Lorini, Francesca Rossi, Giovanni Sartor
In a ceteris-paribus semantics for deontic logic, a state of affairs where a larger set of prescriptions is respected is preferable to a state of affairs where some of them are violated.
no code implementations • 22 Jul 2019 • Emiliano Lorini
We introduce a semantics for epistemic logic exploiting a belief base abstraction.
no code implementations • 17 Dec 2018 • Emiliano Lorini
We introduce a new semantics for a logic of explicit and implicit beliefs based on the concept of multi-agent belief base.
no code implementations • 27 Jul 2017 • Francesco Belardinelli, Umberto Grandi, Andreas Herzig, Dominique Longin, Emiliano Lorini, Arianna Novaro, Laurent Perrussel
We introduce Concurrent Game Structures with Shared Propositional Control (CGS-SPC) and show that they ac- count for several classes of repeated games, including iterated boolean games, influence games, and aggregation games.
no code implementations • 6 Feb 2017 • Philippe Balbiani, David Fernández-Duque, Emiliano Lorini
We present a family of logics for reasoning about agents' positions and motion in the plane which have several potential applications in the area of multi-agent systems (MAS), such as multi-agent planning and robotics.
no code implementations • 5 Feb 2016 • Umberto Grandi, Emiliano Lorini, Laurent Perrussel
We study the strategic aspects of social influence in a society of agents linked by a trust network, introducing a new class of games called games of influence.