GenB: A General Solver for AGM Revision.

We describe a general tool for solving belief revision problems with a range of different operators. Our tool allows a user to flexibly specify a total pre-order over states, using simple selection boxes in a graphic user interface. In this manner, we are able to calculate the result of any AGM revision operator. The user is also able to specify so-called trust partitions to calculate the result of trust-sensitive revision. The overall goal is to provide users with a simple tool that can be used in applications involving AGM-style revision. While the tool can be demonstrated and tested as a standalone application with a fixed user interface, what we have actually developed is a set of libraries and functions that can flexibly be incorporprated in other systems. It is anticipated that this tool will be useful for experimentation, education, and prototyping to solve problems in formal reasoning.