Agentensysteme - Dokumentenserver Fakultät für Mathematik und ...

Entwicklungsstand
• es besitzt eine formal definierte deklarative Semantik, d.h. die
Bedeutung eines Ausdrucks ist ohne die Verwendung eines Interpreters
verständlich
• es verwendet eine Präfix-Variante des Prädikatenkalküls erster
Stufe mit verschiedenen Erweiterungen und ist logisch abgeschlossen
• KIF ist in der Lage, nichtmonotone Schlußfolgerungsregeln zu
repräsentieren, was z.B. für die Übermittlung des Weltmodells
eines Agenten in einer dynamischen Umgebung gebraucht werden
könnte
• die Repräsentation von Wissen über die Repräsentation von
Wissen wird unterstützt, wodurch neue Konstrukte für die Wissensrepräsentation
ohne Änderungen an der Sprache eingeführt
werden können
Das Format von KIF orientiert sich stark an der Programmiersprache
LISP und verwendet als Alphabet den ASCII-Zeichensatz. Ein logischer
Ausdruck der Form ∀x : P(
x)
→ Q(
x)
würde als Satz in KIF
folgende Form besitzen: (forall ?x (=> (P ?x) (Q ?x))).
Die in [Gen92] vorgestellte Definition von KIF ist als erweiterbares
Grundgerüst gedacht, das durch die in der Sprache gebotenen Elemente
an die spezifischen Bedürfnisse der Anwendung angepaßt
werden kann, z.B. an eine frame-basierte Wissensdarstellung.
Ob sich KIF für die interne Repräsentation von Wünschen und Zielen
von Agenten eignet, hängt wahrscheinlich von der Komplexität
der benötigten Schlußfolgerungsmechanismen über diesen Strukturen
und den Umfang der Daten ab. Für den Austausch solcher Informationen
zwischen Agenten läßt es sich jedoch aufgrund seiner
umfassenden Funktionalität sinnvoll einsetzen.
2. Ontolingua
Die SRKB-Arbeitsgruppe stellte als ein Hauptproblem für den Datenaustausch
zwischen WBS die Notwendigkeit der Verwendung einer
gemeinsamen Ontologie heraus. Eine Ontologie in diesem Sinne
läßt sich wie folgt definieren: „A specification of a representational
vocabulary for a shared domain of discourse — definitions of
classes, relations, functions, and other objects — is called an ontology.“
[Gru93]
Der Einsatz einer Ontologie in einem WBS erfordert eine Repräsentationssprache,
die diese Konzepte im Programm formal kodiert.
Die einfachste Art, eine zwischen den Systemen austauschbare
Ontologie zu erhalten, ist, die gleiche Repräsentationssprache zu
benutzen. Da jedoch verschiedene Anwendungen unterschiedliche
Anforderungen an Schlußfolgerungsmechanismen stellen und die
existierenden Repräsentationssysteme jeweils für andere Aufgaben
optimiert sind, ist die Verwendung einer einheitlichen Repräsentati-
25