Modeling knowledge dynamics in multi-agent systems based on informants

Abstract

In this paper, we model knowledge dynamics in agents' belief bases in a collaborative multi-agent system (MAS). Four change operators are introduced: expansion, contraction, prioritized revision, and non-prioritized revision. For all of them, both constructive definitions and an axiomatic characterization by representation theorems are given. We formally justify minimal change, consistency maintenance, and non-prioritization principles. These operators are based on an epistemic model for multi-source belief revision in which a rational way to weigh the beliefs using a credibility order among agents is developed. The defined operators can be seen as skills added to the agents improving the collective reasoning of a MAS.