Vicol, Paul; Delgrande, James; Schaub, Torsten An implementation of consistency-based multi-agent belief change using ASP. (English) Zbl 1467.68193 Calimeri, Francesco (ed.) et al., Logic programming and nonmonotonic reasoning. 13th international conference, LPNMR 2015, Lexington, KY, USA, September 27–30, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9345, 480-487 (2015). Summary: 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.For the entire collection see [Zbl 1320.68014]. MSC: 68T42 Agent technology and artificial intelligence 68N17 Logic programming 68T30 Knowledge representation Keywords:belief change; belief merging; answer set programming; Python Software:Equibel; Clingo PDFBibTeX XMLCite \textit{P. Vicol} et al., Lect. Notes Comput. Sci. 9345, 480--487 (2015; Zbl 1467.68193) Full Text: DOI References: [1] Delgrande, J.; Schaub, T., A consistency-based approach for belief change, Artif. Intell., 151, 1-2, 1-41 (2003) · Zbl 1082.68818 · doi:10.1016/S0004-3702(03)00111-5 [2] Delgrande, J.P., Lang, J., Schaub, T.: Belief change based on global minimisation. In: IJCAI, Hyderabad, India (2007) [3] Delgrande, JP; Schaub, T., A consistency-based framework for merging knowledge bases, J. Appl. Logic, 5, 3, 459-477 (2006) · Zbl 1122.68120 · doi:10.1016/j.jal.2006.03.005 [4] Gauwin, O., Konieczny, S., Marquis, P.: Iterated belief merging as conciliation operators. In: 7th International Symposium on Logical Formalizations of Commonsense Reasoning, Corfu, Greece, pp. 85-92 (2005) · Zbl 1122.68649 [5] Gebser, M., Kaminski, R., Kaufmann, B., Schaub, T.: Clingo = ASP + control: Preliminary report. volume arXiv:1405.3694v1 · Zbl 1486.68027 [6] Konieczny, S.; Pino Pérez, R., Merging information under constraints: a logical framework, J. Logic Comput., 12, 5, 773-808 (2002) · Zbl 1020.68086 · doi:10.1093/logcom/12.5.773 [7] Liberatore, P., Schaerf, M.: Arbitration: a commutative operator for belief revision. In: Proceedings of 2nd WOCFAI 1995, pp. 217-228 (1995) [8] Liberatore, P., Schaerf, M.: Brels: a system for the integration of knowledge bases. In: Proceedings of the 7th International Conference on Principles of KR&R, pp. 145-152 (2000) [9] Schwind, N., Inoue, K., Bourgne, G., Konieczny, S., Marquis, P.: Belief revision games. In: AAAI (2015) [10] Würbel, E., Jeansoulin, R., Papini, O.: Revision: an application in the framework of GIS. In: Proceedings of the 7th International Conference on Principles of KR&R, pp. 505-515 (2000) This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.