A Description Language for Similarity, Belief Change and Trust

Aaron Hunter

2024

Abstract

We introduce a simple framework for describing and reasoning about situations where an agent receives information reported from external sources, and these reports cause them to change their beliefs. Our framework is inspired by classic action description languages, which use sets of causal statments to specify action effects in terms of transition systems. We suggest that this style of language can effectively capture important properties of similarity and trust, which are required to perform belief revision in practical settings. The language introduced in this paper allows us to specify a similarity relation on states, and it also allows us to explicitly associate an incoming report with a specific formula to be used as the input for a suitable belief revision operator. The result is a flexible framework that can describe a variety of belief change functions, and it can also capture the trust that is held in the reporting agent in a simple and transparent way. We demonstrate the connection with existing trust-influenced models of belief change. We then consider a speculative application where we apply our framework to reason about the correctness of trusted third party protocols. Directions for future work are considered.

Paper Citation

in Harvard Style

Hunter A. (2024). A Description Language for Similarity, Belief Change and Trust. In Proceedings of the 16th International Conference on Agents and Artificial Intelligence - Volume 3: ICAART; ISBN 978-989-758-680-4, SciTePress, pages 870-877. DOI: 10.5220/0012406600003636

in Bibtex Style

@conference{icaart24,
author={Aaron Hunter},
title={A Description Language for Similarity, Belief Change and Trust},
booktitle={Proceedings of the 16th International Conference on Agents and Artificial Intelligence - Volume 3: ICAART},
year={2024},
pages={870-877},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0012406600003636},
isbn={978-989-758-680-4},
}

in EndNote Style

TY - CONF

JO - Proceedings of the 16th International Conference on Agents and Artificial Intelligence - Volume 3: ICAART
TI - A Description Language for Similarity, Belief Change and Trust
SN - 978-989-758-680-4
AU - Hunter A.
PY - 2024
SP - 870
EP - 877
DO - 10.5220/0012406600003636
PB - SciTePress