🚀 go-pugleaf

From: mod-ki@unido.Germany.EU.net
To: mod-ki@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]
************************************************************************