Emiliano Lorini

A Path in the Jungle of Logics for Multi-agent System: On the Relation between General Game-playing Logics and Seeing-to-it-that Logics

2017 · Adaptive Agents and Multi-Agents Systems

In the recent years, several concurrent logical systems for reasoning about agency and social interaction and for representing game properties have been proposed. The aim of the present paper is to put some order in …

Reasoning about conditions in STIT logic

2018 · HAL (Le Centre pour la Communication Scientifique Directe)

In this paper we propose a logical formalization of the legal concepts of suspensive and resolutive conditions within the STIT approach to action. At the technical level, our proposal consists in extending the STIT language …

Counterfactual Reasoning via Grounded Distance

2023

Conditional logics are usually interpreted in terms of closest world and minimal change. It relies on a measure of distance between worlds which is defined abstractly, i.e. as an element of the model. The typical …

A Computationally Grounded Framework for Cognitive Attitudes (extended version)

2024 · arXiv (Cornell University)

We introduce a novel language for reasoning about agents' cognitive attitudes of both epistemic and motivational type. We interpret it by means of a computationally grounded semantics using belief bases. Our language includes five types …

A Simple Integration of Epistemic Logic and Reinforcement Learning

2025

We propose an integration of epistemic logic with reinforcement learning via a semantics that uses the concept of belief bases. In our framework, an agent's subjective state is identified with their belief base, which captures …