The meaning assigned to the word ‘trust’ is diverse. We present a formalism that allows various interpretations of trust.
To this end, we introduce terms that specify the observations of agents, called connections. Then we apply epistemic semantics to reason about the knowledge of agents. We allow specifications of interpretations of trust in terms of facts, and analyze whether agents know the relevant facts. If agents know that a target is trustworthy under an interpretation, that agent trusts the target.
We illustrate the formalism on three specific existing interpretations.
Bitte loggen Sie sich ein, um Zugang zu diesem Inhalt zu erhalten