Reasoning About Trust: A Formal Logical Framework

Demolombe, Robert

doi:10.1007/978-3-540-24747-0_22

Cited by 56 publications

(45 citation statements)

References 4 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…An important question is then what is the effect of this action on what the receiver believes? In Demolombe (1998Demolombe ( , 2004, it was argued that this depends on the sender's properties the receiver trusts in. Six properties were particularly distinguished and investigated:…”

Section: Binary Trust In Information Sourcesmentioning

confidence: 99%

“…(ii) logical models (Demolombe, 2004; which infer trust in some properties from trust in other properties.…”

Section: Introductionmentioning

confidence: 99%

“…For instance, one may trust someone is his sincerity but not in his competence. In this paper, we focus on the six properties identified by Demolombe (1998Demolombe ( , 2004, namely validity, completeness, sincerity, cooperativity, competence and vigilance. In the first part of the paper, trust is considered as a binary notion, i.e.…”

Section: Introductionmentioning

confidence: 99%

“…Section 3 defines the six forms of trust that were initially introduced in Demolombe (2004), Lorini and Demolombe (2008) in case of binary trust. Section 4 presents the argumentation system as well as it properties.…”

Section: Introductionmentioning

confidence: 99%

See 3 more Smart Citations

An argumentation-based approach for reasoning about trust in information sources

Amgoud¹,

Demolombe²

2014

Argument & Computation

Self Cite

View full text Add to dashboard Cite

During a dialogue, agents exchange information with each other and need thus to deal with incoming information. For that purpose, they should be able to reason effectively about trustworthiness of information sources. This paper proposes an argument-based system that allows an agent to reason about its own beliefs and information received from other sources. An agent's beliefs are of two kinds: beliefs about the environment (like the window is closed) and beliefs about trusting sources (like agent i trusts agent j). Six basic forms of trust are discussed in the paper including the most common one on sincerity. Starting with a base which contains such information, the system builds two types of arguments: arguments in favour of trusting a given source of information and arguments in favour of believing statements which may be received from other agents. We discuss how the different arguments interact and how an agent may decide to trust another source and thus to accept information coming from that source. The system is then extended in order to deal with graded trust (like agent i trusts to some extent agent j).

show abstract

Section: Binary Trust In Information Sourcesmentioning

confidence: 99%

“…(ii) logical models (Demolombe, 2004; which infer trust in some properties from trust in other properties.…”

Section: Introductionmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

See 2 more Smart Citations

An argumentation-based approach for reasoning about trust in information sources

Amgoud¹,

Demolombe²

2014

Argument & Computation

Self Cite

View full text Add to dashboard Cite

show abstract

“…On the other hand, Mayer, Jøsang and Lo Presti define trust as an extent of willingness to depend on somebody [8,9]. Demolombe places his definitions of trust in a framework of modal logic, and considers it to be a strong belief about a given property of the trustee, for example sincerity, cooperativity or credibility [38].…”

Section: The Trust Information Modelmentioning

confidence: 99%

Trust Management Survey

Ruohomaa

Kutvonen

2005

Lecture Notes in Computer Science

184

View full text Add to dashboard Cite

Abstract.Trust is an important tool in human life, as it enables people to cope with the uncertainty caused by the free will of others. Uncertainty and uncontrollability are also issues in computer-assisted collaboration and electronic commerce in particular. A computational model of trust and its implementation can alleviate this problem.This survey is directed to an audience wishing to familiarize themselves with the field, for example to locate a research target or implement a trust management system. It concentrates on providing a general overview of the state of the art, combined with examples of things to take into consideration both when modelling trust in general and building a solution for a certain phase in trust management, be it trust relationship initialization, updating trust based on experience or determining what trust should have an effect on.

show abstract

Understanding the trust of software‐intensive distributed systems

Gallege

Gamage

Hill

et al. 2015

Concurrency and Computation

View full text Add to dashboard Cite

Summary An early understanding of the trust concerns while composing a distributed system from independently developed software services saves time and effort. It also allows the developer of such distributed systems to reason about the trust‐related properties of these systems. Although there are prevalent approaches for evaluating the trust of such systems, it is not clear which approach, if any, is the most comprehensive and best suited for a given situation. Moreover, there is no agreement about a unified approach, for quantifying trust, which can be applied to the entire software life‐cycle of distributed systems. This article, first, motivates the need for such a quantification of trust via a case study from the domain of indoor tracking. It then provides a comprehensive survey of current approaches that define trust, in general domains, and then focuses on the relevant approaches from the domain of software‐oriented distributed systems. These prevalent efforts are categorized into groups using existing clustering tools and then are further analyzed for their comprehensiveness. The analysis depicts: (1) many trust‐related efforts and associated models have their own constrained views of trust; (2) different trust models focus on different aspects of trust and life‐cycle details; and (3) it is difficult to interoperate across different trust models. Hence, the paper identifies a set of principles that can assist in quantifying and evaluating the trust throughout the software life‐cycle of distributed systems. These principles, then, are applied to the aforementioned case study to provide an outline of how trustworthy distributed systems can be composed from independent software services. Copyright © 2015 John Wiley & Sons, Ltd.

show abstract

Reasoning About Trust: A Formal Logical Framework

Cited by 56 publications

References 4 publications

An argumentation-based approach for reasoning about trust in information sources

An argumentation-based approach for reasoning about trust in information sources

Trust Management Survey

Understanding the trust of software‐intensive distributed systems

Contact Info

Product

Resources

About