Logic Group at ISIPTA 2021

We are happy to announce that our three papers P. Baldi and H. Hosni, Logical Approximations of Qualitative Probability. A. Termine, A. Antonucci, A. Facchini and G. Primiero, Robust Model Checking with Imprecise Markov Reward Models. E. A. Corsi, T. Flaminio and H. HosniWhen Belief Functions and Lower Probabilities are Indistinguishable. are now available online […]

Assessing the Quality of Online Reviews Using Formal Argumentation Theory

Review scores collect users’ opinions in a simple and intuitive manner. However, review scores are also easily manipulable, hence they are often accompanied by explanations. A substantial amount of research has been devoted to ascertaining the quality of reviews, to identify the most useful and authentic scores through explanation analysis. In this paper, we advance […]

New papers in the latest issue of JALs

The Journal of Applied Logic’s latest issue features two new papers by some of our group members. You can easily access them at this link. M. D’Agostino, C. Larese and S. Modgil – Towards Depth-bounded Natural Deduction for Classical First-order Logic Abstract: In this paper we lay the foundations of a new proof-theory for classical […]

A Multi-Agent Depth Bounded Boolean Logic

Recent developments in the formalization of reasoning, especially in computational settings, have aimed at defining cognitive and resource bounds to express limited inferential abilities. This feature is emphasized by Depth Bounded Boolean Logics, an informational logic that models epistemic agents with inferential abilities bounded by the amount of information they can use. However, such logics […]

Effects of misinformation diffusion during a pandemic

The role of misinformation diffusion during a pandemic is crucial. An aspect that requires particular attention in the analysis of misinfodemics is the rationale of the source of false information, in particular how the behavior of agents spreading misinformation through traditional communication outlets and social networks can influence the diffusion of the disease. We studied […]

Boolean algebras of conditionals, probability and logic

This paper presents an investigation on the structure of conditional events and on the probability measures which arise naturally in this context. In particular we introduce a construction which defines a (finite) Boolean algebra of conditionals from any (finite) Boolean algebra of events. By doing so we distinguish the properties of conditional events which depend […]

A Logic of Negative Trust

We present a logic to model the behaviour of an agent trusting or not trusting messages sent by another agent. The logic formalizes trust as a consistency checking function with respect to currently available information. Negative trust is modeled in two forms: distrust as the rejection of incoming inconsistent information; mistrust, as revision of previously […]

A Fully Rational Account of Structured Argumentation Under Resource Bounds

ASPIC+ is an established general framework for argumentation and non-monotonic reasoning. However ASPIC+ does not satisfy the non-contamination rationality postulates, and moreover, tacitly assumes unbounded resources when demonstrating satisfaction of the consistency postulates. In this paper we present a new version of ASPIC+ – Dialectical ASPIC+ – that is fully rational under resource bounds. M. […]

Depth-bounded Belief Functions

This paper introduces and investigates Depth-bounded Belief functions, a logic-based representation of quantified uncertainty. Depth-bounded Belief functions are based on the framework of Depth-bounded Boolean logics, which provide a hierarchy of approximations to classical logic. Similarly, Depth-bounded Belief functions give rise to a hierarchy of increasingly tighter lower and upper bounds over classical measures of […]