miun.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Detecting Temporal conflicts in Integrated Agent Specifications
Mid Sweden University, Faculty of Science, Technology and Media, Department of Information Technology and Media.
2000 (English)In: Computational conflicts: conflict modeling for distributed intelligent systems, Berlin: Springer, 2000Chapter in book (Other academic)
Abstract [en]

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

Place, publisher, year, edition, pages
Berlin: Springer, 2000.
Keyword [en]
temporal conflict detection, multi-agent behaviour, schema integration
Identifiers
URN: urn:nbn:se:miun:diva-8645Local ID: 921ISBN: 3-540-66799-7 (print)OAI: oai:DiVA.org:miun-8645DiVA: diva2:463785
Available from: 2011-12-11 Created: 2009-02-24 Last updated: 2012-01-18Bibliographically approved

Open Access in DiVA

No full text

Search in DiVA

By author/editor
Davies, Guy
By organisation
Department of Information Technology and Media

Search outside of DiVA

GoogleGoogle Scholar

Total: 23 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf