CertainLogic

A logic for modeling trust and uncertainty

Sebastian Ries*, Sheikh Mahbub Habib, Max Mühlhäuser, Vijay Varadharajan

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contribution

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.

Original languageEnglish
Title of host publicationTrust and Trustworthy Computing - 4th International Conference, TRUST 2011, Proceedings
EditorsJonathan M. McCune, Boris Balacheff, Adrian Perrig, Ahmad-Reza Sadeghi, Angela Sasse, Yolanta Beres
Place of PublicationHeidelberg, Germany
PublisherSpringer, Springer Nature
Pages254-261
Number of pages8
Volume6740 LNCS
ISBN (Print)9783642215988
DOIs
Publication statusPublished - 2011
Event4th International Conference on Trust and Trustworthy Computing, TRUST 2011 - Pittsburgh, PA, United States
Duration: 22 Jun 201124 Jun 2011

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume6740 LNCS
ISSN (Print)03029743
ISSN (Electronic)16113349

Other

Other4th International Conference on Trust and Trustworthy Computing, TRUST 2011
CountryUnited States
CityPittsburgh, PA
Period22/06/1124/06/11

Fingerprint Dive into the research topics of 'CertainLogic: A logic for modeling trust and uncertainty'. Together they form a unique fingerprint.

Cite this