miun.sePublikationer
Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Detecting Temporal conflicts in Integrated Agent Specifications
Mittuniversitetet, Fakulteten för naturvetenskap, teknik och medier, Institutionen för informationsteknologi och medier.
2000 (Engelska)Ingår i: Computational conflicts: conflict modeling for distributed intelligent systems, Berlin: Springer, 2000Kapitel i bok, del av antologi (Övrigt vetenskapligt)
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

Ort, förlag, år, upplaga, sidor
Berlin: Springer, 2000.
Nyckelord [en]
temporal conflict detection, multi-agent behaviour, schema integration
Identifikatorer
URN: urn:nbn:se:miun:diva-8645Lokalt ID: 921ISBN: 3-540-66799-7 (tryckt)OAI: oai:DiVA.org:miun-8645DiVA, id: diva2:463785
Tillgänglig från: 2011-12-11 Skapad: 2009-02-24 Senast uppdaterad: 2012-01-18Bibliografiskt granskad

Open Access i DiVA

Fulltext saknas i DiVA

Personposter BETA

Davies, Guy

Sök vidare i DiVA

Av författaren/redaktören
Davies, Guy
Av organisationen
Institutionen för informationsteknologi och medier

Sök vidare utanför DiVA

GoogleGoogle Scholar

isbn
urn-nbn

Altmetricpoäng

isbn
urn-nbn
Totalt: 27 träffar
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf