• Stars
    star
    176
  • Rank 212,003 (Top 5 %)
  • Language
    Python
  • License
    Apache License 2.0
  • Created almost 3 years ago
  • Updated 5 months ago

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

DeepProbLog is an extension of ProbLog that integrates Probabilistic Logic Programming with deep learning by introducing the neural predicate.

DeepProbLog

Unit tests

DeepProbLog is an extension of ProbLog that integrates Probabilistic Logic Programming with deep learning by introducing the neural predicate. The neural predicate represents probabilistic facts whose probabilites are parameterized by neural networks. For more information, consult the papers listed below.

Installation

DeepProbLog can easily be installed using the following command: Make sure the following packages are installed:

pip install deepproblog

Test

To make sure your installation works, install pytest

pip install pytest

and run

python -m deepproblog test

Requirements

DeepProbLog has the following requirements:

Approximate Inference

To use Approximate Inference, we have the followign additional requirements

  • PySwip
    • Use pip install git+https://github.com/ML-KULeuven/pyswip
  • SWI-Prolog < 9.0.0 The latter can be installed on Ubuntu with the following commands:
sudo apt-add-repository ppa:swi-prolog/stable
sudo apt install swi-prolog=8.4* swi-prolog-nox=8.4* swi-prolog-x=8.4*

Experiments

The experiments are presented in the papers are available in the src/deepproblog/examples directory.

Papers

  1. Robin Manhaeve, Sebastijan Dumancic, Angelika Kimmig, Thomas Demeester, Luc De Raedt: DeepProbLog: Neural Probabilistic Logic Programming. NeurIPS 2018: 3753-3763 (paper)
  2. Robin Manhaeve, Sebastijan Dumancic, Angelika Kimmig, Thomas Demeester, Luc De Raedt: Neural Probabilistic Logic Programming in DeepProbLog. AIJ (paper)
  3. Robin Manhaeve, Giuseppe Marra, Luc De Raedt: Approximate Inference for Neural Probabilistic Logic Programming. KR 2021

License

Copyright 2023 KU Leuven, DTAI Research Group

Licensed under the Apache License, Version 2.0 (the "License"); you may not use this file except in compliance with the License. You may obtain a copy of the License at http://www.apache.org/licenses/LICENSE-2.0

Unless required by applicable law or agreed to in writing, software distributed under the License is distributed on an "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. See the License for the specific language governing permissions and limitations under the License.

More Repositories

1

socceraction

Convert soccer event stream data to SPADL and value player actions using VAEP or xT
Python
567
star
2

problog

ProbLog is a Probabilistic Logic Programming Language for logic programs with probabilities.
Python
296
star
3

soccer_xg

A Python package for training and analyzing expected goals (xG) models in soccer.
Jupyter Notebook
143
star
4

cobras

Interactive clustering with super-instances
Python
46
star
5

soccermix

SoccerMix is a soft clustering technique based on mixture models that decomposes event stream data into a number of prototypical actions of a specific type, location, and direction.
Jupyter Notebook
36
star
6

SAR-PU

Beyond the Selected Completely At Random Assumption for Learning from Positive and Unlabeled Data
Jupyter Notebook
32
star
7

un-xPass

Measuring soccer player's creativity
Jupyter Notebook
28
star
8

ETSY

Synchronize soccer event and tracking data
Python
27
star
9

deepstochlog

Python
25
star
10

locomotif

LoCoMotif is a time series motif discovery method that discovers variable-length motif sets in multivariate time series using time warping
Jupyter Notebook
14
star
11

LearnSDD

Implementation of the Structure Learning Algorithm for Sentential Decision Diagrams
C
8
star
12

KBC-as-PU-Learning

Source code & appendices accompanying the AAAI2022 paper "Unifying Knowledge Base Completion with PU Learning to Mitigate the Observation Bias"
Jupyter Notebook
8
star
13

ml-project-2023-2024

Template and instructions to submit a solution for the assignment for the KU Leuven course ML Project
Python
8
star
14

incal

Learn SMT(LRA) constraints from data
Python
6
star
15

the_apples_game

Multi-Agent Learning assignment, Machine Learning Project @ KU Leuven
JavaScript
6
star
16

deepseaproblog

The official implementation of DeepSeaProbLog, a neural probabilistic logic programming language supporting discrete and continuous random variables.
Python
4
star
17

catlog

Gradient estimation of discrete probabilistic models with the CatLog-Derivative trick
Jupyter Notebook
4
star
18

ocus-explain

Efficient Explaining CSPs with Unsatisfiable Subset Optimization
Jupyter Notebook
3
star
19

PyDC

Python wrapper for Distributional Clauses
C++
3
star
20

PySDD

Python
3
star
21

tacle

Constraint learning for spreadsheets
Python
3
star
22

JSDD

Java wrapper for the sdd 2.0 c library
Java
3
star
23

HASSLE-GEN

This repository contains the code for our paper: Senne Berden, Mohit Kumar, Samuel Kolb, and Tias Guns (2022): Learning MAX-SAT Models from Examples using Genetic Algorithms and Knowledge Compilation, CP 2022
Python
3
star
24

comparative-evaluation-of-anomaly-detection-methods

Accompanying repository for the ODD workshop paper: "The Effect of Hyperparameter Tuning on the Comparative Evaluation of Anomaly Detection Methods"
Jupyter Notebook
3
star
25

hanoi

Python
2
star
26

RoViLa

Robot platform that uses vision and language as input to reason about the world.
Python
2
star
27

COUNT-CP

COUNT-CP is a constraint learner that uses a generate-and-aggregate approach to learn CP models
Python
2
star
28

ai-course-demos

Links to & implementations of demos for the course "Artificiële Intelligentie" at KU Leuven
CSS
2
star
29

betaproblog

Prolog
1
star
30

ml-project-2021-2022

Template and instructions to submit a solution for the assignment.
Python
1
star
31

py-dreaml

Python package of DreaML for relational mixed discrete-continuous learning and inference
Python
1
star
32

psyche

1
star
33

psipy

Python wrapper for the PSI-Solver (probabilistic symbolic inference)
D
1
star
34

GenLex

Implentation of a Semantic Parser that maps natural/instructional language to a logical expression.
Java
1
star
35

amie

Automatic Monitoring of Indoor Exercises
Jupyter Notebook
1
star
36

xmskill

Jupyter Notebook
1
star