DeepStochlog Package For Python

Last update: Dec 23, 2022

Related tags

Deep Learning deepstochlog

Overview

DeepStochLog

Installation

Installing SWI Prolog

DeepStochLog requires SWI Prolog to run. Run the following commands to install:

sudo apt-add-repository ppa:swi-prolog/stable
sudo apt-get update
sudo apt-get install swi-prolog

Installing DeepStochLog package

To install DeepStochLog itself, run the following command:

pip install deepstochlog

Running the examples

Local dependencies

To see DeepStochLog in action, please first install SWI Prolog (as explained about), as well as the requirements listed in requirements.txt

pip install -r requirements.txt

Datasets

The datasets used in the tasks used to evaluate DeepStochLog can be found in our initial release.

Addition example

To see DeepStochLog in action, navigate to examples/addition and run addition.py.

The neural definite clause grammar specification is provided in addition.pl. The addition(N) predicate specifies/recognises that two handwritten digits N1 and N2 sum to N. The neural probability nn(number, [X], Y, digit) makes the neural network with name number (a MNIST classifier) label input image X with the digit Y.

Credits & Paper citation

If use this work in an academic context, please consider citing the following paper:

The paper is also accepted to AAAI22. Please cite that version of the paper when the proceedings are out.

@article{winters2021deepstochlog,
  title={Deepstochlog: Neural stochastic logic programming},
  author={Winters, Thomas and Marra, Giuseppe and Manhaeve, Robin and De Raedt, Luc},
  journal={arXiv preprint arXiv:2106.12574},
  year={2021}
}

You might also like...

This python-based package offers a way of creating a parametric OpenMC plasma source from plasma parameters.

openmc-plasma-source This python-based package offers a way of creating a parametric OpenMC plasma source from plasma parameters. The OpenMC sources a

10 Oct 18, 2022

A Python Package for Portfolio Optimization using the Critical Line Algorithm

PyCLA A Python Package for Portfolio Optimization using the Critical Line Algorithm Getting started To use PyCLA, clone the repo and install the requi

19 Oct 11, 2022

HeatNet is a python package that provides tools to build, train and evaluate neural networks designed to predict extreme heat wave events globally on daily to subseasonal timescales.

HeatNet HeatNet is a python package that provides tools to build, train and evaluate neural networks designed to predict extreme heat wave events glob

6 Jul 7, 2022

NLMpy - A Python package to create neutral landscape models

NLMpy is a Python package for the creation of neutral landscape models that are widely used by landscape ecologists to model ecological patterns

1 Oct 8, 2022

QuakeLabeler is a Python package to create and manage your seismic training data, processes, and visualization in a single place — so you can focus on building the next big thing.

QuakeLabeler Quake Labeler was born from the need for seismologists and developers who are not AI specialists to easily, quickly, and independently bu

15 Nov 4, 2022

Python package provinding tools for artistic interactive applications using AI

Documentation redrawing Python package provinding tools for artistic interactive applications using AI Created by ReDrawing Campinas team for the Open

1 Sep 30, 2021

The hippynn python package - a modular library for atomistic machine learning with pytorch.

The hippynn python package - a modular library for atomistic machine learning with pytorch. We aim to provide a powerful library for the training of a

37 Dec 29, 2022

Python package for covariance matrices manipulation and Biosignal classification with application in Brain Computer interface

pyRiemann pyRiemann is a python package for covariance matrices manipulation and classification through Riemannian geometry. The primary target is cla

447 Jan 5, 2023

A Python package to process & model ChEMBL data.

insilico: A Python package to process & model ChEMBL data. ChEMBL is a manually curated chemical database of bioactive molecules with drug-like proper

0 Dec 9, 2021

Releases(0.0.1)

0.0.1(Dec 6, 2021)
This is the DeepStochLog release from the AAAI22 publication called "DeepStochLog: Neural Stochastic Logic Programming".

We've also added several of the datasets used in this paper in this release:

The datasets used for the brackets and anbncn tasks can be found in the attached binary brackets-anbncn-datasets-deepstochlog.

wap.zip includes the Word Algebra Problem originating from https://github.com/uclnlp/d4/tree/master/data/wap

hwf.zip includes the full Handwritten Mathematical Expressions dataset from https://arxiv.org/abs/2006.06649

The addition dataset can be created from the default MNIST dataset using the addition_data.py script

Source code(tar.gz)
Source code(zip)
brackets-anbncn-datasets-deepstochlog.zip(625.57 KB)
hwf.zip(185.27 MB)
wap.zip(48.60 KB)

DeepStochlog Package For Python

Related tags

Overview

DeepStochLog

Installation

Installing SWI Prolog

Installing DeepStochLog package

Running the examples

Local dependencies

Datasets

Addition example

Credits & Paper citation

You might also like...

This python-based package offers a way of creating a parametric OpenMC plasma source from plasma parameters.

A Python Package for Portfolio Optimization using the Critical Line Algorithm

HeatNet is a python package that provides tools to build, train and evaluate neural networks designed to predict extreme heat wave events globally on daily to subseasonal timescales.

NLMpy - A Python package to create neutral landscape models

QuakeLabeler is a Python package to create and manage your seismic training data, processes, and visualization in a single place — so you can focus on building the next big thing.

Python package provinding tools for artistic interactive applications using AI

The hippynn python package - a modular library for atomistic machine learning with pytorch.

Python package for covariance matrices manipulation and Biosignal classification with application in Brain Computer interface

A Python package to process & model ChEMBL data.

Releases(0.0.1)

0.0.1(Dec 6, 2021)

Owner

KU Leuven Machine Learning Research Group

Code for the paper "Asymptotics of ℓ2 Regularized Network Embeddings"

WSDM2022 "A Simple but Effective Bidirectional Extraction Framework for Relational Triple Extraction"

RefineGNN - Iterative refinement graph neural network for antibody sequence-structure co-design (RefineGNN)

Official PyTorch implementation of N-ImageNet: Towards Robust, Fine-Grained Object Recognition with Event Cameras (ICCV 2021)

68 keypoint annotations for COFW test data

Framework for evaluating ANNS algorithms on billion scale datasets.

Experimental solutions to selected exercises from the book [Advances in Financial Machine Learning by Marcos Lopez De Prado]

A Python package for time series augmentation

ShuttleNet: Position-aware Fusion of Rally Progress and Player Styles for Stroke Forecasting in Badminton (AAAI 2022)

Code for "Universal inference meets random projections: a scalable test for log-concavity"

My solutions for Stanford University course CS224W: Machine Learning with Graphs Fall 2021 colabs (GNN, GAT, GraphSAGE, GCN)

ALL Snow Removed: Single Image Desnowing Algorithm Using Hierarchical Dual-tree Complex Wavelet Representation and Contradict Channel Loss (HDCWNet)

PyTorch Personal Trainer: My framework for deep learning experiments

[AAAI22] Reliable Propagation-Correction Modulation for Video Object Segmentation

This tutorial repository is to introduce the functionality of KGTK to first-time users

This script runs neural style transfer against the provided content image.

PyBullet CartPole and Quadrotor environments—with CasADi symbolic a priori dynamics—for learning-based control and reinforcement learning

Code to replicate the key results from Exploring the Limits of Out-of-Distribution Detection

Faster Convex Lipschitz Regression

[arXiv'22] Panoptic NeRF: 3D-to-2D Label Transfer for Panoptic Urban Scene Segmentation