MV-Datalog+/-: Effective Rule-based Reasoning with Uncertain Observations (Extended Abstract)

MV-Datalog+/-: Effective Rule-based Reasoning with Uncertain Observations (Extended Abstract)

Matthias Lanzinger, Stefano Sferrazza, Georg Gottlob

Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence
Sister Conferences Best Papers. Pages 6447-6451. https://doi.org/10.24963/ijcai.2023/718

Modern data processing applications often combine information from a variety of complex sources. Oftentimes, some of these sources, like Machine-Learning systems or crowd-sourced data, are not strictly binary but associated with some degree of confidence in the observation. Ideally, reasoning over such data should take this additional information into account as much as possible. To this end, we propose extensions of Datalog and Datalog+/- to the semantics of Lukasiewicz logic Ł, one of the most common fuzzy logics. We show that such an extension preserves important properties from the classical case and how these properties can lead to efficient reasoning procedures for these new languages.
Keywords:
Sister Conferences Best Papers: Knowledge Representation and Reasoning
Sister Conferences Best Papers: Uncertainty in AI