mattkearns / expert-system-shell
This is a rule-based logic system that uses forward- and backward-chaining algorithms to do two things: 1.) learn new rules and variable values based on those previously learned by the system, and 2.) explain its reasoning back to the user.
☆33Updated 6 years ago
Related projects ⓘ
Alternatives and complementary repositories for expert-system-shell
- Artificial Intelligence: A Modern Approach, Python 3 code☆51Updated 5 years ago
- Knowledge representation and expert systems examples☆52Updated 2 years ago
- An expert system using logic-based artificial intelligence and symbolic AI.☆75Updated last year
- Data Science Ontology☆36Updated last month
- A Jupyter Kernel for SWI-Prolog☆25Updated 6 years ago
- ☕ A Python library for gradient-boosted statistical relational models / learning probabilistic relational programs.☆31Updated 2 years ago
- Modelling of multi-agent-system as Kripke structure and implementation of its knowledge-base with modal logic formulas.☆59Updated 7 years ago
- Symbolic Reinforcement Learning using Inductive Logic Programming☆61Updated last year
- Python library that enables using prolog syntax and logic programming in python☆116Updated last year
- This ontology is a Linked Data Hub for mathematics☆57Updated 9 months ago
- Python library for declarative, constrained, structured-output prediction.☆21Updated last year
- A toolbox for logical and probabilistic reasoning, StarAI, ILP and Program synthesis☆23Updated 3 years ago
- Knowledge Acquisition Logic Machine☆17Updated 5 years ago
- LAPKT public repository☆40Updated 2 months ago
- Soar Agent (and SML code) that learns through situated interactive instruction in a robotic environment☆32Updated last year
- ProbLog 2 is now at https://github.com/ML-KULeuven/problog☆10Updated 5 years ago
- A DeepWalk implementation for ontologies using NetworkX and Gensim☆19Updated 7 years ago
- A Python-based interpreter for the agent-oriented programming language JASON☆48Updated 7 months ago
- Tarski - An AI Planning Modeling Framework☆61Updated 8 months ago
- 💊 Qualitative and quantitative optimization in answer set programming☆19Updated 5 months ago
- LIDA Software Framework☆10Updated 9 years ago
- a stateless chat bot to perform natural language queries against the App Store top charts☆29Updated 6 years ago
- System for eXtended Hybrid Abductive Inductive Learning☆24Updated 3 years ago
- Port of Aleph to SWI-Prolog☆44Updated 9 months ago
- Integrated RDF Surfaces inspired by Pat Hayes, Patrick Hochstenbach and EYE.☆13Updated 3 months ago
- RTEC is an Event Calculus implementation optimised for stream reasoning☆86Updated last month
- Logic Programming in Python☆30Updated 3 years ago
- Write planning task as Python classes, then translate to PDDL. Type checking included.☆42Updated last year
- A SWI-Prolog Pack that lets Prolog code seamlessly switch between planners☆16Updated 2 years ago