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 7 years ago
- Neuro-Symbolic AI Toolkit☆90Updated last year
- Top-down induction of first-order logical decision trees: master AI thesis implementation☆23Updated 4 years ago
- ☆12Updated 2 years ago
- Neuro-Symbolic Reinforcement Learning: Logical Optimal Action (LOA), a novel RL with Logical Neural Network (LNN) on text-based games☆44Updated last year
- An inductive logic programming system☆221Updated 3 weeks ago
- Incremental Learning Event Definitions☆14Updated 9 years ago
- Adaptive Neuro-Symbolic Network Agent☆37Updated 2 years ago
- Python library that enables using prolog syntax and logic programming in python☆122Updated 2 years ago
- A toolbox for logical and probabilistic reasoning, StarAI, ILP and Program synthesis☆23Updated 4 years ago
- RuDaS: Synthetic Datasets for Rule Learning☆19Updated 2 years ago
- Symbolic Reinforcement Learning using Inductive Logic Programming☆62Updated 2 years ago
- DeepProbLog is an extension of ProbLog that integrates Probabilistic Logic Programming with deep learning by introducing the neural predi…☆231Updated 8 months ago
- This repo contains a set of notebooks to reproduce reinforcement learning algorithms.☆15Updated 2 years ago
- A HOL-based framework for reasoning over knowledge graphs☆24Updated 6 months ago
- ☆31Updated last year
- ☆43Updated 2 years ago
- ☆34Updated 4 months ago
- Port of Aleph to SWI-Prolog☆47Updated last year
- Experimentation framework for Popper☆22Updated 11 months ago
- PyTorch implementation of Logic Tensor Networks, a Neural-Symbolic framework.☆108Updated 6 months ago
- Neuro-Symbolic Visual Question Answering on Sort-of-CLEVR using PyTorch☆55Updated 3 years ago
- Scalable Training of Propositional Logical Neural Networks.☆13Updated 3 years ago
- Natural Language (NL) to Linear Temporal Logic (LTL)☆73Updated 7 months ago
- Super fast implementations of common benchmark text world games☆47Updated last month
- Python package for Sentential Decision Diagrams (SDD)☆56Updated 2 months ago
- Deep relational learning through differentiable logic programming.☆104Updated 9 months ago
- A D4M module for Python. D4M was developed in MATLAB by Dr Jeremy Kepner☆24Updated 5 months ago
- Neuro-Symbolic Hierarchical Rule Induction☆12Updated 2 years ago
- A `Neural = Symbolic` framework for sound and complete weighted real-value logic☆257Updated last year