All copyrights of this article are held by the author/s To cite this ...

Media concept
/ Medienkonzept
• |=Σ ⊆ |Mod(Σ)| × Sen(Σ) is called a satisfaction relation, such that for each morphism
σ : Σ → Σ’ in Sign, the satisfaction condition M’ |=Σ’ Sen(σ)(φ)
⇔ Mod(σ)(M’) |=Σ φ holds for all M’ ∈ |Mod(Σ’)|, φ ∈ Sen(Σ),
• |-Σ ⊆ P(Sen(Σ)) × Sen(Σ), is a function associating to each Σ in Sign a binary relation
called Σ-entailment, satisfying the following properties:
(i) reflexivity: for any φ ∈ Sen(Σ), {φ} |-Σ φ,
(ii) monotonicity: if Γ |-Σ φ, Γ ⊆ Γ’ then Γ’ |-Σ φ,
(iii) transitivity: if Γ |-Σ φi for all i ∈ I and Γ ∪ {i ∈ I | φi } |-Σ γ, then Γ |-Σ γ,
(iiii) |− translation: if Γ |-Σ φ, then Sen(σ)(Γ) |-Σ’ Sen(σ)(φ) for any σ : Σ → Σ’ in Sign.
and the following Soundness Condition is satisfied: for each Σ in Sign,
Γ ⊆ Sen(Σ), and φ ∈ Sen(Σ), Γ |−Σ φ ⇒ Γ |−|=Σ φ, where Γ |−|=Σ φ iff [(M |=Σ
γ for all γ ∈ Γ) implies M |=Σ φ].
A signature Σ together with a set of sentences Γ ⊆ Sen(Σ) gives a theory
(Σ,Γ). A functor Th0 assigns a signature Σ its category of theories. The mappings
Sen and Mod can be extended to mappings on theories straightforward
47
Cerioli, M. and Meseguer, J. (1997) May I Borrow Your Logic? (Transporting
Logical Structures along Maps). Theoretical Computer Science 28,
311-347.
Media Concept
Medienkonzept
Medien werden als Räume oder Sphären für Gemeinschaften von Agenten
definiert und als organisierte Kanalsysteme für Multi-Agentensysteme modelliert.
Medien bestehen aus drei Komponenten (Schmid, 1999):
(4) Logischer Raum, der die im Medium verfügbare Information mit
Syntax und Semantik erfasst. Der Logische Raum ist dabei die
Grundlage für die Darstellung und Verarbeitung von Information. Er
enthält Syntax und Semantik der Informationen, die im Medium verfügbar
sind. Dies beinhaltet auch Informationen über das Kanalsystem
selbst und über die Organisation.
(5) Kanäle (Kanalsystem), welche die über Raum und Zeit verteilten
Agenten verbinden und damit den Austausch von Informationen oder
Gütern ermöglichen. Zu dem Kanalsystem gehören die verwendeten
Kommunikationsmechanismen. Man beachte, dass Kanäle dem traditionellen
Begriff des Trägermediums, d.h. eines reinen Trägers
zum Transport von Information über Raum und Zeit entsprechen.
(6) Organisation, die mit einer Menge von Rollen den Aufbau einer Gemeinschaft
von Agenten sowie die Rechte und Pflichten der Agenten
und mit den Protokollen die Beziehungen der Agenten in dieser Gemeinschaft
beschreibt.
47