https://github.com/opencog/ure

[NO LONGER MAINTAINED, SUPERSEDED BY https://github.com/trueagi-io/chaining]. Unified Rule Engine. Graph rewriting system for the AtomSpace. Used as reasoning engine for OpenCog.

backward-chaining backward-induction chainer forward-chaining graph-rewriting inference inference-engine inference-rules rule-engine rules-engine

Last synced: 05 Apr 2025

https://github.com/ryukinix/lisp-inference

An Inference Engine based on Propositional Calculus written in Common Lisp

common-lisp inference-engine inference-rules lisp-inference propositional-calculus propositional-logic truth-table

Last synced: 09 Apr 2025

https://github.com/allofphysicsgraph/proofofconcept

Physics Derivation Graph: mathematical connections among equations

derivation graph graphviz html inference-rules latex physics physics-derivation-graph python

Last synced: 10 Apr 2025

https://github.com/jishnutu/d-m-intelligence-s

Disaster Management Intelligence system

ai clips django django-application django-project expert-system inference-engine inference-rules intelligence pyclips python sqlite3

Last synced: 05 Dec 2024

https://github.com/stardog-union/stardog-blog

graph-database inference inference-rules knowledge-graph ontology owl sparql stardog

Last synced: 01 Apr 2025

https://github.com/kitsunesemcalda/brain-va

A chatbot generator with prolog base code

automation chatbot inference-rules inteligencia-artificial prolog prolog-programming-language search smart

Last synced: 03 Apr 2025

https://github.com/leynier/inferfuzzy

Inferfuzzy es un biblioteca de Python para implementar Sistemas de Inferencia Difusa

cuba fuzzy-logic fuzzy-matching inference-engine inference-rules matcom matcom-uh python python-3 python3 typer

Last synced: 12 May 2025

https://github.com/ilvondir/lem2

Implementation of LEM2 inference rule algorithm created with Python.

inference-rules lem2 rough-sets

Last synced: 12 Apr 2025

https://github.com/tidianekhan/knowledge_and_data

Projects accomplished during university course "Knowledge and Data" for the Bachelors of Science in Artificial Intelligence from VU Amsterdam

graphdb inference-rules knowledge-graph owl owl-ontology propositional-logic rdf sparql sparql-endpoints sparql-query yasgui

Last synced: 22 Mar 2025