Unified Rule Engine. Graph rewriting system for the AtomSpace. Used as reasoning engine for OpenCog.

An Inference Engine based on Propositional Calculus written in Common Lisp

Physics Derivation Graph: mathematical connections among equations

Minesweeper game powered with an AI assistant to help you dodge all those dangerous mines!

Network diagnostics using rule based inference engine NRules.

linguistic fuzzy logic algorithms: mining for linguistic fuzzy association rules, composition of fuzzy relations, performing perception-based logical deduction (PbLD), and forecasting time-series using fuzzy rule-based ensemble (FRBE)

This is an open source project for building Rule/Policy Inference Engine written in Java

Disaster Management Intelligence system

This is an open source project for building Rule/Policy Inference Engine written in C#

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

Logical problem solved by an inference engine in NodeJS. The character has to escape the forest by taking the portal and avoiding dangers (monsters & rifts). The game is infinite, as the portal will only teleport him to an even bigger forest ! Once dead, the game restart again.

This is an open source project for building Rule/Policy Inference Engine written in C/C++

Prove or disprove the given query based on the knowledge base

Implementation of LEM2 algorithm.

Solve triangle problem project using simple inference system.

Statistical Inference with the GSS Data

A kernel using inference rules in order to compute the three of proves.

AI to play Minesweeper. Minesweeper is a puzzle game that consists of a grid of cells, where some of the cells contain hidden “mines.” Clicking on a cell that contains a mine detonates the mine, and causes the user to lose the game. Clicking on a “safe” cell reveals a number that indicates how many neighboring cells contain a mine.

Final for CPS 367 - Artificial Intelligence