Screen Menu

• Main Screen
  You will be presented with the main user interface through which you may:
  1. add sentences to, or remove sentences from, the knowledge base(s), the revision list, and the contraction list;
  2. change the type of belief change, the search algorithm for finding equivalence sets, and the type of merging; and
  3. carry out parallel change on a belief change scenario and subsequently reject or commit a resultant knowledge base.

• Integrity Constraints
  You will be presented with the integrity constraints (IC) interface through which you may add sentences to, or remove sentences from, the entailment-based IC list and the consisteny-based IC list.
  

• History of Changes
  You will be presented with the history of changes interface through which you may revert to an older knowledge base snapshot, as well as view the log of changes made to the knowledge base list, the entailment-based IC list, and the consistency-based IC list.