Skip to content

Latest commit

 

History

History
27 lines (16 loc) · 684 Bytes

README.md

File metadata and controls

27 lines (16 loc) · 684 Bytes
Raw

Belief revision agent

Belief revision agent

Getting started

  1. install sympy by using the command
pip install sympy
  1. run main.py file
python main.py

Implementation

Entailment

Entailment is based on the resolution algorithm for propositional logic in the book "Artificial Intelligence: A Modern Approach" by Stuart Russell and Peter Norvig. The implementation has been inspired from the aima-python repository (MIT license).

Revision

The revision algorithm is implemented using partial meet contraction and revision. The revision algorithm return the intersection of maximum subsets of beliefs that do not imply the contracted belief.