UrbsLab / PyKE_ExpertSystem_Example_BMIN520Links
Example PyKE code and Jupyter Notebook for a simple backwards chaining expert system as described in this lecture on YouTube: https://www.youtube.com/watch?v=mzsk5_EmZq8
☆24Updated 4 years ago
Alternatives and similar repositories for PyKE_ExpertSystem_Example_BMIN520
Users that are interested in PyKE_ExpertSystem_Example_BMIN520 are comparing it to the libraries listed below
Sorting:
- This is a rule-based logic system that uses forward- and backward-chaining algorithms to do two things: 1.) learn new rules and variable …☆33Updated 7 years ago
- A toolbox for logical and probabilistic reasoning, StarAI, ILP and Program synthesis☆23Updated 4 years ago
- Python library that enables using prolog syntax and logic programming in python☆125Updated 2 years ago
- Symbolic Reinforcement Learning using Inductive Logic Programming☆62Updated 2 years ago
- Python package for Sentential Decision Diagrams (SDD)☆62Updated 4 months ago
- This repo contains a set of notebooks to reproduce reinforcement learning algorithms.☆15Updated 2 years ago
- Demo for Neuro-Symbolic Agent (LOA)☆15Updated 2 years ago
- ☆14Updated last year
- Port of Aleph to SWI-Prolog☆48Updated last year
- Neuro-Symbolic Reinforcement Learning: Logical Optimal Action (LOA), a novel RL with Logical Neural Network (LNN) on text-based games☆46Updated last month
- RuDaS: Synthetic Datasets for Rule Learning☆19Updated 3 years ago
- Lernd is ∂ILP (dILP) framework implementation based on Deepmind's paper Learning Explanatory Rules from Noisy Data.☆25Updated 2 years ago
- DeepProbLog is an extension of ProbLog that integrates Probabilistic Logic Programming with deep learning by introducing the neural predi…☆240Updated 10 months ago
- General-purpose program synthesiser☆45Updated 8 months ago
- Neuro-Symbolic Hierarchical Rule Induction☆14Updated 2 years ago
- BoostSRL: "Boosting for Statistical Relational Learning." A gradient-boosting based approach for learning different types of SRL models.☆32Updated last year
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆64Updated 11 months ago
- 💊 Qualitative and quantitative optimization in answer set programming☆20Updated last year
- Neuro-Symbolic AI Toolkit☆92Updated last year
- A neurosymbolic T5 agent for playing text games, from the EACL 2023 paper "Behavior Cloned Transformers are Neurosymbolic Reasoners"☆19Updated 2 years ago
- Monte Carlo Tree Search (MCTS) is a method for finding optimal decisions in a given domain by taking random samples in the decision space…☆69Updated last year
- Deep relational learning through differentiable logic programming.☆105Updated 11 months ago
- A collection of PDDL generators, some of which have been used to generate benchmarks for the International Planning Competition (IPC).☆113Updated last month
- Incremental Learning Event Definitions☆14Updated 9 years ago
- Retro Games in Gym☆54Updated 2 years ago
- Library for running a Monte Carlo tree search, either traditionally or with expert policies☆126Updated last year
- Tarski - An AI Planning Modeling Framework☆67Updated last year
- ☆37Updated 7 months ago
- Neuro-Symbolic Visual Question Answering on Sort-of-CLEVR using PyTorch☆56Updated 3 years ago
- Codebase for plCoP, a Prolog Technology Reinforcement Learning Prover☆12Updated 4 years ago