CertainLogic: A Logic for Modeling Trust and Uncertainty

(Short Paper)
  • Sebastian Ries
  • Sheikh Mahbub Habib
  • Max Mühlhäuser
  • Vijay Varadharajan
Conference paper

DOI: 10.1007/978-3-642-21599-5_19

Part of the Lecture Notes in Computer Science book series (LNCS, volume 6740)
Cite this paper as:
Ries S., Habib S.M., Mühlhäuser M., Varadharajan V. (2011) CertainLogic: A Logic for Modeling Trust and Uncertainty. In: McCune J.M., Balacheff B., Perrig A., Sadeghi AR., Sasse A., Beres Y. (eds) Trust and Trustworthy Computing. Trust 2011. Lecture Notes in Computer Science, vol 6740. Springer, Berlin, Heidelberg

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2011

Authors and Affiliations

  • Sebastian Ries
    • 1
  • Sheikh Mahbub Habib
    • 1
  • Max Mühlhäuser
    • 1
  • Vijay Varadharajan
    • 2
  1. 1.Technische Universität Darmstadt, CASEDDarmstadtGermany
  2. 2.Macquarie UniversitySydneyAustralia

Personalised recommendations