English

Probabilistic Abduction in a Fuzzy Logic Framework

Logic in Computer Science 2026-04-27 v1

Abstract

We study the problem of explaining observations about the probabilities of events, such as "it rains 20%20\% of the time", "rain and snow are equally likely", etc. We explain these statements with a probability distribution or a statement about probabilities of (other) events that are consistent with our knowledge and entail the observation. We formalise this problem in a fuzzy probabilistic logic FP\mathsf{FP}. We define and motivate the notions of abduction problems and their solutions. Our main technical contribution is a comprehensive study of the complexity of solution recognition and existence for a given abduction problem in FP\mathsf{FP} for the case of full language and its disjunctive-clause fragments. We also obtain a translation of classical probabilistic abduction (finding the most likely explanation of a given event) to FP\mathsf{FP}.

Keywords

Cite

@article{arxiv.2604.22064,
  title  = {Probabilistic Abduction in a Fuzzy Logic Framework},
  author = {Tommaso Flaminio and Katsumi Inoue and Daniil Kozhemiachenko},
  journal= {arXiv preprint arXiv:2604.22064},
  year   = {2026}
}
R2 v1 2026-07-01T12:33:06.088Z