Probabilistic inductive querying using ProbLog

De Raedt, Luc; Kimmig, Angelika; Gutmann, Bernd; Kersting, Kristian; Santos Costa, Vitor; Toivonen, Hannu; Dzeroski, Saso; Goethals, Bart; Panov, Pance

doi:10.1007/978-1-4419-7738-0_10

Author:

De Raedt, Luc

Kimmig, Angelika ; Gutmann, Bernd ; Kersting, Kristian ; Santos Costa, Vitor ; Toivonen, Hannu ; Dzeroski, Saso ; Goethals, Bart ; Panov, Pance

Keywords:

Science & Technology, Technology, Computer Science, Artificial Intelligence, Computer Science, Information Systems, Computer Science, Theory & Methods, Computer Science, LOGIC PROGRAMS, ABDUCTION

Abstract:

We study how probabilistic reasoning and inductive querying can be combined within ProbLog, a recent probabilistic extension of Prolog. ProbLog can be regarded as a database system that supports both probabilistic and inductive reasoning through a variety of querying mechanisms. After a short introduction to ProbLog, we provide a survey of the different types of inductive queries that ProbLog supports, and show how it can be applied to the mining of large biological networks.