Download PDFOpen PDF in browser

A Tool for Reasoning about Trust and Belief

9 pagesPublished: May 26, 2024

Abstract

We introduce a software tool for reasoning about belief change in situations where information is received from reports and observations. Our focus is on the interaction between trust and belief. The software is based on a formal model where the level of trust in a reporting agent increases when they provide accurate reports and it decreases when they provide innaccurate reports. If trust in an agent drops below a given threshold, then their reports no longer impact our beliefs at all. The notion of accuracy is determined by comparing reports to observations, as well as to reports from more trustworthy agents. The emphasis of this paper is not on the formalism; the emphasis is on the development of the prototype system for automatically calculating the result of iterated revision problems involving trust. We present an implemented system that allows users to flexibly specify and solve complex revision problems involving reports from partially trusted sources.

Keyphrases: belief change, knowledge representation, system description, trust

In: Nikolaj Bjørner, Marijn Heule and Andrei Voronkov (editors). Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning, vol 100, pages 127-135.

BibTeX entry
@inproceedings{LPAR2024:Tool_Reasoning_about_Trust,
  author    = {Aaron Hunter and Alberto Iglesias},
  title     = {A Tool for Reasoning about Trust and Belief},
  booktitle = {Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning},
  editor    = {Nikolaj Bjørner and Marijn Heule and Andrei Voronkov},
  series    = {EPiC Series in Computing},
  volume    = {100},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/4J8s},
  doi       = {10.29007/c1jg},
  pages     = {127-135},
  year      = {2024}}
Download PDFOpen PDF in browser