Chapter

Trust and Trustworthy Computing

Volume 6740 of the series Lecture Notes in Computer Science pp 254-261

CertainLogic: A Logic for Modeling Trust and Uncertainty

(Short Paper)
  • Sebastian RiesAffiliated withCarnegie Mellon UniversityTechnische Universität Darmstadt, CASED
  • , Sheikh Mahbub HabibAffiliated withCarnegie Mellon UniversityTechnische Universität Darmstadt, CASED
  • , Max MühlhäuserAffiliated withCarnegie Mellon UniversityTechnische Universität Darmstadt, CASED
  • , Vijay VaradharajanAffiliated withCarnegie Mellon UniversityMacquarie University

* Final gross prices may vary according to local VAT.

Get Access

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.