Certainlogic: a logic for modeling trust and uncertainty

  • Authors:
  • Sebastian Ries;Sheikh Mahbub Habib;Max Mühlhäuser;Vijay Varadharajan

  • Affiliations:
  • Technische Universität Darmstadt, CASED, Darmstadt, Germany;Technische Universität Darmstadt, CASED, Darmstadt, Germany;Technische Universität Darmstadt, CASED, Darmstadt, Germany;Macquarie University, Sydney, Australia

  • Venue:
  • TRUST'11 Proceedings of the 4th international conference on Trust and trustworthy computing
  • Year:
  • 2011

Quantified Score

Hi-index 0.00

Visualization

Abstract

The evaluation of the trustworthiness of complex systems is a challenge in current IT research. We contribute to this field by providing a novel model for the evaluation of propositional logic terms under uncertainty that is compliant with the standard probabilistic approach and subjective logic. Furthermore, we present a use case to demonstrate how this approach can be applied to the evaluation of the trustworthiness of a system based on the knowledge about its components and subsystems.