In this paper we propose an approach to multi-source belief revision where the trust or credibility assigned to informant agents can be revised. In our proposal, the credibility of each informant represented as a strict partial order among informant agents, will be maintained in a repository called credibility base. Upon arrival of new information concerning the credibility of its peers, an agent will be capable of revising this strict partial order, changing the trust assigned to its peers accordingly. Our goal (...) is to formalize a set of change operators over the credibility base: expansion, contraction, prioritized, and non-prioritized revision. These operators will provide the capability of dynamically modifying the credibility of informants considering the reliability of the information. This dynamics will reflect a new perception of trust assigned to the informant, or extend the set of informants by admitting the addition of new informant agents. (shrink)

We introduce a new operator – belief fusion– which aggregates the beliefs of two agents, each informed by a subset of sources ranked by reliability. In the process we definepedigreed belief states, which enrich standard belief states with the source of each piece of information. We note that the fusion operator satisfies the invariants of idempotence, associativity, and commutativity. As a result, it can be iterated without difficulty. We also define belief diffusion; whereas fusion generally produces a belief state with (...) more information than is possessed by either of its two arguments, diffusion produces a state with less information. Fusion and diffusion are symmetric operators, and together define a distributive lattice. Finally, we show that AGM revision can be viewed as fusion between a novice and an expert. (shrink)

This paper proposes the use of an argumentation framework with recursive attacks to address a trust model in a collaborative open multi-agent system. Our approach is focused on scenarios where agents share information about the credibility (informational trust) they have assigned to their peers. We will represent informants’ credibility through credibility objects which will include not only trust information but also the informant source. This leads to a recursive setting where the reliability of certain credibility information depends on the credibility (...) of other pieces of information that should be subject to the same analysis. Credibility objects are maintained in a credibility base which can have information in conflict. In this scenario, we will formally show that our proposal will produce a partially ordered credibility relation; such relation contains the information that can be justified by an argumentation process. (shrink)

We propose a revision operator on a stratified belief base, i.e., a belief base that stores beliefs in different strata corresponding to the value an agent assigns to these beliefs. Furthermore, the operator will be defined as to perform the revision in such a way that information is never lost upon revision but stored in a stratum or layer containing information perceived as having a lower value. In this manner, if the revision of one layer leads to the rejection of (...) some information to maintain consistency, instead of being withdrawn it will be kept and introduced in a different layer with lower value. Throughout this development we will follow the principle of minimal change, being one of the important principles proposed in belief change theory, particularly emphasized in the AGM model. Regarding the reasoning part from the stratified belief base, the agent will obtain the inferences using an argumentative formalism. Thus, the argumentation framework will decide which information prevails when sentences of different layers are used for entailing conflicting beliefs. We will also illustrate how inferences are changed and how the status of arguments can be modified after a revision process. (shrink)

This work considers the formalisation of the merging process of stratified belief bases, where beliefs are stored in different layers or strata. Their strata are ranked, following a total order, employing the value the agent using the belief base assigns to these beliefs. The agent uses an argumentation mechanism to reason from the belief base and obtain the final inferences. We present two ways of merging stratified belief bases: the first is defined by merging two strata without belief preservation, and (...) the second by merging two strata with belief preservation. For these operators, as layers merge, it is possible that some information has to be deleted from the stratum to maintain consistency. The latter merge operator will be defined as performing their actions so that information removed from the stratum is preserved after the merging by moving it to a stratum containing information perceived as having a lower value and where those beliefs may trigger a new revision, possibly starting a cascading effect. (shrink)