A Temporalised Belief Logic for Specifying the Dynamics of Trust for Multi-agent Systems

Liu, Chuchang; Ozols, Māris; Orgun, Mehmet A.

doi:10.1007/978-3-540-30502-6_10

Cited by 21 publications

(28 citation statements)

References 15 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Such extensions would be needed when one wants to deal with different local clocks for multi-agent systems. The logic resulting from fibring SLTL and TML is far more expressive than the temporalized belief logic [25].…”

Section: Discussionmentioning

confidence: 99%

“…Typed Modal Logic (TML) is a variant of the modal logic KD of beliefs [25] which is suitable for modelling agent beliefs. In Simple Linear-Time Temporal Logic (SLTL), truth values of formulae vary over clocks (time-lines) of varying rates of progress [23,24].…”

Section: Two Logics: Sltl and Tmlmentioning

confidence: 99%

“…For instance, Liu et al [25] have proposed a temporalized belief logic that provides a logical framework for users to specify the dynamics of trust and model evolving theories of trust for multi-agent systems. However, in this logic there are certain restrictions on the use of temporal and belief operators because of the hierarchical combination of belief and temporal logics used.…”

Section: Introductionmentioning

confidence: 99%

“…Fibring also allows for the development of proof procedures such as (labelled) tableaux from the constituent logics in a rigorous way. In this paper, we combine, using the fibring technique, the logic TML [25], a variant of the modal logic KD of beliefs, with the temporal logic SLTL which is suitable for specifying events, such as those found in reactive systems, that may run on different clocks (time-lines) of varying rates of progress [23,24]. We show that in the resulting fibred belief logic (FL) we can specify and reason about not only dynamics of agent beliefs but also the timing properties of a system effectively.…”

Section: Introductionmentioning

confidence: 99%

“…The fibred logic developed in this paper naturally has more expressive power than a temporalised belief logic such as TML + [25] does. It allows us to express the evolution of beliefs of an agent as well as the beliefs of agents about the evolution of a system.…”

Section: Introductionmentioning

confidence: 99%

See 4 more Smart Citations

Modal tableaux for verifying stream authentication protocols

Orgun

Governatori

Liu

2008

Auton Agent Multi-Agent Syst

Self Cite

View full text Add to dashboard Cite

Abstract. To develop theories to specify and reason about various aspects of multi-agent systems, many researchers have proposed the use of modal logics such as belief logics, logics of knowledge, and logics of norms. As multi-agent systems operate in dynamic environments, there is also a need to model the evolution of multi-agent systems through time. In order to introduce a temporal dimension to a belief logic, we combine it with a linear-time temporal logic using a powerful technique called fibring for combining logics. We describe a labelled modal tableaux system for the resulting fibred belief logic (FL) which can be used to automatically verify correctness of inter-agent stream authentication protocols. With the resulting fibred belief logic and its associated modal tableaux, one is able to build theories of trust for the description of, and reasoning about, multi-agent systems operating in dynamic environments.

show abstract

Section: Discussionmentioning

confidence: 99%