Book chapter abstract

Detecting Temporal conflicts in Integrated Agent Specifications


No matching items found.

Research Areas

No matching items found.

Publication Details

Author list: Davies, Guy

Publisher: Springer

Place: Berlin

Publication year: 2000

Book title (if part of a book): Computational conflicts : conflict modeling for distributed intelligent systems

ISBN: 3-540-66799-7


We present a model for the analysis of temporal conflicts in sets of autonomous agents restricted in the sense that they can be described in a first-order language. The dynamic aspects of agents are modelled by means of the event concept. Various kinds of conflicts can occur in a system of agents. Agents may be in conflict with themselves or with each other, all depending on time. Conflicts between agents may be due to direct incompatibility inherent in their specifications, but it may also arise from the dynamic interactions protocols that govern multi-agent behaviour. The general theory for detecting conflict suggested here includes semantics for individual conflicts with respect to a first order action logic (FAL). Also introduced is the enrichment of agent systems with correspondence assertions. These express relationships between static or dynamic properties described in the formal specifications of agents. Correspondence assertions correspond to protocols for the system and can be analysed in relation to time. Representing agents as first order schemata, we construct a framework for determining when two schemata can be meaningfully integrated. We formalise this concept using the notion of non-conflict


No matching items found.


No matching items found.


No matching items found.