Patterns and Logic for Reasoning with Networks

Angelika Kimmig (1) , Esther Galbrun (2) , Hannu Toivonen (2) , Luc de Raedt (1)

1 CS - Department of Computer Science [Leuven]
2 Helsingin yliopisto = Helsingfors universitet = University of Helsinki

Biomine and ProbLog are two frameworks to implement bisociative information networks (BisoNets). They combine structured data representations with probabilities expressing uncertainty. While Biomine is based on graphs, ProbLog’s core language is that of the logic programming language Prolog. This chapter provides an overview of important concepts, terminology, and reasoning tasks addressed in the two systems. It does so in an informal way, focusing on intuition rather than on mathematical definitions. It aims at bridging the gap between network representations and logical ones.

Domaines: Intelligence artificielle [cs.AI]

Angelika Kimmig, Esther Galbrun, Hannu Toivonen, Luc de Raedt. Patterns and Logic for Reasoning with Networks. Bisociative Knowledge Discovery, pp.122-143, 2012, 978-3-642-31829-0. ⟨10.1007/978-3-642-31830-6_9⟩. ⟨hal-01399225⟩