A logical approach to promoting trust over knowledge to trust over action

We discuss two related forms of trust. One form of trust is related to the perceived knowledge of other agents; we accept the information that another agent provides if we believe they have sufficient expertise in a particular domain. The second form is related to action; we trust another agent to act on our behalf if we believe they will choose acceptable actions. In this paper, we explore the relationship between these two forms of trust. In particular, we use an existing model of trust to demonstrate how trust over knowledge can determine when trust over actions is appropriate. We take a formal approach to this problem, using logic-based tools for representing and reasoning about actions and beliefs to characterize trust over action. While our primary aim is to develop a formal methodology that permits trust over actions to be defined in terms of trust over knowledge, we also consider applications that are both practical and speculative. On the practical side, we consider how our methods can be used to reason about trusted third parties in communication protocols. On the speculative side, we suggest that models of trust have a role to play in the development of ethical decision-making agents.