Formalization and implementation of credibility dynamics through prioritized multiple revision

Abstract

In this work, we focus on credibility dynamics. The trust or credibility associated with a set of agents is represented by a pairwise comparison partial order of agents called credibility order. In this paper, we formalize a prioritized multiple revision operator that can be used to revise one credibility order by another credibility order. We introduce a set of postulates for this change operator, and we show that our proposed operator satisfies those postulates. We will also introduce a computer application we have developed to provide a complete implementation of our approach. The application has an intuitive graphical user interface to handle credibility orders, apply the change operator, and has some visual tools to explain the revision process.