Die Arbeit entwickelt ein neues Modell zur Programmierung flexibler Agenten basierend auf dem Prinzip des situativen Agierens. Demnach konstituiert sich reaktives Verhalten aus den beiden Vorgängen Erkennen und Handeln. Üblicherweise wird eine Form von Bedingungs-Aktions-Regeln verwendet, um reaktives Verhalten programmiersprachlich zu beschreiben. Problematisch hierbei ist die oft geringe Ausdrucksstärke sowohl der Bedingungs- als auch der Aktionssprache, sowie der Mangel an Strukturierungsmitteln, die über das Regelkonstrukt hinausgehen. Das vorgestellte Berechnungsmodell Sita betrachtet das Erkennen und das Handeln als zwei verschiedenartige und zunächst getrennte Berechnungsmodi, deren Spezifikation nach zwei unterschiedlichen Beschreibungsformalismen verlangt. Die Situationserkennung bedient sich einer Hornklausellogik, die es ermöglicht, komplexe Situationsklassen auf deklarative Weise zu beschreiben. Die Handlungen des Agenten werden dagegen auf imperative Weise in einem nebenläufigen Prozeßkalkül beschrieben. Durch das Konstrukt der überwachten Auswahl können Prozesse auf das Eintreffen bestimmter Situationen warten und ihr weiteres Vorgehen von der Art der aufgetretenen Ereignisse abhängig machen. Umgekehrt können Prozesse ihrerseits neue Ereignisse generieren und so das Wissen um die aktuelle Situation modifizieren. Die verwendete Hornklausellogik schließt Funktionssymbole, Negation und Rekursion als Sprachmittel mit ein, und geht damit in ihrer Ausdrucksstärke deutlich über die Bedingungssprachen der aus der Literatur bekannten regelbasierten Systeme hinaus. Das Logikprogramm wird durch ein inkrementelles, vorwärtsverkettendes und datengetriebenes Verfahren ausgewertet, den IDC-Algorithmus (Incremental Deductive Closure). Dieser bezieht seine Effizienz aus einer Reihe neu entwickelter Optimierungstechniken.     «

Die Arbeit entwickelt ein neues Modell zur Programmierung flexibler Agenten basierend auf dem Prinzip des situativen Agierens. Demnach konstituiert sich reaktives Verhalten aus den beiden Vorgängen Erkennen und Handeln. Üblicherweise wird eine Form von Bedingungs-Aktions-Regeln verwendet, um reaktives Verhalten programmiersprachlich zu beschreiben. Problematisch hierbei ist die oft geringe Ausdrucksstärke sowohl der Bedingungs- als auch der Aktionssprache, sowie der Mangel an Strukturierungsmitt...     »

This thesis proposes a novel programming model for flexible agents based on the notion of situated acting. According to this principle reactive behaviour is made up by the two complementary skills of recognition and action. Up to now condition-action rules are a common approach for programming reactive behaviour. However, this approach implicates some problems. The languages for the condition parts as for the action parts of the rules usually have both a very limited expressive power. Furthermore there is a lack of structuring means that go beyond the rule construct. We present the new computational model Sita that solves these problems. In this architecture recognition and action are regarded as two different and separated computational modes, which should be specified using two different formalisms. The situation recognition uses a Horn clause logic, enabling the description of complex situation classes in a declarative manner. The actions of the agent are described in a imperative manner using a concurrent process calculus. The construct of a guarded choice links the occurrence of a complex situation to an appropriate procedural response. Conversely, processes may generate new events and thereby modify the present situation. The Horn clause logic includes function symbols, negation and recursion. It substantially exceeds the expressive power of the condition languages of most rule based systems known from literature. The logic program is evaluated by an event-driven bottom-up algorithm, which we call IDC-algorithm (Incremental Deductive Closure). The efficiency of the evaluation is obtained by a variety of newly developed optimization techniques.     «

This thesis proposes a novel programming model for flexible agents based on the notion of situated acting. According to this principle reactive behaviour is made up by the two complementary skills of recognition and action. Up to now condition-action rules are a common approach for programming reactive behaviour. However, this approach implicates some problems. The languages for the condition parts as for the action parts of the rules usually have both a very limited expressive power. Furthermor...     »