Method I: Belief Revision based on partial meet contraction and entrenchment
How to run the script
Make sure sympy is correctly installed.
Then, simply run the following command in the installation folder containing all the python files:
python belief_revision_demo.py
Included Python files
The included Python files are the following:
- DPLL.py: implements the DPLL algorithm for checking logical entailment
- entrenchment.py: implements functions for reordering expressions based on entrenchment
- contraction.py: implements functions for contracting belief bases and for assessing AGM postulates for a given contraction
- revision.py: implements functions for expanding belief bases and for assessing AGM postulates for a given expansion
- BeliefBase.py: Allows the testing of the implemented functions on a given belief base.