Jul 31, 2007
Originally posted on Half an Hour, July 31, 2007.
Notes from a talk by Changyu Dong
Trust - is trust transferable? It is not clear that it is. That is, if A trusts B and B trusts C, it doesn't always follow that A trusts C. But if we cannot establish when trust is transferable, we cannot build trust-based systems.
Recommender trust must exist. That is, to trust C I have to trust the recommender, B.
There must be common purpose - compare, trusting someone to drive a car vs trusting someone to repair a car.
A basic trust model:
- tust as binary. A either trusts B or distrusts B
- purpose of trust - 'A trusts B to be a good mechanic'
- conditions ' iff B has experience'
This creates varying trust conditions. Eg. different people may require different numbers of years of experience.
A modal logic for trust:
Modal logic is more suitable for analying trust in distruibuted systems, with limited knowledge and communications, where trust is inter-related with beliefs.
Basic model:
i trusts j iff i believes something is true
(Now apply 'modal' logic to system eg. conjunction of beliefs - KD45 modal logic system)
Notes from a talk by Changyu Dong
Trust - is trust transferable? It is not clear that it is. That is, if A trusts B and B trusts C, it doesn't always follow that A trusts C. But if we cannot establish when trust is transferable, we cannot build trust-based systems.
Recommender trust must exist. That is, to trust C I have to trust the recommender, B.
There must be common purpose - compare, trusting someone to drive a car vs trusting someone to repair a car.
A basic trust model:
- tust as binary. A either trusts B or distrusts B
- purpose of trust - 'A trusts B to be a good mechanic'
- conditions ' iff B has experience'
This creates varying trust conditions. Eg. different people may require different numbers of years of experience.
A modal logic for trust:
Modal logic is more suitable for analying trust in distruibuted systems, with limited knowledge and communications, where trust is inter-related with beliefs.
Basic model:
i trusts j iff i believes something is true
(Now apply 'modal' logic to system eg. conjunction of beliefs - KD45 modal logic system)
