We develop in this chapter a conceptual and logical model of social trust. We first present a modal logic of mental attitudes and action in which the concepts of plausible belief, certain belief, and a possibility order over formulas can be characterized. Then, we apply the logic to the formalization of the truster's expectation about some fundamental properties of the trustee (trustee's opportunity to accomplish a given task, his skills, abilities, and willingness to perform a given action for the accomplishment of the task). A, part of this chapter is devoted to discuss and formalize some concepts related to trust such as distrust, mistrust, lack of trust, and delegation. Finally, a concept of comparative trust is presented.
Publication type:
Contributo in volume
Publisher:
Springer, London, GBR
Source:
Computing with Social Trust, edited by J. Goldbeck, pp. 45–72. London: Springer, 2009
Date:
2009
Resource Identifier:
http://www.cnr.it/prodotto/i/140032
https://dx.doi.org/10.1007/978-1-84800-356-9_3
info:doi:10.1007/978-1-84800-356-9_3
urn:isbn:978-1-84800-355-2
Language:
Eng