An Implementation of Consistency-Based Multi-Agent Belief Change using ASP - CNRS - Centre national de la recherche scientifique Accéder directement au contenu
Communication Dans Un Congrès Année : 2015

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.
Fichier non déposé

Dates et versions

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

Identifiants

  • HAL Id : hal-01186998 , version 1

Citer

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⟩
200 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More