Use this URL to cite or link to this record in EThOS:
Title: The logic of trust
Author: Harwood, William
ISNI:       0000 0004 2732 8196
Awarding Body: University of York
Current Institution: University of York
Date of Award: 2012
Availability of Full Text:
Access from EThOS:
Access from Institution:
This thesis addresses two problems of trust: 1. Knowledge on Trust: If we are provided with information by a variety of individuals, whom we trust to different degrees, what is the best overall theory we can form from the information we are given? 2. Social Trust: If one does not have direct experience of an individual, how can one establish an initial degree of trust through the offices of society? It addresses the first problem by developing a formal, mathematical and computational, model of Bonjour’s Coherence Theory of Knowledge, and the second by adapting abstract argumentation theory to reason about networks of relationships of trust and distrust between individuals. In developing the latter it develops a notion of generalised argumentation systems, giving their semantics via the Galois Connections induced by binary relations, and provides a general scheme of evaluation of these systems based on propositional model finding. Throughout, some effort is made to set the work in the context of both theories of trust and of the day-to-day trust situations that one encounters in everyday life.
Supervisor: Clark, John ; Jacobs, Jeremy Sponsor: Not available
Qualification Name: Thesis (Ph.D.) Qualification Level: Doctoral
EThOS ID:  DOI: Not available