Einführung in das Jadex-System fileBeliefs Goals Was ist Jadex? Was ist Jadex? ” Jadex is an...

Einfuhrung indas

Jadex-System

Stefan Tittel

Einfuhrung

Komponenten

Capabilities

Beliefs

Events

Anhang:Beispiele

Beliefs

Einfuhrung in das Jadex-System

Stefan Tittel

Universitat Dortmund

Projektgruppenseminar: Wissen in Multiagentensystemen,Marz 2006

Einfuhrung indas

Jadex-System

Stefan Tittel

Einfuhrung

Komponenten

Capabilities

Beliefs

Events

Anhang:Beispiele

Beliefs

Uberblick

1 Einfuhrung

2 KomponentenCapabilitiesBeliefsGoalsPlansEvents

3 Anhang: BeispielePlansBeliefsGoals

Einfuhrung indas

Jadex-System

Stefan Tittel

Einfuhrung

Komponenten

Capabilities

Beliefs

Events

Anhang:Beispiele

Beliefs

Uberblick

1 Einfuhrung

Einfuhrung indas

Jadex-System

Stefan Tittel

Einfuhrung

Komponenten

Capabilities

Beliefs

Events

Anhang:Beispiele

Beliefs

Was ist Jadex?

”Jadex is an agent-oriented reasoning engine for writing rational

agents with XML and the Java programming language.“

Was ist ein Agent?

Ein Programm mit den Eigenschaften:

• autonom

• proaktiv

• reaktiv

• sozial

• lern- und anpassungsfahig

Einfuhrung indas

Jadex-System

Stefan Tittel

Einfuhrung

Komponenten

Capabilities

Beliefs

Events

Anhang:Beispiele

Beliefs

Was ist Jadex?

”Jadex is an agent-oriented reasoning engine for writing rational

agents with XML and the Java programming language.“

Was ist ein Agent?

Ein Programm mit den Eigenschaften:

• autonom

• proaktiv

• reaktiv

• sozial

• lern- und anpassungsfahig

Einfuhrung indas

Jadex-System

Stefan Tittel

Einfuhrung

Komponenten

Capabilities

Beliefs

Events

Anhang:Beispiele

Beliefs

Adapter

Jadex selbst kann keine Agenten ausfuhren. Dazu bedarf eseiner Middleware-Plattform. Es gibt derzeit zwei Adapter:

• Einen Adapter fur das Java Agent DEvelopmentFramework (JADE),

• einen Standalone-Adapter.

Abbildung: Starter der GUI des Standalone-Adapters

Einfuhrung indas

Jadex-System

Stefan Tittel

Einfuhrung

Komponenten

Capabilities

Beliefs

Events

Anhang:Beispiele

Beliefs

Agentenmodell

Jadex basiert auf dem BDI-Modell. Zur Erinnerung:

• beliefs: Weltwissen (informational state)

• desires: Hauptziele (motivational state)

• intentions: Absichten/Plane (deliberative state)

Implementierung in Jadex:

• beliefs: bestehen aus facts (implementiert durch beliebigeJava-Objekte); werden durch beliefbase zugeordnet

• desires: Realisierung in Form von goals; verschiedeneGoal-Typen verfugbar

• intentions: Realisierung in Fom von plans(Java-Prozeduren zzgl. Ausfuhrungsbedingungen)

Einfuhrung indas

Jadex-System

Stefan Tittel

Einfuhrung

Komponenten

Capabilities

Beliefs

Events

Anhang:Beispiele

Beliefs

Agentenmodell

Jadex basiert auf dem BDI-Modell. Zur Erinnerung:

• beliefs: Weltwissen (informational state)

• desires: Hauptziele (motivational state)

• intentions: Absichten/Plane (deliberative state)

Implementierung in Jadex:

• beliefs: bestehen aus facts (implementiert durch beliebigeJava-Objekte); werden durch beliefbase zugeordnet

• desires: Realisierung in Form von goals; verschiedeneGoal-Typen verfugbar

• intentions: Realisierung in Fom von plans(Java-Prozeduren zzgl. Ausfuhrungsbedingungen)

Einfuhrung indas

Jadex-System

Stefan Tittel

Einfuhrung

Komponenten

Capabilities

Beliefs

Events

Anhang:Beispiele

Beliefs

Grundlegende Architektur

AgentCapability

Reaction

DeliberationPlans

Beliefs Goals

Events

richten

Wahle Plans

Behandle Events

s G.Events

Application Events

Conditions

Fakten

Abbildung: Grundlegende Architektur

Einfuhrung indas

Jadex-System

Stefan Tittel

Einfuhrung

Komponenten

Capabilities

Beliefs

Events

Anhang:Beispiele

Beliefs

Realisierung von Agenten 1/2

• Jeder Agent besteht aus einer XML-Datei (AgentDefinition File – ADF) und Java-Klassen.

• Das ADF enthalt die eigentliche Spezifikation des Agenten.

• Die Java-Klassen implementieren plans und eventuellbenotigte Objekte (z. B. zur Realisierung von beliefs).

• Bei plans: head in ADF, body in Java-Klasse

HelloWordAgent.xml

<agent (Schemaangaben) name="HelloWorld"><plans><plan name="hello"><body>new HelloWorldPlan()</body>

</plan></plans>

Einfuhrung indas

Jadex-System

Stefan Tittel

Einfuhrung

Komponenten

Capabilities

Beliefs

Events

Anhang:Beispiele

Beliefs

• Jeder Agent besteht aus einer XML-Datei (AgentDefinition File – ADF) und Java-Klassen.

• Das ADF enthalt die eigentliche Spezifikation des Agenten.

• Die Java-Klassen implementieren plans und eventuellbenotigte Objekte (z. B. zur Realisierung von beliefs).

• Bei plans: head in ADF, body in Java-Klasse

HelloWordAgent.xml

<agent (Schemaangaben) name="HelloWorld"><plans><plan name="hello"><body>new HelloWorldPlan()</body>

</plan></plans>

Einfuhrung indas

Jadex-System

Stefan Tittel

Einfuhrung

Komponenten

Capabilities

Beliefs

Events

Anhang:Beispiele

Beliefs

</initialstate></initialstates>

</agent>

HelloWorldPlan.java

