LOMay 6, 2022
A Logic-based Tractable Approximation of ProbabilityPaolo Baldi, Hykel Hosni
We provide a logical framework in which a resource-bounded agent can be seen to perform approximations of probabilistic reasoning. Our main results read as follows. First we identify the conditions under which propositional probability functions can be approximated by a hierarchy of depth-bounded Belief functions. Second we show that under rather palatable restrictions, our approximations of probability lead to uncertain reasoning which, under the usual assumptions in the field, qualifies as tractable.
AIJun 22, 2025
Weighted Assumption Based Argumentation to reason about ethical principles and actionsPaolo Baldi, Fabio Aurelio D'Asaro, Abeer Dyoub et al.
We augment Assumption Based Argumentation (ABA for short) with weighted argumentation. In a nutshell, we assign weights to arguments and then derive the weight of attacks between ABA arguments. We illustrate our proposal through running examples in the field of ethical reasoning, and present an implementation based on Answer Set Programming.