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
☆25Updated 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:
- Incremental Learning Event Definitions☆14Updated 10 years ago
 - DeepProbLog is an extension of ProbLog that integrates Probabilistic Logic Programming with deep learning by introducing the neural predi…☆272Updated last year
 - This is a rule-based logic system that uses forward- and backward-chaining algorithms to do two things: 1.) learn new rules and variable …☆34Updated 7 years ago
 - An inductive logic programming system☆238Updated last month
 - ☆14Updated 2 years ago
 - Metagol - an inductive logic programming system☆205Updated 4 years ago
 - BoostSRL: "Boosting for Statistical Relational Learning." A gradient-boosting based approach for learning different types of SRL models.☆32Updated 2 years ago
 - Deep relational learning through differentiable logic programming.☆111Updated 2 months ago
 - Symbolic Reinforcement Learning using Inductive Logic Programming☆62Updated 2 years ago
 - A `Neural = Symbolic` framework for sound and complete weighted real-value logic☆288Updated 2 weeks ago
 - A Java Stochastic Dynamic Programming Library☆13Updated 2 months ago
 - A toolbox for logical and probabilistic reasoning, StarAI, ILP and Program synthesis☆23Updated 4 years ago
 - A large collection of example and demo Soar agents for a variety of domains and problems.☆26Updated 8 years ago
 - Port of Aleph to SWI-Prolog☆50Updated last year
 - A Sparse Distributed Memory Framework.☆46Updated 6 years ago
 - An explainable inference software supporting annotated, real valued, graph based and temporal logic☆304Updated this week
 - Neuro-Symbolic AI Toolkit☆106Updated last month
 - ☆19Updated 2 years ago
 - Experimentation framework for Popper☆23Updated 3 months ago
 - ☆43Updated 2 years ago
 - Python interface for SWI-Prolog☆49Updated last week
 - The main repository integrating the LaTeX beamer-based slides☆27Updated 6 months ago
 - Python package for Sentential Decision Diagrams (SDD)☆67Updated 8 months ago
 - A lightweight Description Logic reasoner for large-scale biomedical ontologies☆20Updated 2 months ago
 - Neuro-Symbolic Reinforcement Learning: Logical Optimal Action (LOA), a novel RL with Logical Neural Network (LNN) on text-based games☆50Updated last month
 - ☆38Updated 11 months ago
 - Python wrapper around several Prolog engines. Hoping to make symbolic AI a part of standard AI toolkit.☆86Updated 4 years ago
 - Python notebooks for a tutorial on neurosymbolic programming☆78Updated last year
 - Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆68Updated last year
 - Python library that enables using prolog syntax and logic programming in python☆128Updated 2 years ago