This is the Linux app named Belief Reviser whose latest release can be downloaded as BeliefReviser.zip. It can be run online in the free hosting provider OnWorks for workstations.
Download and run online this app named Belief Reviser with OnWorks for free.
Follow these instructions in order to run this app:
- 1. Downloaded this application in your PC.
- 2. Enter in our file manager https://www.onworks.net/myfiles.php?username=XXXXX with the username that you want.
- 3. Upload this application in such filemanager.
- 4. Start the OnWorks Linux online or Windows online emulator or MACOS online emulator from this website.
- 5. From the OnWorks Linux OS you have just started, goto our file manager https://www.onworks.net/myfiles.php?username=XXXXX with the username that you want.
- 6. Download the application, install it and run it.
SCREENSHOTS:
Belief Reviser
DESCRIPTION:
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
Audience
Science/Research, Education
User interface
Java Swing
Programming Language
Java
Categories
This is an application that can also be fetched from https://sourceforge.net/projects/beliefreviser/. It has been hosted in OnWorks in order to be run online in an easiest way from one of our free Operative Systems.