An Implementation of Consistency-Based Multi-Agent Belief Change using ASP
Résumé
This paper presents an implementation of a general framework
for consistency-based belief change using Answer Set Programming
(ASP). We describe Equibel, a software system for working with belief
change operations on arbitrary graph topologies. The system has an ASP
component that performs a core maximization procedure, and a Python
component that performs additional processing on the output of the
ASP solver. The Python component also provides an interactive interface
that allows users to create a graph, set formulas at nodes, perform
belief change operations, and query the resulting graph.