An Implementation of Consistency-Based Multi-Agent Belief Change using ASP

Paul Vicol 1 James P. Delgrande 1 Torsten Schaub 2, 3
2 DREAM - Diagnosing, Recommending Actions and Modelling
Inria Rennes – Bretagne Atlantique , IRISA-D7 - GESTION DES DONNÉES ET DE LA CONNAISSANCE
Abstract : 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.
Complete list of metadatas

https://hal.inria.fr/hal-01186998
Contributor : René Quiniou <>
Submitted on : Tuesday, August 25, 2015 - 6:25:35 PM
Last modification on : Friday, November 16, 2018 - 1:39:31 AM

Identifiers

  • HAL Id : hal-01186998, version 1

Citation

Paul Vicol, James P. Delgrande, Torsten Schaub. An Implementation of Consistency-Based Multi-Agent Belief Change using ASP. Proceedings of the Thirteenth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'15), 2015, Lexington, United States. pp.7. ⟨hal-01186998⟩

Share

Metrics

Record views

279