Belief Revision Project

Belief Revision models the incorporation of new information into a knowledge base. The main difficulty in modeling this process is that the incoming information may be inconsistent with the agent's knowledge base. Consequently, the agent must determine the information to be relinquished before the new information can be accepted, if the agent is to maintain a consistent knowledge base.

We developed the Belief Revision System SATEN and the Belief Revision Animation