Title: Repairing errors in probabilistic databases models using probabilistic abduction reasoning

Authors: Mustapha Bourahla

Addresses: Laboratory of Pure and Applied Mathematics (LMPA), Computer Science Department, University of M'Sila, BP 166 Ichebilia, M'Sila 28000, Algeria

Abstract: This paper presents a technique to diagnose probabilistic counter examples that are generated when model checking probabilistic databases models against probabilistic properties formulating queries on probabilistic databases. In probabilistic model checking (PMC), a counterexample is a set of paths that satisfies a path formula, whose cumulative probability mass violates the probability bound. The diagnosis is to repair errors in probabilistic PRISM programs of probabilistic databases models using the probabilistic abduction reasoning on independent choice logic (ICL) programs describing the generated probabilistic counterexamples.

Keywords: probabilistic databases; probabilistic model checking; PMC; independent choice logic; ICL; probabilistic abduction reasoning.

DOI: 10.1504/IJIIDS.2017.086219

International Journal of Intelligent Information and Database Systems, 2017 Vol.10 No.1/2, pp.145 - 164

Accepted: 16 Mar 2017
Published online: 03 Sep 2017 *

Full-text access for editors Full-text access for subscribers Purchase this article Comment on this article