Die Methode: Ein Beschreibungskonzept für Algorithmen, bei dem neben der eigentlichen Algorithmenbeschreibung zusätzliche Informationen über das Algorithmenverhalten abgelegt werden, die es sowohl dem Entscheider als auch dem DSA ermöglichen, die Algorithmen im Hinblick auf ein globales Ziel sinnvoll einzusetzen

Zusammenfassung

Fakten sind Informationen, die vom DSA so behandelt werden, als wären sie unzerlegbar und unabhängig von anderen Informationen (siehe (1.3)). Auf einem Faktum sind zwei Funktionen (id, erz (1.3.5)) definiert. Die Funktion id liefert die Information, die zur Identifikation des Faktums vorgesehen ist, erz liefert den Methodenaufruf (1.3.6), der das Faktum erzeugt hat. Da man o.B.d.A. jede Information als Folge von Strings darstellen kann, wird im weiteren jedes Faktum durch einen Methodenaufruf und zwei Stringfolgen charakterisiert. Der erste steht für die identifizierende Information, der andere für die nicht identifizierende Information.