PP-2005-25: Endriss, Ulle (2005) Temporal Logics for Representing Agent Communication Protocols. [Report]
Preview |
Text (Full Text)
PP-2005-25.text.pdf Download (199kB) | Preview |
![[thumbnail of Abstract]](https://eprints.illc.uva.nl/style/images/fileicons/text.png) |
Text (Abstract)
PP-2005-25.abstract.txt Download (1kB) |
Abstract
This paper explores the use of temporal logics in the context of
communication protocols for multiagent systems. We concentrate on
frameworks where protocols are used to specify the conventions of
social interaction, rather than making reference to the mental states
of agents. Model checking can be used to check the conformance of a
given dialogue between agents to a given protocol expressed in a
suitable temporal logic. We begin by showing how simple protocols,
such as those typically presented as finite automata, can be specified
using a fragment of propositional linear temporal logic. The full
logic can also express concepts such as future dialogue obligations
(or commitments). Finally, we discuss how an extended temporal logic
based on ordered trees can be used to specify nested protocols.
| Item Type: | Report |
|---|---|
| Report Nr: | PP-2005-25 |
| Series Name: | Prepublication (PP) Series |
| Year: | 2005 |
| Uncontrolled Keywords: | agent communication languages, protocols, model checking, conformance checking, temporal logics, ordered tree logics |
| Subjects: | Language |
| Depositing User: | Ulle Endriss |
| Date Deposited: | 12 Oct 2016 14:36 |
| Last Modified: | 12 Oct 2016 14:36 |
| URI: | https://eprints.illc.uva.nl/id/eprint/170 |
Actions (login required)
 |
View Item |
