Abstract
Liu [1] proposed a logic called TML (Typed Modal Logic), which extends firstorder logic with typed variables and modal operators to express agent beliefs. Based on TML, a trust theory for a specific secure system can be established. In our approach, the assumptions regarded as a basis that agents place their trust in a given system are encapsulated in the notion of trust and represented by a set of rules, called trust axioms of the system, and the logic together with the set of trust axioms forms a trust theory for the given system. Formally, let AX be the axiom system of TML and TA(τ) be a setof trustaxioms chosen for a given system (τ) , which captures the initial beliefs and trust relationships of the agents within the system (τ) , then AX∪ TA(τ) is called a trust theory for the system (τ) .
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
C. Liu. Logical foundations for reasoning about trust in secure digital communication. In AI2001: Advances in Artificial Intelligence, Lecture Notes in Artificial Intelligence, Vol. 2256, pages 333–344. Springer-Verlag, 2001.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Liu, C., Ozols, M.A. (2002). Consistency of Trust Theories. In: McKay, B., Slaney, J. (eds) AI 2002: Advances in Artificial Intelligence. AI 2002. Lecture Notes in Computer Science(), vol 2557. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-36187-1_66
Download citation
DOI: https://doi.org/10.1007/3-540-36187-1_66
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-00197-3
Online ISBN: 978-3-540-36187-9
eBook Packages: Springer Book Archive