mdkearns / 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: ⓘ
- Knowledge representation and expert systems examples☆52Updated 2 years ago
- Example PyKE code and Jupyter Notebook for a simple backwards chaining expert system as described in this lecture on YouTube: https://www…☆22Updated 3 years ago
- Symbolic Reinforcement Learning using Inductive Logic Programming☆61Updated last year
- Artificial Intelligence: A Modern Approach, Python 3 code☆49Updated 5 years ago
- A Python-based interpreter for the agent-oriented programming language JASON☆48Updated 5 months ago
- An expert system using logic-based artificial intelligence and symbolic AI.☆76Updated last year
- General Inductive Logic Programming System☆17Updated last year
- A Benchmark for Machine Learning from Structured Data☆21Updated 2 years ago
- Write planning task as Python classes, then translate to PDDL. Type checking included.☆43Updated last year
- ☕ A Python library for gradient-boosted statistical relational models / learning probabilistic relational programs.☆31Updated last year
- RTEC is an Event Calculus implementation optimised for stream reasoning☆85Updated last month
- Modelling of multi-agent-system as Kripke structure and implementation of its knowledge-base with modal logic formulas.☆58Updated 6 years ago
- Python library that enables using prolog syntax and logic programming in python☆114Updated last year
- System for eXtended Hybrid Abductive Inductive Learning☆24Updated 3 years ago
- Top-down induction of first-order logical decision trees: master AI thesis implementation☆23Updated 4 years ago
- Soar Agent (and SML code) that learns through situated interactive instruction in a robotic environment☆31Updated last year
- This ontology is a Linked Data Hub for mathematics☆57Updated 7 months ago
- Python library for declarative, constrained, structured-output prediction.☆21Updated 11 months ago
- NLP functionality on top of the Sigma system☆16Updated 2 weeks ago
- 🕰️ A solver for temporal programs.☆22Updated 2 months ago
- The Metacognitive Integrated Dual-Cycle Architecture (MIDCA)☆22Updated last year
- The new intelligent grounder of the logic-based Artificial Intelligence system DLV☆22Updated 9 months ago
- Exploring GPT-3☆31Updated 3 years ago
- A toolbox for logical and probabilistic reasoning, StarAI, ILP and Program synthesis☆23Updated 3 years ago
- Knowledge Acquisition Logic Machine☆16Updated 5 years ago
- A service that parses a sentence using AMR and returns a set of Verbnet logic predicates grounded with the roles of the input sentence.☆12Updated 2 years ago
- Port of Aleph to SWI-Prolog☆43Updated 7 months ago
- Relational data mining in python☆31Updated last year
- Attempto Controlled English (http://attempto.ifi.uzh.ch/) in Grammatical Framework (https://www.grammaticalframework.org/)☆54Updated 3 years ago
- A lazy-grounding Answer-Set Programming system☆58Updated this week