Patterns and logic for reasoning with networks

  • Authors:
  • Angelika Kimmig;Esther Galbrun;Hannu Toivonen;Luc De Raedt

  • Affiliations:
  • Departement Computerwetenschappen, K.U. Leuven, Heverlee, Belgium;Department of Computer Science and Helsinki Institute for Information Technology HIIT, University of Helsinki, Finland;Department of Computer Science and Helsinki Institute for Information Technology HIIT, University of Helsinki, Finland;Departement Computerwetenschappen, K.U. Leuven, Heverlee, Belgium

  • Venue:
  • Bisociative Knowledge Discovery
  • Year:
  • 2012

Quantified Score

Hi-index 0.00

Visualization

Abstract

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.