Rafael Peñaloza, University of Milano-Bicocca
12 July 2019, 10:30-11:30
Lean Kernels: A Bridge Between Justifications and Provenance
A justification is a minimal set of constraints (or axioms) responsible for a consequence to follow from a knowledge base. Since the time required to find justifications depends on the size of the knowledge base, recent research has focused on trying to approximate the set of “relevant” axioms; that is, the union of all justifications. One such approximation is the lean kernel, which corresponds to the axioms that appear in at least one proof of the consequence. In this talk we will explore the notion of lean kernel, its properties, and its relation to the computation of provenance over knowledge bases.
Bio: Rafael Peñaloza is an Associate Professor at the University of Milano-Bicocca, Italy. He received his PhD from TU Dresden, Germany, where he remained as a post-doctoral researcher before moving briefly to the Free University of Bozen-Bolzano, Italy. His main research interests are on non-standard knowledge representation formalisms–mainly fuzzy and probabilistic logics–and reasoning services such as explanations and repairs.