import jadex.runtime.Plan;public class HelloWorldPlan extends Plan {public void body() {System.out.println("Hello world!");killAgent();

Einfuhrung indas

Jadex-System

Stefan Tittel

Einfuhrung

Komponenten

Capabilities

Beliefs

Events

Anhang:Beispiele

Beliefs

</initialstate></initialstates>

</agent>

HelloWorldPlan.java

import jadex.runtime.Plan;public class HelloWorldPlan extends Plan {public void body() {System.out.println("Hello world!");killAgent();

Einfuhrung indas

Jadex-System

Stefan Tittel

Einfuhrung

Komponenten

Capabilities

Beliefs

Events

Anhang:Beispiele

Beliefs

• Die beliefbase ordnet Identifizierungsstrings Fakten zu, diewiederum beliebige Java-Klassen sein konnen.

• Es gibt zwei Arten von beliefs:• Einfache single-fact beliefs und• beliefsets.

• Jadex unterstutzt OQL-ahnliche Anfragen an diebeliefbase.

• Anderungen an der beliefbase konnen plans oder goalsautomatisch triggern.

• Es gibt keine (logikbasierte) Inferenz in der beliefbase.

Einfuhrung indas

Jadex-System

Stefan Tittel

Einfuhrung

Komponenten

Capabilities

Beliefs

Events

Anhang:Beispiele

Beliefs

• Goals sind konkrete momentane Wunsche des Agenten.

• Der Agent wahlt (fruher oder spater) fur jedes goalgeeignete Aktionen aus, solange bis

• das goal erreicht wurde,• das goal als unerreichbar gilt oder• das goal nicht langer aktuell ist.

• Goals mussen nicht zueinander konsistent sein.

• Jedes goal ist in einem der Zustande:• option – angenommen, aber derzeit nicht verfolgt• active – aktuell verfolgt• suspended – Kontextbedingungen derzeit nicht erfullt

• Es gibt vier Goal-Typen:• perform goals – geben zu erledigende Tatigkeiten an• achieve goals – beschreiben abstrakten Zielzustand• query goals – geben zu erlangende Informationen an• maintain goals – geben beizubehaltenen Zustand an

Einfuhrung indas

Jadex-System

Stefan Tittel

Einfuhrung

Komponenten

Capabilities

Beliefs

Events

Anhang:Beispiele

Beliefs

Uberblick

1 Einfuhrung

Einfuhrung indas

Jadex-System

Stefan Tittel

Einfuhrung

Komponenten

Capabilities

Beliefs

Events

Anhang:Beispiele

Beliefs

Uberblick

1 Einfuhrung

Einfuhrung indas

Jadex-System

Stefan Tittel

Einfuhrung

Komponenten

Capabilities

Beliefs

Events

Anhang:Beispiele

Beliefs

Capabilities in Jadex

• Agenten ohne Schlussfolgerungsprozess• aus beliefs, goals und plans bestehend• konnen weitere subcapabilities enthalten• werden eingesetzt um Funktionalitat wiederzuverwenden• Spezifikation analog zu Agenten (in der XML-Datei:<capability> statt <agent>)

Beispiel: Agent nutzt capabilities<agent ...> ...

</capabilities> ...</agent>

Einfuhrung indas

Jadex-System

Stefan Tittel

Einfuhrung

Komponenten

Capabilities

Beliefs

Events

Anhang:Beispiele

Beliefs

Capabilities in Jadex

• Agenten ohne Schlussfolgerungsprozess• aus beliefs, goals und plans bestehend• konnen weitere subcapabilities enthalten• werden eingesetzt um Funktionalitat wiederzuverwenden• Spezifikation analog zu Agenten (in der XML-Datei:<capability> statt <agent>)

Beispiel: Agent nutzt capabilities<agent ...> ...

</capabilities> ...</agent>

Einfuhrung indas

Jadex-System

Stefan Tittel

Einfuhrung

Komponenten

Capabilities

Beliefs

Events

Anhang:Beispiele

Beliefs

Sichtbarkeit

• Sichtbarkeit standardmaßig lokal

• wenn Zugriff von außerer capability erfolgen soll:exported="true" in <belief> etc. in innerer capability

• Referenz in außerer capability

Beispiel: Innere Capability (Auszug)

Beispiel: Außere Capability (Auszug)

</beliefref>

Einfuhrung indas

Jadex-System

Stefan Tittel

Einfuhrung

Komponenten

Capabilities

Beliefs

Events

Anhang:Beispiele

Beliefs

Sichtbarkeit

</beliefref>

Einfuhrung indas

Jadex-System

Stefan Tittel

Einfuhrung

Komponenten

Capabilities

Beliefs

Events

Anhang:Beispiele

Beliefs

Sichtbarkeit

</beliefref>

Einfuhrung indas

Jadex-System

Stefan Tittel

Einfuhrung

Komponenten

Capabilities

Beliefs

Events

Anhang:Beispiele

Beliefs

Abstrakte Elemente

• Element hat keine Implementierung und muss von außerercapability zugewiesen werden

• Definition abstrakter Elementreferenz:<beliefref ...><abstract/></beliefref>

• Implementierung muss nicht erfolgen, wenn<abstract required="false">

• außere Capability implementiert Element (direkt oder uberandere Referenz); Zuweisung mittels <assignto>

Einfuhrung indas

Jadex-System

Stefan Tittel

Einfuhrung

Komponenten

Capabilities

Beliefs

Events

Anhang:Beispiele

Beliefs

Abstrakte Elemente

Einfuhrung indas

Jadex-System

Stefan Tittel

Einfuhrung

Komponenten

Capabilities

Beliefs

Events

Anhang:Beispiele

Beliefs

Abstrakte Elemente

Einfuhrung indas

Jadex-System

Stefan Tittel

Einfuhrung

Komponenten

Capabilities

Beliefs

Events

Anhang:Beispiele

Beliefs

Uberblick

1 Einfuhrung

Einfuhrung indas

Jadex-System

Stefan Tittel

Einfuhrung

Komponenten

Capabilities

Beliefs

Events

Anhang:Beispiele

Beliefs

Spezifikation im ADF

• belief spezifiziert im ADF, Aufruf und Anderung durchplans

• einleitender Tag fur beliefs bzw. beliefsets ist <belief>bzw. <beliefset>

• <belief> und <beliefset> haben zwei Attribute:• name – um an anderer Stelle Bezug auf die im belief

enthaltenen Fakten zu nehmen• class – Angabe der Java-Klasse, welche die Fakten realisiert

• direkte Angabe initialer Fakten inmitten <fact></fact>

• bei initialen Fakten unbekannter Anzahl:<facts></facts>

Einfuhrung indas

Jadex-System

Stefan Tittel

Einfuhrung

Komponenten

Capabilities

Beliefs

Events

Anhang:Beispiele

Beliefs

Beispiel zur Spezifikation im ADF

<beliefs><belief name="my_location" class="Location"><fact>new Location("Hamburg")</fact>

</belief><beliefset name="my_friends" class="String"><fact>"Alex"</fact><fact>"Blandi"</fact><fact>"Charly"</fact>

</beliefset><beliefset name="my_opponents" class="String"><facts>Database.getOpponents()</facts>

</beliefset></beliefs>

Einfuhrung indas

Jadex-System

Stefan Tittel

Einfuhrung

Komponenten

Capabilities

Beliefs

Events

Anhang:Beispiele

Beliefs

Einfuhrung indas

Jadex-System

Stefan Tittel

Einfuhrung

Komponenten

Capabilities

Beliefs

Events

Anhang:Beispiele

Beliefs

Einfuhrung indas

Jadex-System

Stefan Tittel

Einfuhrung

Komponenten

Capabilities

Beliefs

Events

Anhang:Beispiele

Beliefs

Einfuhrung indas

Jadex-System

Stefan Tittel

Einfuhrung

Komponenten

Capabilities

Beliefs

Events

Anhang:Beispiele

Beliefs

Zugriff auf Beliefs aus Plans

• getBeliefbase() liefert beliefbase (IBeliefbase)

• IBeliefbase.getBelief(String name) bzw..getBeliefSet(String name) liefert beliefs (KlasseIBelief) bzw. beliefsets (Klasse IBeliefSet)

• Zugriff auf die Fakten mittels IBelief.getFact() bzw.IBeliefSet.getFacts()

• weiterhin: containsFact(), setFact(),addFact(fact), removeFact(fact), updateFact()

Beispiel

public void body { ...IBelief h = getBeliefbase().getBelief("hungry");h.setFact(new Boolean(true)); ...Food[] food = (Food[])getBeliefbase()

.getBeliefSet("food").getFacts(); ... }

Einfuhrung indas

Jadex-System

Stefan Tittel

Einfuhrung

Komponenten

Capabilities

Beliefs

Events

Anhang:Beispiele

Beliefs

Zugriff auf Beliefs aus Plans

• getBeliefbase() liefert beliefbase (IBeliefbase)

• IBeliefbase.getBelief(String name) bzw..getBeliefSet(String name) liefert beliefs (KlasseIBelief) bzw. beliefsets (Klasse IBeliefSet)

• Zugriff auf die Fakten mittels IBelief.getFact() bzw.IBeliefSet.getFacts()

• weiterhin: containsFact(), setFact(),addFact(fact), removeFact(fact), updateFact()

Beispiel

public void body { ...IBelief h = getBeliefbase().getBelief("hungry");h.setFact(new Boolean(true)); ...Food[] food = (Food[])getBeliefbase()

.getBeliefSet("food").getFacts(); ... }

Einfuhrung indas

Jadex-System

Stefan Tittel

Einfuhrung

Komponenten

Capabilities

Beliefs

Events

Anhang:Beispiele

Beliefs

Auswertung und Propagation

Auswertung initialer Fakten nur beim Start des Agenten, es seidenn explizite Angabe von:

• <fact evaluationmode="dynamic"> – Auswertung beijedem Zugriff

• <belief updaterate="n"> – Auswertung zusatzlich allen Sekunden

Propagation von Belief-Anderungen:

• Beliefs konnen als Bedingungen dienen, z. B. fur goals.

• Anderungen an beliefs mussen deshalb propagiert werden.• Propagation in einfachen Fallen automatisch, z. B. bei

Zuweisung neuen Faktums zum belief oder Anderungendurch Belief-Abhangigkeiten

• bei Anderungen eines komplexen Fakt-Objektes explizitesFeuern von events

Einfuhrung indas

Jadex-System

Stefan Tittel

Einfuhrung

Komponenten

Capabilities

Beliefs

Events

Anhang:Beispiele

Beliefs

Auswertung und Propagation

Auswertung initialer Fakten nur beim Start des Agenten, es seidenn explizite Angabe von:

• <fact evaluationmode="dynamic"> – Auswertung beijedem Zugriff

• <belief updaterate="n"> – Auswertung zusatzlich allen Sekunden

Propagation von Belief-Anderungen:

• Beliefs konnen als Bedingungen dienen, z. B. fur goals.

• Anderungen an beliefs mussen deshalb propagiert werden.• Propagation in einfachen Fallen automatisch, z. B. bei

Zuweisung neuen Faktums zum belief oder Anderungendurch Belief-Abhangigkeiten

• bei Anderungen eines komplexen Fakt-Objektes explizitesFeuern von events

Einfuhrung indas

Jadex-System

Stefan Tittel

Einfuhrung

Komponenten

Capabilities

Beliefs

Events

Anhang:Beispiele

Beliefs

Uberblick

1 Einfuhrung

Einfuhrung indas

Jadex-System

Stefan Tittel

Einfuhrung

Komponenten

Capabilities

Beliefs

Events

Anhang:Beispiele

Beliefs

Allgemeines und Spezifikation 1/2

• bereits erwahnt: perform goals, achieve goals, query goals,maintain goals

• zusatzlich: meta-level goals, z. B.”finde einen

auszufuhrenden plan“

• Unterscheidung zwischen:• top-level goals – zu Beginn verfugbar oder spater

angenommen• subgoals – nur von laufenden plans dispatcht

• Spezifikation von goals im ADF

• Goals konnen Parameter haben (Spezifikation ahnlichbeliefs).

• Attribut direction ∈ {in, out, inout}• Attribut optional – Parameter ist optional• Parameterwert mittels <value> oder <bindingoptions>

Einfuhrung indas

Jadex-System

Stefan Tittel

Einfuhrung

Komponenten

Capabilities

Beliefs

Events

Anhang:Beispiele

Beliefs

Allgemeines und Spezifikation 2/2

• <unique/> – Es wird nur eine Goal-Instanz gleichen Typsund gleicher Parameter instantiiert.

• <exclude> kann angeben, welche Parameter dabei nichtverglichen werden sollen.

• autom. Instantiierung durch <creationcondition>

• autom. Suspendierung durch <contextcondition>• Terminiere alle zum goal gehorenden plans und subgoals.• Sind die Kontext-Bedingungen wieder erfullt: Instantiiere

neue plans und subgoals.

• autom. Verwurf durch <dropcondition>• Verworfene goals konnen nicht reaktiviert werden.

Einfuhrung indas

Jadex-System

Stefan Tittel

Einfuhrung

Komponenten

Capabilities

Beliefs

Events

Anhang:Beispiele

Beliefs

BDI-Flags

• Attribute von Elementen (hier: goals)• Spezifikation im ADF in <goal> oder fur einzelne

Goal-Instanzen mittels set-Methode

Name Default mogliche Werte

retry true {true, false}retrydelay 0 positive long valueexclude "w. t." {"when tried"

"when succeeded""when failed""never"}

posttoall false {true,false}randomselection false {true,false}metalevelreasoning true {true,false}

Tabelle: allen Goal-Typen gemeine BDI-Flags

Einfuhrung indas

Jadex-System

Stefan Tittel

Einfuhrung

Komponenten

Capabilities

Beliefs

Events

Anhang:Beispiele

Beliefs

BDI-Flags

• Attribute von Elementen (hier: goals)• Spezifikation im ADF in <goal> oder fur einzelne

Goal-Instanzen mittels set-Methode

Name Default mogliche Werte

retry true {true, false}retrydelay 0 positive long valueexclude "w. t." {"when tried"

"when succeeded""when failed""never"}

posttoall false {true,false}randomselection false {true,false}metalevelreasoning true {true,false}

Tabelle: allen Goal-Typen gemeine BDI-Flags

Einfuhrung indas

Jadex-System

Stefan Tittel

Einfuhrung

Komponenten

Capabilities

Beliefs

Events

Anhang:Beispiele

Beliefs

Spezielle Bedingungen

Achieve Goals:

• <targetcondition> – gibt an, wann goal erreicht ist

• <failurecondition> – gibt an, wann goal fehlschlagt

• wenn nicht angegeben: Erfolg der plans bestimmt Erfolgdes goals

Query Goals:

• implizite Zielbedingungen:• alle Parameter mit direction=out 6= null• parametersets verfugen uber mindestens einen Wert

Maintain Goals:

• <maintaincondition> (verpflichtend) – gibt zuerhaltenden Zustand an

• <targetcondition> – Zielzustand bei Verletzung der<maintaincondition>

Einfuhrung indas

Jadex-System

Stefan Tittel

Einfuhrung

Komponenten

Capabilities

Beliefs

Events

Anhang:Beispiele

Beliefs

Achieve Goals:

Query Goals:

Maintain Goals:

Einfuhrung indas

Jadex-System

Stefan Tittel

Einfuhrung

Komponenten

Capabilities

Beliefs

Events

Anhang:Beispiele

Beliefs

Achieve Goals:

Query Goals:

Maintain Goals:

Einfuhrung indas

Jadex-System

Stefan Tittel

Einfuhrung

Komponenten

Capabilities

Beliefs

Events

Anhang:Beispiele

Beliefs

Beispiele 1/3

Perform Goal<performgoal name="patrol" retry="true"exclude="never"><contextcondition>

!$beliefbase.is_loading &&!$beliefbase.daytime

Achieve Goal<achievegoal name="moveto">

$beliefbase.my_loc.isNear($goal.loc)</targetcondition>

</achievegoal>

Einfuhrung indas

Jadex-System

Stefan Tittel

Einfuhrung

Komponenten

Capabilities

Beliefs

Events

Anhang:Beispiele

Beliefs

Beispiele 1/3

Perform Goal<performgoal name="patrol" retry="true"exclude="never"><contextcondition>

!$beliefbase.is_loading &&!$beliefbase.daytime

Achieve Goal<achievegoal name="moveto">

$beliefbase.my_loc.isNear($goal.loc)</targetcondition>

</achievegoal>

Einfuhrung indas

Jadex-System

Stefan Tittel

Einfuhrung

Komponenten

Capabilities

Beliefs

Events

Anhang:Beispiele

Beliefs

Beispiele 2/3

Query Goal

select one $wastebinfrom $beliefbase.wastebinswhere !$wastebin.isFull()order by $beliefbase.my_location

.getDistance($wastebin.getLocation())</value>

</parameter></querygoal>

Einfuhrung indas

Jadex-System

Stefan Tittel

Einfuhrung

Komponenten

Capabilities

Beliefs

Events

Anhang:Beispiele

Beliefs

Beispiele 3/3

Maintain Goal<maintaingoal name="battery_loaded">

<maintaincondition>$beliefbase.my_chargestate > 0.2

</maintaincondition><targetcondition>

$beliefbase.my_chargestate == 1.0</targetcondition>

</maintaingoal>

Einfuhrung indas

Jadex-System

Stefan Tittel

Einfuhrung

Komponenten

Capabilities

Beliefs

Events

Anhang:Beispiele

Beliefs

Easy Deliberation

• paralleles Verfolgen aller derzeitig moglichen goals nichtimmer sinnvoll ⇒ Sperrbeziehungen festlegen

• <deliberation cardinality="n"> – nur n Instanzengleichen Goal-Typs zulassen

• <inhibits ref="gn"> (innerhalb von<deliberation></deliberation>) – goal sperrt

”gn“

• Attribut inhibit="when in process" – Sperrung nurwenn goal gerade verarbeitet wird

Beispiel

</deliberation> ...</maintaingoal>

Einfuhrung indas

Jadex-System

Stefan Tittel

Einfuhrung

Komponenten

Capabilities

Beliefs

Events

Anhang:Beispiele

Beliefs

Easy Deliberation

• paralleles Verfolgen aller derzeitig moglichen goals nichtimmer sinnvoll ⇒ Sperrbeziehungen festlegen

• <deliberation cardinality="n"> – nur n Instanzengleichen Goal-Typs zulassen

• <inhibits ref="gn"> (innerhalb von<deliberation></deliberation>) – goal sperrt

”gn“

• Attribut inhibit="when in process" – Sperrung nurwenn goal gerade verarbeitet wird

Beispiel

</deliberation> ...</maintaingoal>

Einfuhrung indas

Jadex-System

Stefan Tittel

Einfuhrung

Komponenten

Capabilities

Beliefs

Events

Anhang:Beispiele

Beliefs

Meta-Level Goals

• falls mehrere passende Plane zur Behandlung eines goals(oder events) bereitstehen ⇒ Plan-Auswahl durchmeta-level reasoning

• Erzeugung von meta-level goal fur aufgetretenes goal(oder event)

• Ausfuhrung von meta-level plans fur meta-level goal

• danach Ergebnis (tatsachlich auszufuhrende plans) imParameter result des meta-level goals

• <metagoal> muss <trigger> haben

• <metagoal> muss mindestens in-Parameter"applicables" und out-Parameter "result" (beidevom Typ jadex.runtime.ICandidateInfo) haben

Einfuhrung indas

Jadex-System

Stefan Tittel

Einfuhrung

Komponenten

Capabilities

Beliefs

Events

Anhang:Beispiele

Beliefs

Uberblick

1 Einfuhrung

Einfuhrung indas

Jadex-System

Stefan Tittel

Einfuhrung

Komponenten

Capabilities

Beliefs

Events

Anhang:Beispiele

Beliefs

Trigger und Bedingungen

• <trigger> gibt an, wann eine neue Plan-Instanz erzeugtwerden soll

• eventgetrieben: <internalevent>, <messageevent>,<goal>

• Verfeinerung durch <parameter> moglich• Ubereinstimmung aller angegebenen Parameter

• datengetrieben: <condition>, <beliefchange>,<beliefsetchange>, <factadded>, <factremoved>

• Vorbedingungen: <precondition>

• Kontextbedingungen: <contextcondition>

Beispiel: Reparaturplan

<trigger><condition> $beliefbase.out_of_order</condition></trigger><contextcondition> $beliefbase.repairable</contextcondition>

Einfuhrung indas

Jadex-System

Stefan Tittel

Einfuhrung

Komponenten

Capabilities

Beliefs

Events

Anhang:Beispiele

Beliefs

Trigger und Bedingungen

• <trigger> gibt an, wann eine neue Plan-Instanz erzeugtwerden soll

• eventgetrieben: <internalevent>, <messageevent>,<goal>

• Verfeinerung durch <parameter> moglich• Ubereinstimmung aller angegebenen Parameter

• datengetrieben: <condition>, <beliefchange>,<beliefsetchange>, <factadded>, <factremoved>

• Vorbedingungen: <precondition>

• Kontextbedingungen: <contextcondition>

Beispiel: Reparaturplan

<trigger><condition> $beliefbase.out_of_order</condition></trigger><contextcondition> $beliefbase.repairable</contextcondition>

Einfuhrung indas

Jadex-System

Stefan Tittel

Einfuhrung

Komponenten

Capabilities

Beliefs

Events

Anhang:Beispiele

Beliefs

Waitqueue und Cleanup

Waitqueue:

• Zeitverzogerung zwischen Eventauslosung und Ausfuhrungdes dadurch ausgelosten Planschrittes moglich

• in der Zwischenzeit ausgelostes Event, das erst nachAusfuhrung des Planschrittes relevant ist, wird nichtweitergegeben

• Losung: Spezifiziere, welche Events in die waitqueue solleninnerhalb von <waitqueue></waitqueue> oder ubergetWaitqueue() im body.

Cleanup:

• Plan erfolgreich, wenn Beendigung ohne exception;Spezifikation des Aufraumcodes mittels passed()

• Plan fehlgeschlagen, z. B. wenn exception geworfen;Spezifikation des Aufraumcodes mittels failed()

• Plan abgebrochen, z. B. wenn goal nicht mehr aktuell;Spezifikation des Aufraumcodes mittels aborted()

Einfuhrung indas

Jadex-System

Stefan Tittel

Einfuhrung

Komponenten

Capabilities

Beliefs

Events

Anhang:Beispiele

Beliefs

Waitqueue und Cleanup

Waitqueue:

• Zeitverzogerung zwischen Eventauslosung und Ausfuhrungdes dadurch ausgelosten Planschrittes moglich

• in der Zwischenzeit ausgelostes Event, das erst nachAusfuhrung des Planschrittes relevant ist, wird nichtweitergegeben

• Losung: Spezifiziere, welche Events in die waitqueue solleninnerhalb von <waitqueue></waitqueue> oder ubergetWaitqueue() im body.

Cleanup:

• Plan erfolgreich, wenn Beendigung ohne exception;Spezifikation des Aufraumcodes mittels passed()

• Plan fehlgeschlagen, z. B. wenn exception geworfen;Spezifikation des Aufraumcodes mittels failed()

• Plan abgebrochen, z. B. wenn goal nicht mehr aktuell;Spezifikation des Aufraumcodes mittels aborted()

Einfuhrung indas

Jadex-System

Stefan Tittel

Einfuhrung

Komponenten

Capabilities

Beliefs

Events

Anhang:Beispiele

Beliefs

Uberblick

1 Einfuhrung

Einfuhrung indas

Jadex-System

Stefan Tittel

Einfuhrung

Komponenten

Capabilities

Beliefs

Events

Anhang:Beispiele

Beliefs

Events in Jadex

• Jadex ist eventbasiert; nichts geschieht ohne event.

• <goalevent> – wird automatisch ausgelost• process event – active goal soll verfolgt werden• info event – Verarbeitung des goals beendet

• <internalevent> – explizite Einwege-Kommunikationinnerhalb des Agenten

• <messageevent> – Nachricht von/nach außen

• <parameter> bzw. <parameterset> moglich• Attribut direction ∈ {in, out, inout}

• alle events haben Attribute posttoall,metalevelreasoning, randomselection

• weitere benutzertransparente events (z. B. wenn beliefsplans auslosen)

Einfuhrung indas

Jadex-System

Stefan Tittel

Einfuhrung

Komponenten

Capabilities

Beliefs

Events

Anhang:Beispiele

Beliefs

Beispiel: Internal Event

Auszug aus ADF<events>

</internalevent></events>

Auszug aus planpublic void body() {

String update_info; ...IInternalEvent event =

createInternalEvent("gui_update");event.getParameter("content")

.setValue(update_info);dispatchInternalEvent(event); ...

Einfuhrung indas

Jadex-System

Stefan Tittel

Einfuhrung

Komponenten

Capabilities

Beliefs

Events

Anhang:Beispiele

Beliefs

Beispiel: Internal Event

Auszug aus ADF<events>

</internalevent></events>

Auszug aus planpublic void body() {

String update_info; ...IInternalEvent event =

createInternalEvent("gui_update");event.getParameter("content")

.setValue(update_info);dispatchInternalEvent(event); ...

Einfuhrung indas

Jadex-System

Stefan Tittel

Einfuhrung

Komponenten

Capabilities

Beliefs

Events

Anhang:Beispiele

Beliefs

Message Events

• Spezifikation aller zu sendenden und zu empfangendenmessage event types im ADF notwendig

• direction ∈ {send, receive, send receive}• Nachrichtentyp (Attribut type von <event>) gibt

mogliche Parameter an; derzeit nur FIPA1 moglich• message event type nur lokal bekannt, Vorgehensweise bei

eintreffender Nachricht?• Parametervergleich: Nachricht ⇔ message event type• nur Berucksichtigung wenn direction="fixed"

• Erzeugung: createMessageEvent(String type)• Emfanger: jadex.adapter.fipa.AgentIdentifier• Setze Nachrichteninhalt: setContent(Object content)• Senden: sendMessage(IMessageEvent me)• nutze Parameter conversion-id oder reply-with zur

Zuordnung von Antworten• direkte Antwort mit createReply()1Foundation for Intelligent Physical Agents

Einfuhrung indas

Jadex-System

Stefan Tittel

Einfuhrung

Komponenten

Capabilities

Beliefs

Events

Anhang:Beispiele

Beliefs

Beispiel: Message Event

<events><messageevent name="request_carry" type="fipa"direction="send"><parameter name="performative"class="String" direction="fixed"><value>SFipa.REQUEST</value>

</parameter><parameter name="reply-with" class="String">

<value>SFipa.createUniqueId(...)</value></parameter>

</messageevent>...

</events>

Einfuhrung indas

Jadex-System

Stefan Tittel

Einfuhrung

Komponenten

Capabilities

Beliefs

Events

Anhang:Beispiele

Beliefs

</messageevent>...

</events>

Einfuhrung indas

Jadex-System

Stefan Tittel

Einfuhrung

Komponenten

Capabilities

Beliefs

Events

Anhang:Beispiele

Beliefs

</messageevent>...

</events>

Einfuhrung indas

Jadex-System

Stefan Tittel

Einfuhrung

Komponenten

Capabilities

Beliefs

Events

Anhang:Beispiele

Beliefs

</messageevent>...

</events>

Einfuhrung indas

Jadex-System

Stefan Tittel

Einfuhrung

Komponenten

Capabilities

Beliefs

Events

Anhang:Beispiele

Beliefs

Literatur

I Alexander Pokahr, Lars Braubach, Andrzej Walczak. JadexUser Guide (Release 0.941). Internet:http://tinyurl.com/r4dly, 2005 (Stand: 2006–03–25).

I Lars Braubach, Alexander Pokahr, Andrzej Walczak. JadexTutorial (Release 0.941). Internet:http://tinyurl.com/h657v, 2005 (Stand: 2006–03–25).

I Diverse Autoren. Software-Agent. Internet:http://de.wikipedia.org/wiki/Software-Agent(Stand: 2006–03–25).

Einfuhrung indas

Jadex-System

Stefan Tittel

Einfuhrung

Komponenten

Capabilities

Beliefs

Events

Anhang:Beispiele

Beliefs

Uberblick

1 Einfuhrung

Einfuhrung indas

Jadex-System

Stefan Tittel

Einfuhrung

Komponenten

Capabilities

Beliefs

Events

Anhang:Beispiele

Beliefs

Uberblick

1 Einfuhrung

Einfuhrung indas

Jadex-System

Stefan Tittel

Einfuhrung

Komponenten

Capabilities

Beliefs

Events

Anhang:Beispiele

Beliefs

Service Plan 1/4

TranslationB1.agent.xml<agent ...><plans><plan name="egtrans"><body>new EGTPlB1()</body><waitqueue><messageevent ref="req_t"/>

</waitqueue></plan>

</plans><events><messageevent name="req_t"direction="receive" type="fipa"><parameter name="performative"class="String" direction="fixed">

Einfuhrung indas

Jadex-System

Stefan Tittel

Einfuhrung

Komponenten

Capabilities

Beliefs

Events

Anhang:Beispiele

Beliefs

Service Plan 1/4

</waitqueue></plan>

Einfuhrung indas

Jadex-System

Stefan Tittel

Einfuhrung

Komponenten

Capabilities

Beliefs

Events

Anhang:Beispiele

Beliefs

Service Plan 1/4

</waitqueue></plan>

Einfuhrung indas

Jadex-System

Stefan Tittel

Einfuhrung

Komponenten

Capabilities

Beliefs

Events

Anhang:Beispiele

Beliefs

Service Plan 2/4

<value>jadex.adapter.fipa.SFipa.REQUEST

</value></parameter>

</messageevent></events><initialstates><initialstate name="default"><plans><initialplan ref="egtrans"/>

</plans></initialstate>

</initialstates></agent>

Einfuhrung indas

Jadex-System

Stefan Tittel

Einfuhrung

Komponenten

Capabilities

Beliefs

Events

Anhang:Beispiele

Beliefs

Service Plan 2/4

Einfuhrung indas

Jadex-System

Stefan Tittel

Einfuhrung

Komponenten

Capabilities

Beliefs

Events

Anhang:Beispiele

Beliefs

Service Plan 2/4

Einfuhrung indas

Jadex-System

Stefan Tittel

Einfuhrung

Komponenten

Capabilities

Beliefs

Events

Anhang:Beispiele

Beliefs

Service Plan 3/4

EGTPlB1.javaimport java.util.*;import jadex.runtime.*;

public class EGTPlB1 extends Plan {HashMap h = new HashMap();public EGTPlB1() {h.put("firefly","Gluehwuermchen");h.put("serenity","Gelassenheit");

public void body() {while(true) {IMessageEvent me

= waitForMessageEvent("req_t");

Einfuhrung indas

Jadex-System

Stefan Tittel

Einfuhrung

Komponenten

Capabilities

Beliefs

Events

Anhang:Beispiele

Beliefs

Service Plan 3/4

Einfuhrung indas

Jadex-System

Stefan Tittel

Einfuhrung

Komponenten

Capabilities

Beliefs

Events

Anhang:Beispiele

Beliefs

Service Plan 3/4

Einfuhrung indas

Jadex-System

Stefan Tittel

Einfuhrung

Komponenten

Capabilities

Beliefs

Events

Anhang:Beispiele

Beliefs

Service Plan 3/4

Einfuhrung indas

Jadex-System

Stefan Tittel

Einfuhrung

Komponenten

Capabilities

Beliefs

Events

Anhang:Beispiele

Beliefs

Service Plan 4/4

String eword = (String)me.getContent();if (h.containsKey(eword)==true) {String gword = (String)h.get(eword);System.out.println(eword+" - "+gword);

}else {System.out.println("Not in database");

Einfuhrung indas

Jadex-System

Stefan Tittel

Einfuhrung

Komponenten

Capabilities

Beliefs

Events

Anhang:Beispiele

Beliefs

Passive Plan 1/2

TranslationB2.agent.xml

TranslationB1.agent.xml mit folgenden Anderungen:

• kein <initialstates></initalstates>

• <trigger> statt <waitqueue>, also:

<plans><plan name="egtrans"><body>new EGTPlB2()</body><trigger><messageevent ref="req_t"/>

</trigger></plan>

</plans>

Einfuhrung indas

Jadex-System

Stefan Tittel

Einfuhrung

Komponenten

Capabilities

Beliefs

Events

Anhang:Beispiele

Beliefs

Passive Plan 1/2

• kein <initialstates></initalstates>

• <trigger> statt <waitqueue>, also:

<plans><plan name="egtrans"><body>new EGTPlB2()</body><trigger><messageevent ref="req_t"/>

</trigger></plan>

</plans>

Einfuhrung indas

Jadex-System

Stefan Tittel

Einfuhrung

Komponenten

Capabilities

Beliefs

Events

Anhang:Beispiele

Beliefs

Passive Plan 2/2

EGTPlB2.java

EGTPlB1.java mit folgenden Anderungen:

• Wegfall der while(true)-Schleife

• IMessageEvent me =(IMessageEvent)getInitialEvent();

stattIMessageEvent me =waitForMessageEvent("req t");

Einfuhrung indas

Jadex-System

Stefan Tittel

Einfuhrung

Komponenten

Capabilities

Beliefs

Events

Anhang:Beispiele

Beliefs

Plan-Auswahl 1/2

EGTPlB3.java

EGTPlB2.java zzgl. public boolean containsWord(...)

• <precondition> fur plan”egtrans“:

<precondition>EGTPlB3.containsWord((String)$event.getContent())</precondition>

• Definition neuen plans zur Online-Suche:

<plan name="searchonline" priority="-1"><body>new SearchOnline()</body><trigger><messageevent ref="req_t"/>

</trigger></plan>

Einfuhrung indas

Jadex-System

Stefan Tittel

Einfuhrung

Komponenten

Capabilities

Beliefs

Events

Anhang:Beispiele

Beliefs

Plan-Auswahl 1/2

EGTPlB3.java

</trigger></plan>

Einfuhrung indas

Jadex-System

Stefan Tittel

Einfuhrung

Komponenten

Capabilities

Beliefs

Events

Anhang:Beispiele

Beliefs

Plan-Auswahl 1/2

EGTPlB3.java

</trigger></plan>

Einfuhrung indas

Jadex-System

Stefan Tittel

Einfuhrung

Komponenten

Capabilities

Beliefs

Events

Anhang:Beispiele

Beliefs

Plan-Auswahl 2/2

SearchOnline.java

public void body() {IMessageEvent me =

(IMessageEvent)getInitialEvent();String eword = (String)me.getContent();try {URL dict = new URL("http://wolfram.

schneider.org/dict/dict.cgi?query="+eword);BufferedReader in = new BufferedReader

(new InputStreamReader(dict.openStream()));// Bearbeite in und gibt Uebersetzung aus

}catch (Exception e) {}

Einfuhrung indas

Jadex-System

Stefan Tittel

Einfuhrung

Komponenten

Capabilities

Beliefs

Events

Anhang:Beispiele

Beliefs

Plan-Auswahl 2/2

SearchOnline.java

Einfuhrung indas

Jadex-System

Stefan Tittel

Einfuhrung

Komponenten

Capabilities

Beliefs

Events

Anhang:Beispiele

Beliefs

Plan-Auswahl 2/2

SearchOnline.java

Einfuhrung indas

Jadex-System

Stefan Tittel

Einfuhrung

Komponenten

Capabilities

Beliefs

Events

Anhang:Beispiele

Beliefs

Plan-Auswahl 2/2

SearchOnline.java

Einfuhrung indas

Jadex-System

Stefan Tittel

Einfuhrung

Komponenten

Capabilities

Beliefs

Events

Anhang:Beispiele

Beliefs

Uberblick

1 Einfuhrung

Einfuhrung indas

Jadex-System

Stefan Tittel

Einfuhrung

Komponenten

Capabilities

Beliefs

Events

Anhang:Beispiele

Beliefs

Belief 1/4

• neues Nachrichtenformat: <action> <language(s)><content>, also z. B.

”translate english german

doughnut“ oder”add english german doughnut

Berliner“• Worterbuch nun als belief realisiert

TranslationC1.agent.xml

<agent ...><beliefs><belief name="egw" class="Map"><fact>EGTPlC1.getDictionary()</fact>

</belief></beliefs><plans><plan name="addword"><body>new EGAddPlC1()</body>

Einfuhrung indas

Jadex-System

Stefan Tittel

Einfuhrung

Komponenten

Capabilities

Beliefs

Events

Anhang:Beispiele

Beliefs

Belief 1/4

Einfuhrung indas

Jadex-System

Stefan Tittel

Einfuhrung

Komponenten

Capabilities

Beliefs

Events

Anhang:Beispiele

Beliefs

Belief 1/4

Einfuhrung indas

Jadex-System

Stefan Tittel

Einfuhrung

Komponenten

Capabilities

Beliefs

Events

Anhang:Beispiele

Beliefs

Belief 1/4

Einfuhrung indas

Jadex-System

Stefan Tittel

Einfuhrung

Komponenten

Capabilities

Beliefs

Events

Anhang:Beispiele

Beliefs

Belief 2/4

</trigger></plan><plan name="egtrans"><body>new EGTPlC1()</body><trigger><messageevent ref="req_t"/>

</trigger></plan>

</plans><events><messageevent name="req_add"direction="receive" type="fipa"><parameter name="performative"class="String" direction="fixed">

Einfuhrung indas

Jadex-System

Stefan Tittel

Einfuhrung

Komponenten

Capabilities

Beliefs

Events

Anhang:Beispiele

Beliefs

Belief 2/4

</trigger></plan>

Einfuhrung indas

Jadex-System

Stefan Tittel

Einfuhrung

Komponenten

Capabilities

Beliefs

Events

Anhang:Beispiele

Beliefs

Belief 2/4

</trigger></plan>

Einfuhrung indas

Jadex-System

Stefan Tittel

Einfuhrung

Komponenten

Capabilities

Beliefs

Events

Anhang:Beispiele

Beliefs

Belief 2/4

</trigger></plan>

Einfuhrung indas

Jadex-System

Stefan Tittel

Einfuhrung

Komponenten

Capabilities

Beliefs

Events

Anhang:Beispiele

Beliefs

Belief 3/4

<value>SFipa.REQUEST</value></parameter><parameter name="content-start"class="String" direction="fixed"><value>"add english_german"</value>

</parameter></messageevent><messageevent name="req_t"direction="receive" type="fipa"><parameter name="performative"class="String" direction="fixed"><value>jadex.adapter.fipa.SFipa.REQUEST

Einfuhrung indas

Jadex-System

Stefan Tittel

Einfuhrung

Komponenten

Capabilities

Beliefs

Events

Anhang:Beispiele

Beliefs

Belief 3/4

Einfuhrung indas

Jadex-System

Stefan Tittel

Einfuhrung

Komponenten

Capabilities

Beliefs

Events

Anhang:Beispiele

Beliefs

Belief 3/4

Einfuhrung indas

Jadex-System

Stefan Tittel

Einfuhrung

Komponenten

Capabilities

Beliefs

Events

Anhang:Beispiele

Beliefs

Belief 4/4<parameter name="content-start"class="String" direction="fixed"><value>"translate english_german"

</messageevent></events>

</agent>

EGTPlC1.java / EGAddPlC1.java

• EGTPlC1.java ahnlich EGTPlB2.java

• statische Methode getDictionary() liefert Map

• Zugriff auf belief durch Map wordtable = (Map)getBeliefbase().getBelief("egw").getFact();

• Auswahl des Wortes durch StringTokenizer

Einfuhrung indas

Jadex-System

Stefan Tittel

Einfuhrung

Komponenten

Capabilities

Beliefs

Events

Anhang:Beispiele

Beliefs

Belief 4/4<parameter name="content-start"class="String" direction="fixed"><value>"translate english_german"

</messageevent></events>

</agent>

EGTPlC1.java / EGAddPlC1.java

• EGTPlC1.java ahnlich EGTPlB2.java

• statische Methode getDictionary() liefert Map

• Zugriff auf belief durch Map wordtable = (Map)getBeliefbase().getBelief("egw").getFact();

• Auswahl des Wortes durch StringTokenizer

Einfuhrung indas

Jadex-System

Stefan Tittel

Einfuhrung

Komponenten

Capabilities

Beliefs

Events

Anhang:Beispiele

Beliefs

Beliefset 1/2

TranslationC1.agent.xml mit folgenden Anderungen:

<beliefs><beliefset name="egw" class="Tuple"><fact>new Tuple("scope", "Weite")</fact><fact>new Tuple("tranquility", "Ruhe")</fact>

</beliefset></beliefs><expressions>

<expression name="query_egw">select one $wordpair.get(1)from Tuple $wordpair in $beliefbase.egwwhere $wordpair.get(0).equals($eword)<parameter name="$eword" class="String"/>

</expression></expressions>

Einfuhrung indas

Jadex-System

Stefan Tittel

Einfuhrung

Komponenten

Capabilities

Beliefs

Events

Anhang:Beispiele

Beliefs

Beliefset 1/2

Einfuhrung indas

Jadex-System

Stefan Tittel

Einfuhrung

Komponenten

Capabilities

Beliefs

Events

Anhang:Beispiele

Beliefs

Beliefset 1/2

Einfuhrung indas

Jadex-System

Stefan Tittel

Einfuhrung

Komponenten

Capabilities

Beliefs

Events

Anhang:Beispiele

Beliefs

Beliefset 2/2EGTPlC2.javaimport java.util.*; import jadex.runtime.*;public class EGTPlC2 extends Plan {protected IExpression queryword;public EGTPl2() {this.queryword = getExpression("query_egw");

}public void body() {MessageEvent me =

(IMessageEvent)getInitialEvent();StringTokenizer stok =

new StringTokenizer((String)me.getContent());stok.nextToken(); stok.nextToken();String eword = stok.nextToken();String gword =(String)queryword.execute("$eword", eword);

Einfuhrung indas

Jadex-System

Stefan Tittel

Einfuhrung

Komponenten

Capabilities

Beliefs

Events

Anhang:Beispiele

Beliefs

Einfuhrung indas

Jadex-System

Stefan Tittel

Einfuhrung

Komponenten

Capabilities

Beliefs

Events

Anhang:Beispiele

Beliefs

Einfuhrung indas

Jadex-System

Stefan Tittel

Einfuhrung

Komponenten

Capabilities

Beliefs

Events

Anhang:Beispiele

Beliefs

Einfuhrung indas

Jadex-System

Stefan Tittel

Einfuhrung

Komponenten

Capabilities

Beliefs

Events

Anhang:Beispiele

Beliefs

Belief Condition 1/2

Gratuliere jedem 10. Anfrager!

TranslationC2.agent.xml mit folgenden Erganzungen inden jeweiligen Sektionen:

<plan name="thankyou"><body>new ThankYouPlanC3()</body><trigger><condition>$beliefbase.transcnt>0 &&$beliefbase.transcnt%10==0

</condition></trigger></plan>

Einfuhrung indas

Jadex-System

Stefan Tittel

Einfuhrung

Komponenten

Capabilities

Beliefs

Events

Anhang:Beispiele

Beliefs

Einfuhrung indas

Jadex-System

Stefan Tittel

Einfuhrung

Komponenten

Capabilities

Beliefs

Events

Anhang:Beispiele

Beliefs

Einfuhrung indas

Jadex-System

Stefan Tittel

Einfuhrung

Komponenten

Capabilities

Beliefs

Events

Anhang:Beispiele

Beliefs

EGTPlC3.java

EGTPlC2.java mit folgender Erganzung:

int cnt = ((Integer)getBeliefbase().getBelief("transcnt").getFact()).intValue();

getBeliefbase().getBelief("transcnt").setFact(new Integer(cnt+1));

ThankYouPlanC3.java

Gib Gratulationsnachricht aus!

Einfuhrung indas

Jadex-System

Stefan Tittel

Einfuhrung

Komponenten

Capabilities

Beliefs

Events

Anhang:Beispiele

Beliefs

EGTPlC3.java

EGTPlC2.java mit folgender Erganzung:

int cnt = ((Integer)getBeliefbase().getBelief("transcnt").getFact()).intValue();

getBeliefbase().getBelief("transcnt").setFact(new Integer(cnt+1));

ThankYouPlanC3.java

Gib Gratulationsnachricht aus!

Einfuhrung indas

Jadex-System

Stefan Tittel

Einfuhrung

Komponenten

Capabilities

Beliefs

Events

Anhang:Beispiele

Beliefs

Uberblick

1 Einfuhrung

Einfuhrung indas

Jadex-System

Stefan Tittel

Einfuhrung

Komponenten

Capabilities

Beliefs

Events

Anhang:Beispiele

Beliefs

Achieve Goal 1/5

• Zusatzliche Ubersetzungsrichtung Englisch → Franzosisch

• neuer Plan ProcessT soll Ubersetzungsanfragenentgegennehmen und goals dispatchen

TranslationE1.agent.xml

basiert auf TranslationC2.agent.xml mit Anderungen:

</achievegoal></goals>

Einfuhrung indas

Jadex-System

Stefan Tittel

Einfuhrung

Komponenten

Capabilities

Beliefs

Events

Anhang:Beispiele

Beliefs

Achieve Goal 1/5

• Zusatzliche Ubersetzungsrichtung Englisch → Franzosisch

• neuer Plan ProcessT soll Ubersetzungsanfragenentgegennehmen und goals dispatchen

TranslationE1.agent.xml

basiert auf TranslationC2.agent.xml mit Anderungen:

</achievegoal></goals>

Einfuhrung indas

Jadex-System

Stefan Tittel

Einfuhrung

Komponenten

Capabilities

Beliefs

Events

Anhang:Beispiele

Beliefs

Achieve Goal 2/5

<plans><plan name="process"><body>new ProcessT()

</body><waitqueue><messageevent ref="req_t"/>

</waitqueue></plan><plan name="egtrans"><parameter name="word" class="String"><goalmapping ref="translate.word"/>

</parameter><parameter name="result" class="String"><goalmapping ref="translate.result"/>

</parameter>

Einfuhrung indas

Jadex-System

Stefan Tittel

Einfuhrung

Komponenten

Capabilities

Beliefs

Events

Anhang:Beispiele

Beliefs

Achieve Goal 2/5

</parameter>

Einfuhrung indas

Jadex-System

Stefan Tittel

Einfuhrung

Komponenten

Capabilities

Beliefs

Events

Anhang:Beispiele

Beliefs

Achieve Goal 2/5

</parameter>

Einfuhrung indas

Jadex-System

Stefan Tittel

Einfuhrung

Komponenten

Capabilities

Beliefs

Events

Anhang:Beispiele

Beliefs

Achieve Goal 3/5

<body>new EGTPlE1()</body><trigger><goal ref="translate"><parameter ref="direction"><value>"english_german"</value>

</parameter></goal>

</trigger></plan>

</plans><initialstates>

</initialstates>

Einfuhrung indas

Jadex-System

Stefan Tittel

Einfuhrung

Komponenten

Capabilities

Beliefs

Events

Anhang:Beispiele

Beliefs

Achieve Goal 3/5

</parameter></goal>

</initialstates>

Einfuhrung indas

Jadex-System

Stefan Tittel

Einfuhrung

Komponenten

Capabilities

Beliefs

Events

Anhang:Beispiele

Beliefs

Achieve Goal 3/5

</parameter></goal>

</initialstates>

Einfuhrung indas

Jadex-System

Stefan Tittel

Einfuhrung

Komponenten

Capabilities

Beliefs

Events

Anhang:Beispiele

Beliefs

Achieve Goal 4/5

ProcessT.java (Auszug)

while (true) {// hole Nachricht und zerlege sie in action,// dir und word mittels StringTokenizerIGoal goal = createGoal("translate");goal.getParameter("direction").setValue(dir);goal.getParameter("word").setValue(word);try {

dispatchSubgoalAndWait(goal);System.out.println(goal.getParameter("result").getValue());}

catch(GoalFailureException e) {System.out.println("Word not in database!")

Einfuhrung indas

Jadex-System

Stefan Tittel

Einfuhrung

Komponenten

Capabilities

Beliefs

Events

Anhang:Beispiele

Beliefs

Achieve Goal 4/5

Einfuhrung indas

Jadex-System

Stefan Tittel

Einfuhrung

Komponenten

Capabilities

Beliefs

Events

Anhang:Beispiele

Beliefs

Achieve Goal 4/5

Einfuhrung indas

Jadex-System

Stefan Tittel

Einfuhrung

Komponenten

Capabilities

Beliefs

Events

Anhang:Beispiele

Beliefs

Achieve Goal 4/5

Einfuhrung indas

Jadex-System

Stefan Tittel

Einfuhrung

Komponenten

Capabilities

Beliefs

Events

Anhang:Beispiele

Beliefs

Achieve Goal 4/5

Einfuhrung indas

Jadex-System

Stefan Tittel

Einfuhrung

Komponenten

Capabilities

Beliefs

Events

Anhang:Beispiele

Beliefs

Achieve Goal 5/5

EGTPlE1.java

• grundsatzlich analog zu EGTPlC2.java

• Anfrage wird nicht mehr durch StringTokenizer zerlegt,sondern liegt als Parameter vor, also:

String eword =(String)getParameter("word").getValue();

• Ausgabe findet nun durch ProcessT statt, EGTPlC2 setztdaher Ergebnis als Ruckgabeparameter:

getParameter("result").setValue(gword);

• wirf exception, wenn keine Ubersetzung gefunden:

throw new PlanFailureException();

Einführung in das Jadex-System fileBeliefs Goals Was ist Jadex? Was ist Jadex? ” Jadex is an...

Documents

Transcript of Einführung in das Jadex-System fileBeliefs Goals Was ist Jadex? Was ist Jadex? ” Jadex is an...