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.
Type de document :
Communication dans un congrès
F. Calimeri and G. Ianni and M. Truszczyski. Proceedings of the Thirteenth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'15), 2015, Lexington, United States. Springer, 9345, pp.7, 2015, lnai
Liste complète des métadonnées

https://hal.inria.fr/hal-01186998
Contributeur : René Quiniou <>
Soumis le : mardi 25 août 2015 - 18:25:35
Dernière modification le : mardi 16 janvier 2018 - 15:54:11

Identifiants

  • 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. F. Calimeri and G. Ianni and M. Truszczyski. Proceedings of the Thirteenth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'15), 2015, Lexington, United States. Springer, 9345, pp.7, 2015, lnai. 〈hal-01186998〉

Partager

Métriques

Consultations de la notice

179