Download
Belief revision is a central topic in knowledge representation and reasoning. It consists in incorporating a new belief, changing as few as
possible of the original beliefs while preserving consistency.
Revision always considers new evidence as a better belief. Such new evidence is usually
represented in the form of a propositional formula which must be preserved after the
revision.
Here, the Δps (PS-Merge) belief merging operator is extended in order to consider constraints, and this extension is used as a strategy for belief revision. The new evidence is treated as a constraint so the extended merging operator can obtain the revised belief base.
Features
- Revision of a belief base K against new evidence μ
- Automatic conversion of formulae to DNF
- Simple & user friendly
- Platform independent
Project Samples
License
Apache License V2.0Follow Belief Reviser
Other Useful Business Software
Network Management Software and Tools for Businesses and Organizations | Auvik Networks
Reduce IT headaches and save time with a proven solution for automated network discovery, documentation, and performance monitoring. Choose Auvik because you'll see value in minutes, and stay with us to improve your IT for years to come.
Rate This Project
Login To Rate This Project
User Reviews
Be the first to post a review of Belief Reviser!
