Oberstes Leitziel ist die Konvergenz von Methoden in der Deduktion und, im Gefolge davon, von Deduktionssystemen. Als unmittelbares Teilziel hiervon soll in der verwirrenden Vielfalt von Logiken, Formalismen, Methoden, Strategien, Repräsentationsstrukturen und Implementierungstechniken durch eingehende Vergleiche eine gewisse Sichtung, Ordnung und Vereinheitlichung geschaffen werden, die tragfähig genug ist, um als Richtungsmarkierung und Orientierung zu dienen. Aus der Erkenntnis dieser Analysen soll auf eine möglichst adäquate universelle Deduktionsmethode für eine möglichst ausdrucksstarke Logik hingearbeitet werden, die als Integration der Detailmethoden zu verstehen ist. Ein weiteres gleichrangiges Teilziel ist die Fortentwicklung bewährter, aber noch nicht ausgereifter Methoden ebenso wie bislang noch weniger beachteter Ansätze, immer mit Blick auf das Leitziel.



