An Implementation of Consistency-Based Multi-Agent Belief Change using ASP - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2015

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

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.
No file

Dates and versions

hal-01186998 , version 1 (25-08-2015)

Identifiers

  • HAL Id : hal-01186998 , version 1

Cite

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⟩
199 View
0 Download

Share

Gmail Facebook X LinkedIn More