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 […]
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. […]
We introduce measures of uncertainty that are based on Depth-Bounded Logics and resemble belief functions. We show that our measures can be seen as approximation of classical probability measures over classical logic, and that a variant of the PSAT problem for them is solvable in polynomial time. Baldi P., D’Agostino M., Hosni H. (2020) “Depth-Bounded Approximations of […]
11 June 2020 – 5pm on Teams In this talk, I will discuss logics for social networks, their epistemic extensions, and dynamics in such structure, including diffusion as modeled by threshold models. I will present a selection of recent models for social networks and their epistemics, with a focus on how these may be represented […]
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 […]