An Implementation of Consistency-Based Multi-Agent Belief Change using ASP
Paul A. Vicol, James P. Delgrande, Torsten H. Schaub · 2015
Abstract. This paper presents an implementation of a general frame-work 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 inter-face that allows users to create a graph, set formulas at nodes, perform belief change operations, and query the resulting graph.