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

Project Activity

See All Activity >

License

Apache License V2.0

Follow Belief Reviser

Belief Reviser Web Site

Other Useful Business Software
Fully Managed MySQL, PostgreSQL, and SQL Server Icon
Fully Managed MySQL, PostgreSQL, and SQL Server

Automatic backups, patching, replication, and failover. Focus on your app, not your database.

Cloud SQL handles your database ops end to end, so you can focus on your app.
Try Free
Rate This Project
Login To Rate This Project

User Reviews

Be the first to post a review of Belief Reviser!

Additional Project Details

Intended Audience

Education, Science/Research

User Interface

Java Swing

Programming Language

Java

Related Categories

Java Artificial Intelligence Software, Java Mathematics Software, Java Voting Software

Registered

2015-06-30