UrbsLab / PyKE_ExpertSystem_Example_BMIN520
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 3 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
- 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 6 years ago
- Top-down induction of first-order logical decision trees: master AI thesis implementation☆23Updated 4 years ago
- A toolbox for logical and probabilistic reasoning, StarAI, ILP and Program synthesis☆23Updated 3 years ago
- Scalar feature extractor for AI planning problems and domains in PDDL format☆14Updated 4 years ago
- ☆20Updated last year
- ☆37Updated 2 months ago
- BoostSRL: "Boosting for Statistical Relational Learning." A gradient-boosting based approach for learning different types of SRL models.☆32Updated last year
- Python and TensorFlow implementation of the paper "Learning Explanatory Rules from Noisy Data." Evans Richard and Edward Grefenstette. Jo…☆50Updated 3 years ago
- Tarski - An AI Planning Modeling Framework☆64Updated 10 months ago
- ☆12Updated last year
- A `Neural = Symbolic` framework for sound and complete weighted real-value logic☆244Updated last year
- Code repo for "Collapsing Bandits and Their Applications to Public Health Interventions", (NeurIPS'20)☆9Updated 3 years ago
- Neuro-Symbolic Reinforcement Learning: Logical Optimal Action (LOA), a novel RL with Logical Neural Network (LNN) on text-based games☆40Updated last year
- DeepProbLog is an extension of ProbLog that integrates Probabilistic Logic Programming with deep learning by introducing the neural predi…☆207Updated 5 months ago
- Code that translates grammar into PDDL, runs a planner to produce multiple plans, translates plans into trainable lale pipelines and trai…☆17Updated last year
- AI framework for Reinforcement Learning, Automated Planning and Scheduling☆145Updated this week
- Symbolic Reinforcement Learning using Inductive Logic Programming☆61Updated last year
- A lightweight STRIPS planner written in Python.☆102Updated 3 months ago
- Reinforcement Learning with Convex Constraints☆14Updated 2 years ago
- PyTorch Implementation of the paper "A Neuro-vector-symbolic architecture for Solving Raven's Progressive Matrices" published in Nature M…☆85Updated last year
- Prolog is suitable enviroment for writting planners. However there is no way how to work with PDDL files so far. In this library we provi…☆17Updated 3 years ago
- Neuro-Symbolic AI Toolkit☆83Updated last year
- Source Code for 'Deep Reinforcement Learning with Python' by Nimish Sanghi☆47Updated 2 years ago
- Logic Explained Networks is a python repository implementing explainable-by-design deep learning models.☆46Updated last year
- OpenAI Gym environment for graph search problems such as shortest path.☆11Updated 5 years ago
- Python notebooks for a tutorial on neurosymbolic programming☆64Updated 9 months ago
- RlGlue code library used in the RL specialization on Coursera.☆27Updated last year
- Codebase for Neuro-Symbolic Continual Learning.☆20Updated last year
- ☆41Updated last year
- Conditional Theorem Proving☆51Updated 3 years ago