Temporal logics for normative agent communication protocols

We sketch how to express typical features of agent communication protocols in a simple temporal logic and show that conformance verification at runtime reduces to a generalised form of model checking. Categories and Subject Descriptors F.4.1 [Theory of Computation]: Mathematical Logic— Temporal logic; I.2.11 [Artificial Intelligence]: Distributed Artificial Intelligence—Multiagent systems General Terms Theory, Verification Keywords Model checking, Protocol conformance

• Type: Conference
• Year: 2005
• Where: ATAL
• Authors: Ulle Endriss
• Keywords: ATAL 2005, Model Checking, Simple Temporal Logic, Temporal Logic