Reasoning about uncertain information and conflict resolution through trust revision

In information driven multi-agent systems, information consumers collect information about their environment from various sources such as sensors. Each source has its own limitations, capabilities, and goals. Therefore, there is no guarantee that a source will provide the requested information truthfully and correctly. Even if information is provided only by trustworthy sources, it can contain conflicts that hamper its usability. In this paper, we propose to exploit such conflicts to revise trust in information. This requires a reasoning mechanism that can accommodate domain constraints, uncertainty, and trust. Our formalism --- SDL-lite --- is an extension of a tractable subset of Description Logics with Dempster-Shafer theory of evidence. SDL-lite~ allows reasoning about uncertain information and enables conflict detection. Following the introduction of SDL-lite, we propose methods for conflict resolution through trust revision and analyse these methods under different settings through simulations. We show that the proposed methods allow reasonably accurate estimations of trust in information in realistic settings