<mod-ki 0819> Fundsache, DFG-Schwerpunktprogramm Deduktion
Hans-Werner Hein
To: mod...@unido.Germany.EU.net
Date: Thu, 12 Dec 91 21:40:22 GMT
Subject: <mod-ki 0819> Fundsache, DFG-Schwerpunktprogramm Deduktion
Keywords: Deduktion, Foerderprogramme, DFG
mod-ki message 0819
************************************************************************
DFG Informationen fuer die Wissenschaft Nr. 15 25. November 1991
Schwerpunktprogramme: Deduktion
Der Senat der DFG hat die Einrichtung eines Schwerpunktprogramms
"Deduktion" beschlossen.
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, Repraesentationsstrukturen und
Implementierungstechniken durch eingehende Vergleiche eine gewisse
Sichtung, Ordnung und Vereinheitlichung geschaffen werden, die
tragfaehig genug ist, um als Richtungsmarkierung und Orientierung zu
dienen. Aus der Erkenntnis dieser Analysen soll auf eine moeglichst
adaequate universelle Deduktionsmethode fuer eine ausdrucksstarke Logik
hingearbeitet werden, die als Integration von Detailmethoden zu
verstehen ist.
Ein weiteres gleichrangiges Teilziel ist die Fortentwicklung bewaehrter,
aber noch nicht ausgereifter Methoden ebenso wie bislang noch weniger
beachteter Ansaetze, immer mit Blick auf das Leitziel.
Untrennbar verbunden mit der theoretischen Arbeit muss die
Systementwicklung einhergehen. Als Ziel wird die Entwicklung von zwei
bis drei groesseren Gesamtsystemen verfolgt, die sich an der oben
erwaehnten, angestrebten Deduktionsmethode orientieren und hinsichtlich
ihrer Performanz bisherige Systeme grundsaetzlich und wesentlich
uebertreffen. Es waere wuenschenswert, wenn sich gegebenenfalls jeweils
mehr als eine Forschergruppe an je einer Systementwicklung beteiligen
wuerde. Unabhaengig davon ist die Entwicklung einer Reihe von
spezielleren Systemen moeglich.
Eine Foerderung dieses Schwerpunktprogramms ist fuer die Dauer von sechs
Jahren vorgesehen.
Informationen erteilt das Referat Ingenieurwissenschaften 3 (Dipl.-Ing.
Karlernst Seifert) der Deutschen Forschungsgemeinschaft,
Kennedyallee 40, 5300 Bonn 2, Tel: 0228-885-2283
[Vorsorgliches Dementi: Zwar sendet mod-ki gelegentlich auch Satire,
aber dieser Text ist, soweit ich das wissen kann, echt! hwh]
************************************************************************