Repairing errors in probabilistic databases models using probabilistic abduction reasoning. (2017)

• Record Type: Journal Article
• Authors: Bourahla, Mustapha
• Is Part Of: International journal of intelligent information and database systems. Volume 10:Number 1/2(2017)
• Page Start: 145
• Page End: 164
• Publication Date: 2017
• Subjects: probabilistic databases -- probabilistic model checking -- PMC -- independent choice logic -- ICL -- probabilistic abduction reasoning; Database management -- Computer programs -- Periodicals; Information retrieval -- Computer programs -- Periodicals; Information storage and retrieval systems -- Computer programs -- Periodicals; Artificial intelligence -- Periodicals; Expert systems (Computer science) -- Periodicals; Intelligent agents (Computer software) -- Periodicals; 006.33
• Languages: English
• ISSNs: 1751-5858

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.