CertainLogic: A Logic for Modeling Trust and Uncertainty - (Short Paper)
CertainLogic: A Logic for Modeling Trust and Uncertainty - (Short Paper)
复制标题
DOI:
10.1007/978-3-642-21599-5_19
复制
发表时间:
2011-06
期刊:
影响因子:
--
通讯作者:
S. Ries;Sheikh Mahbub Habib;M. Mühlhäuser;V. Varadharajan
中科院分区:
文献类型:
--
作者:
S. Ries;Sheikh Mahbub Habib;M. Mühlhäuser;V. Varadharajan
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.