Malheiro, BeneditaJennings, NicholasOliveira, Eugénio2014-10-272014-10-271994Benedita Malheiro; Nicholas Jennings; Eugénio Oliveira. Belief Revision in Multi-Agent Systems, Trabalho apresentado em 11th European Conf. on Artificial Intelligence (ECAI-94), In Proceedings of the 11th European Conference on Artificial Intelligence (ECAI’94), Amesterdão, 1994.04719506969780471950691http://hdl.handle.net/10400.22/5126The ability to respond sensibly to changing and conflicting beliefs is an integral part of intelligent agency. To this end, we outline the design and implementation of a Distributed Assumption-based Truth Maintenance System (DATMS) appropriate for controlling cooperative problem solving in a dynamic real world multi-agent community. Our DATMS works on the principle of local coherence which means that different agents can have different perspectives on the same fact provided that these stances are appropriately justified. The belief revision algorithm is presented, the meta-level code needed to ensure that all system-wide queries can be uniquely answered is described, and the DATMS’ implementation in a general purpose multi-agent shell is discussed.engMultiagent Systems/Sistemas MultiagenteDistributed Coherence Maintenanceconference object2014-10-22