CertainLogic: A logic for modeling trust and uncertainty

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

doi:10.1007/978-3-642-21599-5-19

CertainLogic

A logic for modeling trust and uncertainty

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

^*Corresponding author for this work

Department of Computing

Research output: Chapter in Book/Report/Conference proceeding › Conference 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 language	English
Title of host publication	Trust and Trustworthy Computing - 4th International Conference, TRUST 2011, Proceedings
Editors	Jonathan M. McCune, Boris Balacheff, Adrian Perrig, Ahmad-Reza Sadeghi, Angela Sasse, Yolanta Beres
Place of Publication	Heidelberg, Germany
Publisher	Springer, Springer Nature
Pages	254-261
Number of pages	8
Volume	6740 LNCS
ISBN (Print)	9783642215988
DOIs	https://doi.org/10.1007/978-3-642-21599-5-19
Publication status	Published - 2011
Event	4th International Conference on Trust and Trustworthy Computing, TRUST 2011 - Pittsburgh, PA, United States Duration: 22 Jun 2011 → 24 Jun 2011

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	6740 LNCS
ISSN (Print)	03029743
ISSN (Electronic)	16113349

Other

Other	4th International Conference on Trust and Trustworthy Computing, TRUST 2011
Country	United States
City	Pittsburgh, PA
Period	22/06/11 → 24/06/11

Access to Document

10.1007/978-3-642-21599-5-19

Link to publication in Scopus

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

Cite this

Ries, S., Habib, S. M., Mühlhäuser, M., & Varadharajan, V. (2011). CertainLogic: A logic for modeling trust and uncertainty. In J. M. McCune, B. Balacheff, A. Perrig, A-R. Sadeghi, A. Sasse, & Y. Beres (Eds.), Trust and Trustworthy Computing - 4th International Conference, TRUST 2011, Proceedings (Vol. 6740 LNCS, pp. 254-261). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 6740 LNCS). Heidelberg, Germany: Springer, Springer Nature. https://doi.org/10.1007/978-3-642-21599-5-19

Ries, Sebastian ; Habib, Sheikh Mahbub ; Mühlhäuser, Max ; Varadharajan, Vijay. / CertainLogic : A logic for modeling trust and uncertainty. Trust and Trustworthy Computing - 4th International Conference, TRUST 2011, Proceedings. editor / Jonathan M. McCune ; Boris Balacheff ; Adrian Perrig ; Ahmad-Reza Sadeghi ; Angela Sasse ; Yolanta Beres. Vol. 6740 LNCS Heidelberg, Germany : Springer, Springer Nature, 2011. pp. 254-261 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{f277d9d9e7bc497fbff36145c4ef45a6,

title = "CertainLogic: A logic for modeling trust and uncertainty",

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.",

author = "Sebastian Ries and Habib, {Sheikh Mahbub} and Max M{\"u}hlh{\"a}user and Vijay Varadharajan",

year = "2011",

doi = "10.1007/978-3-642-21599-5-19",

language = "English",

isbn = "9783642215988",

volume = "6740 LNCS",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer, Springer Nature",

pages = "254--261",

editor = "McCune, {Jonathan M.} and Boris Balacheff and Adrian Perrig and Ahmad-Reza Sadeghi and Angela Sasse and Yolanta Beres",

booktitle = "Trust and Trustworthy Computing - 4th International Conference, TRUST 2011, Proceedings",

address = "United States",

}

Ries, S, Habib, SM, Mühlhäuser, M & Varadharajan, V 2011, CertainLogic: A logic for modeling trust and uncertainty. in JM McCune, B Balacheff, A Perrig, A-R Sadeghi, A Sasse & Y Beres (eds), Trust and Trustworthy Computing - 4th International Conference, TRUST 2011, Proceedings. vol. 6740 LNCS, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 6740 LNCS, Springer, Springer Nature, Heidelberg, Germany, pp. 254-261, 4th International Conference on Trust and Trustworthy Computing, TRUST 2011, Pittsburgh, PA, United States, 22/06/11. https://doi.org/10.1007/978-3-642-21599-5-19

CertainLogic : A logic for modeling trust and uncertainty. / Ries, Sebastian; Habib, Sheikh Mahbub; Mühlhäuser, Max; Varadharajan, Vijay.

Trust and Trustworthy Computing - 4th International Conference, TRUST 2011, Proceedings. ed. / Jonathan M. McCune; Boris Balacheff; Adrian Perrig; Ahmad-Reza Sadeghi; Angela Sasse; Yolanta Beres. Vol. 6740 LNCS Heidelberg, Germany : Springer, Springer Nature, 2011. p. 254-261 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 6740 LNCS).

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

TY - GEN

T1 - CertainLogic

T2 - A logic for modeling trust and uncertainty

AU - Ries, Sebastian

AU - Habib, Sheikh Mahbub

AU - Mühlhäuser, Max

AU - Varadharajan, Vijay

PY - 2011

Y1 - 2011

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=79959454572&partnerID=8YFLogxK

U2 - 10.1007/978-3-642-21599-5-19

DO - 10.1007/978-3-642-21599-5-19

M3 - Conference proceeding contribution

SN - 9783642215988

VL - 6740 LNCS

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 254

EP - 261

BT - Trust and Trustworthy Computing - 4th International Conference, TRUST 2011, Proceedings

A2 - McCune, Jonathan M.

A2 - Balacheff, Boris

A2 - Perrig, Adrian

A2 - Sadeghi, Ahmad-Reza

A2 - Sasse, Angela

A2 - Beres, Yolanta

PB - Springer, Springer Nature

CY - Heidelberg, Germany

ER -

Ries S, Habib SM, Mühlhäuser M, Varadharajan V. CertainLogic: A logic for modeling trust and uncertainty. In McCune JM, Balacheff B, Perrig A, Sadeghi A-R, Sasse A, Beres Y, editors, Trust and Trustworthy Computing - 4th International Conference, TRUST 2011, Proceedings. Vol. 6740 LNCS. Heidelberg, Germany: Springer, Springer Nature. 2011. p. 254-261. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). https://doi.org/10.1007/978-3-642-21599-5-19