Explainable Fact Checking with Probabilistic Answer Set Programming
Naser Ahmadi, Joohyung Lee, Paolo Papotti, Mohammed Saeed

TL;DR
This paper introduces a fact checking approach that leverages knowledge graphs and probabilistic answer set programming to provide transparent, interpretable explanations for claim verification, outperforming existing methods.
Contribution
It combines semantic knowledge from knowledge graphs with probabilistic logic programming to enhance transparency and accuracy in fact checking.
Findings
Probabilistic inference improves claim labeling accuracy.
The method provides interpretable explanations for fact checking decisions.
Performance exceeds state-of-the-art baselines.
Abstract
One challenge in fact checking is the ability to improve the transparency of the decision. We present a fact checking method that uses reference information in knowledge graphs (KGs) to assess claims and explain its decisions. KGs contain a formal representation of knowledge with semantic descriptions of entities and their relationships. We exploit such rich semantics to produce interpretable explanations for the fact checking output. As information in a KG is inevitably incomplete, we rely on logical rule discovery and on Web text mining to gather the evidence to assess a given claim. Uncertain rules and facts are turned into logical programs and the checking task is modeled as an inference problem in a probabilistic extension of answer set programs. Experiments show that the probabilistic inference enables the efficient labeling of claims with interpretable explanations, and the…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsLogic, Reasoning, and Knowledge · Multi-Agent Systems and Negotiation · Semantic Web and Ontologies
