A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Reasoning about Dynamics of Trust and Agent Beliefs
2006
2006 IEEE International Conference on Information Reuse & Integration
Many formal frameworks have been proposed for specifying and reasoning about the notion of trust and trust mechanisms in agent-based systems. Typed Modal Logic (TML) is a logic of beliefs which is suitable for for the description of, and reasoning about, trust for multi-agent systems by formalising trust policies of the system and agent metabeliefs in its security mechanisms. In this paper, by adopting the methodology of Finger and Gabbay for temporalising a logic system, we combine TML with a
doi:10.1109/iri.2006.252396
dblp:conf/iri/OrgunL06
fatcat:5rsrayyggfdsjmtaiqeojcoc4a