AgentSpeak(L)
aus Wikipedia, der freien Enzyklopädie
AgentSpeak(L) ist eine Agenten-Programmiersprache, die auf der BDI-Agenten-Architekturen von Rao und Georgeff basiert. BDI bedeutet Belief Desire Intention. AgentSpeak(L) ist eine Regel basierte Agenten Programmiersprache. Jeder AgentSpeak(L) Agent beinhaltet demzufolge beliefs, desires und intentions.
Inhaltsverzeichnis |
[Bearbeiten] Beliefs
Beliefs sind Fakten über die Domäne des Agenten. Diese Fakten werden mit einer first-order Logik dargestellt. Beispiele für Fakten sind: automarke(Mercedes) ... Mercedes ist eine Automarke. Das Prädikat automarke(…) ist ein einstelliges Prädikat, weil es nur ein Argument hat. Oder: geschwister(Mark, Thomas) ... Mark und Thomas sind Geschwister. Das Prädikat geschwister(…, …) ist ein zweistelliges Prädikat, weil es zwei Argumente hat.
[Bearbeiten] Desires
Desires sind Zustände, die ein Agent erreichen will und sind damit die Ziele des Agenten.
[Bearbeiten] Intentions
Intentions sind Pläne, die ein AgentSpeak(L) Agent ausführen will.
[Bearbeiten] Plan Library
Zusätzlich gibt es in AgentSpeak(L) noch eine Plan Library. Die Plan Library ist eine Sammlung von bewährten Plänen, die bei Bedarf abgerufen werden können. Ein Plan aus der Plan Library besteht aus einer invocation condition, die das Aufrufen des Plans auslöst, einem context, der aus Fakten besteht, die zu Beginn der Ausführung des Plans erfüllt sein müssen und einem body des Plans. Der Body ist eine Abfolge von Formeln, die angeben was der Plan macht.
