An implementation of consistency-based multi-agent belief change using ASP. 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.
References in zbMATH (referenced in 1 article , 1 standard article )
Showing result 1 of 1.
- Vicol, Paul; Delgrande, James; Schaub, Torsten: An implementation of consistency-based multi-agent belief change using ASP (2015)