Expert System

Backward chaining rule based system in Python. RPN, Tree resolver, Tree representation, logic rule system, prompt.

About

completed
Year2019
Context42 Paris School

A propositional logic expert system implemented in Python. It uses a backward-chaining inference engine to deduce facts based on a set of rules and initial facts. The system parses rules into a tree structure using Reverse Polish Notation (RPN) and resolves queries by traversing the tree. It handles complex logical operations including AND, OR, XOR, and implied rules.

Components

Inference Engine

Backward chaining algorithm implementation.

completed