A logic of trust-based beliefs
摘要
Traditionally, knowledge and beliefs are attributed to agents. The article explores an alternative approach where knowledge is informed by data and belief comes from trust in, not necessarily reliable, data. At the core of the article is the modality “if one dataset is trusted, then another dataset informs a belief”. The main technical result is a sound and complete logical system capturing the properties of this modality and its connection with functional dependency between datasets.