ap-atul / Expert-System
Generic Expert System with a custom Knowledgebase and Clause mappings.
☆15Updated 2 years ago
Alternatives and similar repositories for Expert-System
Users that are interested in Expert-System are comparing it to the libraries listed below
Sorting:
- Using expert system shells for the development of Expert systems. These shells are empty Expert System knowledge bases, which have the st…☆58Updated 4 years ago
- 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
- ☆17Updated 2 years ago
- Demo for Neuro-Symbolic Agent (LOA)☆15Updated 2 years ago
- Film expert system based on logic rules. Created at the Univeristy as the project within Declarative Programming classes in 2015. The pur…☆24Updated 7 years ago
- This is project to communicate between node mcu (ESP) and python through wifi and send data two-ways, without have to wait and perform …☆12Updated 5 years ago
- Modelling of multi-agent-system as Kripke structure and implementation of its knowledge-base with modal logic formulas.☆62Updated 7 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 3 years ago
- RTEC is an Event Calculus implementation optimised for stream reasoning☆89Updated last week
- A HOL-based framework for reasoning over knowledge graphs☆24Updated 7 months ago
- General Inductive Logic Programming System☆17Updated 2 years ago
- deep learning for math☆29Updated 6 years ago
- The Socio-physical Model of Activities (SOMA) is a formal activity model for embodied agents that need to operate their body to generate …☆16Updated 9 months ago
- Port of Aleph to SWI-Prolog☆47Updated last year
- Example PyKE code and Jupyter Notebook for a simple backwards chaining expert system as described in this lecture on YouTube: https://www…☆24Updated 3 years ago
- A Python-based interpreter for the agent-oriented programming language JASON☆50Updated last year
- The new intelligent grounder of the logic-based Artificial Intelligence system DLV☆23Updated last year
- Use the Python turtle to write SVG files☆12Updated last week
- LogiKEy Workbench: Flexible, Pluralistic Foundations for Legal and Ethical Reasoning, Metaphysics and Maths☆17Updated 2 weeks ago
- Intelligent Pacman☆29Updated 7 years ago
- Equilibrium Verification Environment (EVE) is a formal verification tool for the automated analysis of temporal equilibrium properties of…☆19Updated 8 months ago
- Konclude: A parallel, tableau-based, high-performance reasoner for the Description Logic SROIQV(D)/the Web Ontology Language (OWL) 2 DL☆37Updated 3 years ago
- C. Hocquette and A. Cropper, Relational program synthesis with numerical reasoning, AAAI23.☆15Updated 2 years ago
- An expert system using logic-based artificial intelligence and symbolic AI.☆80Updated 2 years ago
- C. Hocquette and A. Cropper, Learning programs with magic values.☆18Updated 2 years ago
- Python interface for SWI-Prolog☆49Updated 3 weeks ago
- A. Cropper and S.H. Muggleton. Learning efficient logic programs. Machine learning, 2019.☆14Updated 7 years ago
- OntoViewer is an open-source project that is hosted by EDM Council. The project started in May 2019. OntoViewer is a JAVA application tha…☆29Updated 5 months ago
- Top-down interpreter for ASP programs with Constraints☆31Updated 5 months ago
- Formalization of Machine Learning Theory with Applications to Program Synthesis☆76Updated last week