🚀 go-pugleaf

From: jcg@hubinf.uucp (Jan Grabowski)
To: mod-ki@unido.informatik.uni-dortmund.de
Date: Mon, 21 Jan 91 14:54:09 GMT
Subject: <mod-ki 0635> KI-Forschung in Ostdeutschland (Teil 1 von 2)
Keywords: Berichte

mod-ki message 0635
************************************************************************
KI-Forschung in Ostdeutschland

Eine Dokumentation von
   Jan Grabowski
   Humboldt-Universitaet zu Berlin
   Fachbereich Informatik
   E-mail: jcg@hubinf.uucp

Dies  ist  die  ausfuehrliche  Fassung  der  Dokumentation.  Eine  stark
gekuerzte Fassung erscheint in "KI".

Kuenstliche Intelligenz war in der DDR bis in die 80er Jahre hinein eine
eher exotische Disziplin. War sie  anfangs  vor  allem  auf  ideologisch
motivierten  Widerstand  gestossen,  so  hatte  sie  spaeter  vor  allem
wirtschaftliche und fachliche Akzeptanzhuerden zu ueberwinden.  Fuer  KI
in der DDR standen in jenen Jahren vor allem  das  Zentralinstitut  fuer
Kybernetik und Informationsprozesse in Berlin und  die  KI-Arbeitsgruppe
des Kombinats Robotron in Dresden. Die  Computerlinguistik  im  Berliner
Zentralinstitut fuer Sprachwissenschaft, die Kognitionsforschung an  der
Berliner Humboldt-Universitaet und LISP-orientierte Entwicklungen an den
Technischen Universitaeten in Dresden und Karl-Marx-Stadt gehoerten  zum
Anfangskapital, als um 1984 der Aufschwung auch hier einsetzte, freilich
abgebremst durch die Knappheit der Mittel, die  ungenuegenden  Kontakte,
einseitige Foerderungspolitik, Skepsis und Traegheit in  der  Wirtschaft
und nicht zuletzt die COCOM-Liste.

Zahlreiche Hochschulen schalteten sich in das Geschehen ein,  und  meist
auf Initiative engagierter Einzelpersonen entstanden Anwendergruppen  in
vielen  Industriezweigen.  Die  Gesellschaft  fuer  Informatik  der  DDR
bildete eine Fachsektion Kuenstliche Intelligenz, und mit  gutem  Erfolg
wurden 1988 und 1989 KI-Sommerschulen durchgefuehrt.

Mit  der   Vereinigung   der   Informatik-Gesellschaften   erhaelt   der
Fachbereich 1 der GI einen  Zugang  von  mehreren  Hundert  Mitgliedern.
Diese Dokumentation soll  die  Informationsluecken  darueber  schliessen
helfen,  was  der  KI-Gemeinschaft  da   zuwaechst.   Wer   an   Details
interessiert ist, kann sich in  der  angegebenen  Literatur  informieren
oder   die   Kontaktadresse   anschreiben.   Aber   auch    fuer    eine
Globaluebersicht,    etwa    als     ergaenzende     Information     bei
wissenschaftspolitischen  Entscheidungen,  koennte  diese  Dokumentation
geeignet sein. Sachliche Information auf Ebenen kann helfen,  faire  und
realistische Entscheidungen zu treffen.

Die Strukturen, von denen  die  Rede  ist,  entsprechen  dem  Stand  vom
Oktober  1990.  Wenn  diese  Dokumentation   erscheint,   duerften   die
absehbaren   Um-,   Auf-   und    Zusammenbrueche    der    ostdeutschen
Wissenschaftslandschaft diese Strukturen schon  veraendert  haben.  Fuer
den Insider sind neue Themen und vor allem  neue  Kooperationslinien  in
Richtung  Westen  an  vielen  Stellen  schon  erkennbar.  (Nachtrag  bei
Redaktionsschluss im Januar 1991: Auch die Namen vieler Institute haben
sich inzwischen veraendert.)

Diese  Dokumentation  beruht   ausschliesslich   auf   Zuschriften   der
KI-Forschungsgruppen. Nicht repraesentiert  sind  Potentiale,  die  sich
nicht als KI-Forschungsgruppen definieren. Wer im September  nicht  mehr
Mitglied der GI der DDR war, hat die Aufforderung moeglicherweise  nicht
erhalten und wurde aus diesem Grunde nicht beruecksichtigt.  Offenkundig
unterrepraesentiert sind die  Aktivitaeten  in  den  Grenzbereichen  zur
Bildverarbeitung, Robotik und Kognitionsforschung. Ob die  sehr  geringe
Repraesentanz  der  Industrie  und  anderer  Praxisbereiche  neben   den
genannten Gruenden auch schon auf die Aufloesung der dortigen Potentiale
schliessen laesst, kann ich nicht  sicher  sagen,  halte  es  aber  fuer
moeglich.

Bei der Bearbeitung wurden nur notwendige Kuerzungen vorgenommen;  keine
Zuschrift blieb unberuecksichtigt. Es war  keine  Wertung  beabsichtigt,
insbesondere also auch nicht durch die Anordnung.


------------------------------------------------------------------------
Forschungsgruppen, die auf dem Gebiet der mathematischen Grundlagen  der
KI,  der  Deduktionssysteme  und  des  Symbolischen  Rechnens   arbeiten
(s. auch 15.)
------------------------------------------------------------------------

1. Forschungsgruppe "Algorithmisches und maschinelles Lernen"
   (Humboldt-Unviersitaet Berlin)

Themen:
   - Induktive Inferenz
   - Neuronale Netze
   - Untere Schranken fuer die Schaltkreiskomplexitaet Boolescher
     Funktionen

Ergebnisse:
   - Stochastische Lernstrategien koennen determinierten Lernstrategien
     gravierend ueberlegen sein. [1]
   - Gut ausgewaehlte Information ("gute Beispiele") ueber zu lernende
     Objekte kann den Umfang der dadurch erlernbaren Klassen "um
     Groessenordnungen" erweitern. [2]
   - Die Klasse aller Pattern-Sprachen ist (in mehreren Lernmodellen)
     in Polynomialzeit erlernbar. [3]
   - Untere Schranken fuer die Komplexitaet von
     Schwellenwert-Schaltkreisen in Abhaengigkeit von quantitativen bzw.
     strukturellen Parametern zu erlernender Objektklassen. [4]

Vorhaben:
   - Weiterfuehren der Grundlagenforschung zur induktiven Inferenz.
   - Moeglichkeiten und Grenzen des effizienten Lernens "strukturierter"
     Objektklassen in verschiedenen Lernmodellen.
   - Algorithmen zur Synthese neuronaler Netze und fuer deren Lernphase;
     experimentelle Softwareloesungen.

Kontakt:
   Prof. Dr. R. Wiehagen, Humboldt-Universitaet, Fachbereich Informatik,
   PSF 1297, O-1086 Berlin
   e-mail: Wiehagen@hubinf.uucp


2. Forschungsgruppe "Algorithmisches Lernen"
   (Technische Hochschule Leipzig)

Themen:
   - Theoretische Grundlagen des maschinellen Lernens (Algorithmen und
     Komplexitaet)

Ergebnisse:
   a)Pattern-Inferenz: [3] [8]
   - Polynomiale Loesung des allgemeinen Pattern-Inferenz-Problems mit
     einem nichtkonsistenten Algorithmus
   - Polynomiale Loesung des Pattern-Inferenz-Problems mit beschraenkter
     Variablenzahl
   - Monotone und konsistente Loesung des Pattern-Inferenz-Problems
   b)Vervollstaendigung von Termersetzungssystemen: [6] [7]
   - Regeln zur Vervollstaendigung fuer Faelle, in denen der
     Knuth-Bendix-Algorithmus divergiert
   - Charakterisierung von Faellen, in denen automatische
     Knuth-Bendix-Vervollstaendigung durch Induktion moeglich ist

Vorhaben:
   - Abheben von semantischem Wissen aus Faellen (Mitwirkung am
     geplanten BMFT-Verbundprojekt FABEL zum maschinellen Lernen)
   - Integration von induktiver Programmsynthese in
     Programmtransformationssysteme (Partner: Uni HB)
   - Wissensbasierte Pattern-Inferenz fuer den Wissenserwerb
     (Partner: Siemens AG)
   - Neuronale Netze

Kontakt:
   Prof. Dr. Klaus-Peter Jantke, TH Leipzig,
   FB Mathematik und Informatik, PSF 66, O-7030 Leipzig


3. Forschungsgruppe "Symbolisches Rechnen" (Universitaet Leipzig)

Themen:
   - Computeralgebra
   - Theorembeweisen

Ergebnisse:
   - Erweiterung der Theorie der Groebnerbasismethoden auf
     nichtkommutative Algebren und deren Quotienten-Schiefkoerper;
     Entwicklung entsprechender Algorithmen [33] [34]
   - Ergebnisse zum Einbau von offenen Theorien in Beweisprozeduren, die
     nach der Matrixmethode arbeiten [35]
   - Untersuchung von Entwurfs- und Implementierungsproblemen von
     Systemen des symbolischen Rechnens

Vorhaben:
   - Uebertragung der erzielten Ergebnisse zu den Groebnerbasismethoden
     auf weitere Klassen von Algebren
   - Einbau konkreter Theorien in Beweisprozeduren, Untersuchungen zur
     Verbesserung der Zielgerichtetheit der Beweisprozedur.
   - Experimentelle Implementierungen

Kontakt:
   Prof. Wolfgang Lassner, Sektion Informatik, Universitaet Leipzig,
   Augustusplatz 10, O-7010 Leipzig


------------------------------------------------------------------------
Forschungsgruppen, die hauptsaechlich Sprachen und Werkzeuge entwickeln,
oft auch mit Grundlagen- oder Anwendungsthemen
------------------------------------------------------------------------

4. Forschungsgruppe "Funktionale Programmierung"
   (Institut fuer Kuenstliche Intelligenz, Berlin)

Themen:
   - Strategien der Lisp-Implementation
   - Sprachkonzepte und Standardisierung
   - Compilierung von Lisp
   - Integration von KI-Sprachkonzepten

Ergebnisse: [77] [78]
   - Strategien zur Erhoehung der Speicher- und Laufzeiteffizienz von
     Lisp, einschliesslich Validierung
   - Integrationsmodelle fuer Fremdfunktionen und Softwaresysteme (C,
     Fensterverwaltung, Datenbank)
   - Integration von objekt-orientierten, regelorientierten und
     logischen Verarbeitungskonzepten
   - Programmierumgebung (z.B. ein ueber der internen
     Objektrepraesentation arbeitender Editor mit bildschirmorientierter
     Texteditor-Oberflaeche und ein hochflexibler Graphbrowser)
   - eine komplette Common-Lisp-Implementation.

Vorhaben:
   - Effiziente, komfortable und in die Softwarewelt integrierte
     LISP-Implementation mit Modul- und Typkonzept, Konfigurierbarkeit
     und Optimierung auf der Grundlage globaler Programmanalysen
     (Partner: GMD F3-XPS, Uni KI, DFKI)

Kontakt:
   Dr. Horst Friedrich, Institut fuer Kuenstliche Intelligenz im ZKI,
   PF 1298, O-1086 Berlin


5. Forschungsgruppe "Logische Programmierung"
   (Institut fuer Kuenstliche Intelligenz, Berlin)

Themen:
   - Logische Wissensrepraesentations- und Wissensverarbeitungskonzepte
   - Prolog und Datenbanken
   - Logische Programmierung fuer Planungs- und Konfigurationssysteme.

Ergebnisse: [79] [90] [91] [90]
   - Funktionale Komponente fuer Prolog auf der Basis von
     Termersetzungssystemen
   - Objektorientierte Komponente fuer Prolog
   - Interfaces zu den Datenbanksystemen INGRES und DATATRIEVE
   - Verfahren fuer die logische Programmierung (und Repraesentation)
     von Konfigurierungsaufgaben.

Vorhaben:
     (Partner: DFKI, TU B, FU B, IPK Berlin, GMD KA, ITK Bratislava)
   - Theoretische Untersuchungen und experimentelle Realisierungen zur
     konfliktfreien Integration von Methoden der deklarativen, logischen
     Programmierung mit funktionaler und objektorientierter
     Wissensrepraesentation
   - Anwendung der Ergebnisse im Bereich Produktionsplanung und
     Konfiguration.

Kontakt:
   Prof. Dr. Ulrich Geske, Institut fuer Kuenstliche Intelligenz im ZKI,
   PF 1298, O-1086 Berlin


6. Forschungsgruppe: Grundlagen der Wissensverarbeitung
   (Humboldt-Universitaet zu Berlin)

Themen:
   - Prolog (Interpreter/Compiler, Programmanalyse und -transformation,
     hybride Systeme, verteilte Verarbeitung
   - Expertensysteme (Diagnosesysteme, Fragestrategien,
     Wissensrepraesentation, Verarbeitung unsicheren Wissens)
   - Such- und Inferenzstrategien (Steuerung wissensverarbeitender
     Systeme, verteilte und hierarchische Verfahren,
     Implementationsbausteine, compilierbare Verfahren)
   - Verteilte Verarbeitung (Blackboard-Systeme, Arbeit mit verteilten
     Wissensbasen)
   - Neuronale Netze (Mathematische Grundlagen, Modellbildung, Anwendung
     in der WV, hybride Systeme)

Ergebnisse:
   - Interpreter "HU-Prolog" (Implementation und Portierungen) [11]
   - APES-orientierte Expertensystemshell unter Einbeziehung unsicheren
     Wissens [12]
   - Hybride Prolog-Systeme [13]
   - Konfigurierbares Blackboard-System und sein Einsatz im
     Layoutentwurf von Logikschaltkreisen [14]

Vorhaben:
   - Expertensystem in der Histologie (Partner: Charit'e)
   - Diagnosesystem fuer Nierenkarzinome [15]
   - Verteilte Wissensverarbeitung (Partner: IIT Sofia)
   - Anwendungen des Blackboardsystems im VLSI-Entwurf (Partner: Uni SB)
     und in der Softwaretechnik (Partner: FU B)
   - Anwendung von Neuronalen Netzen und Methoden der
     Wissensverarbeitung bei der EEG-Analyse (Partner: FU B)
   - Untersuchung und Implementation von Such- und Inferenzstrategien,
     Steuerung der Abarbeitung in wissensbasierten Systemen
   - Entwicklung und Anwendung hybrider wissensverarbeitender Systeme

Kontakt:
   Doz. Dr. sc. nat. H.-D. Burkhard, Fachbereich Informatik,
   Humboldt-Universitaet zu Berlin, Postfach 1297, O-1086 Berlin
   e-mail: hdb@hubinf.uucp


7. Forschungsgruppe "Logische Programmierung"
   (Humboldt-Universitaet zu Berlin)

Themen:
   - Erweiterunge der logischen Programmierung
   - Logische Grundlagen der KI

Ergebnisse:
   - Wissensakquisitionsmodul, Datenbankkopplung und
     Modulzugriffskontrolle fuer Prolog [16]
   - Logische Programmiersprache PROPEL mit Moduln, Klassen, Instanzen,
     Fokus (Entwurf [17] und Implementation [18]

Vorhaben:
   - WR-Tools und Anwendungen fuer PROPEL
   - Transformation und Relativierung von logischen Wissensbasen
   - Integration von Computeralgebra-Methoden in die logische
     Programmierung

Kontakt:
   Prof. Dr. sc. nat. Jan Grabowski, Fachbereich Informatik,
   Humboldt-Universitaet zu Berlin, Postfach 1297, O-1086 Berlin
   e-mail: jcg@hubinf.uucp


8. Forschungsgruppe "Kuenstliche Intelligenz" am Institut fuer
   Datenbanken und KI (Technische Universitaet Dresden)

Themen:
   - Entwicklung, Implementation und Anwendung von Wissensmodellen,
     Problemloesungsverfahren, Schnittstellen sowie
     Architekturkonzepten fuer wissensbasierte Systeme.

Ergebnisse:
   - Werkzeugsysteme zur Wissensverarbeitung geschaffen jeweils auf
     Basis der Programmiersprachen LISP ([19]) und PROLOG ([20]),
     darunter: Implementationen von Wissensmodellen (Logik, Frames,
     Produktionsregeln, Neurale Netzwerke, ATMS), Unterstuetzungssysteme
     (objektorientierte, funktionale, Sicherungs-, Dialog-, Grafik-,
     Datenbankkomponenten) sowie Schnittstellen zwischen verschiedenen
     Systemen (zwischen einzelnen Werkzeugkomponenten, zu
     Datenbanksystemen, zu traditionellen Programmiersprachen).
   - Anwendungen (Expertensysteme fuer Konstruktion, Klassifikation,
     Diagnose und Therapie) [21].

Vorhaben:
   - Hybride Formen der Wissensrepraesentation,
     Problemloesungsverfahren, Schnittstellen und Architekturkonzepte
     werden auf eine einheitliche Grundlage gestellt und damit
     generierbar gemacht. (Foerderprojekt des BMFT)
   - Schaffung von Methoden und Werkzeugen fuer Strukturierung, Aufbau,
     Pflege, Wartung und Nutzung grosser Wissensbestaende.
   - Wissensbasierte Systeme im Umweltschutz (Partner: Siemens AG)

Kontakt:
   Doz. Dr. Uwe Petersohn, Dr. Wolfgang Oertel,
   Institut fuer Datenbanken und Kuenstliche Intelligenz,
   Informatik-Zentrum der TU Dresden, Mommsenstrasse 13,
   O-8027 Dresden, Tel. Dresden 4575 431/430


------------------------------------------------------------------------
Forschungsgruppen, die ueberwiegend auf dem Gebiet  der  Neuralen  Netze
arbeiten (s. auch 6.)
------------------------------------------------------------------------

9. Forschungsgruppe "Neuroinformatik" (Universitaet Leipzig)

Themen:
   - Informationsverarbeitung in neuronalen Netzen (Assoziativspeicher,
     Lernverhalten, Klassifikation, Algorithmentheorie, biologische
     Informationsverarbeitung)

Ergebnisse:
   - Verbesserung der Wiedergabequalitaet beim Standard-(Hopfield)
     Modell durch Einfuehrung inputabhaengiger Schwellwerte [22] [23]
   - theoretische Behandlung und Optimierung von Lernverfahren bei
     korrelierten Lerninhalten [24]
   - Entwicklung komplexer neuronaler Architekturen [26] [27] [25]
   - Bestimmung einer Klasse von Nervenzellen mit irregulaeren
     Verzweigungsmustern ueber Fortsaetze, fuer die das Problem der
     Spannungsausbreitung analytisch loesbar ist [28] [29]

Vorhaben
   - Netzwerktheorie-Ansaetze zu einer theoretischen Beschreibung des
     Gehirns und des Immunsystems (Partner: TU M und Uni D)

Kontakt:
   Prof. Dr. sc. nat. H. Englisch, Sektion Informatik,
   Universitaet Leipzig, Augustusplatz, O-7010 Leipzig


10. Forschungsgruppe: "Adaptive Neuronale Netze" (ADANET)

Themen:
   - Entwicklung und Erprobung neuartiger Algorithmen fuer kuenstliche
     neuronale Netzwerke, insbesondere Algorithmen zum Erlernen
     temporaler Musterfolgen.

Ergebnisse:
   - Netzwerkalgorithmen fuer die Speicherung zeitlicher Musterfolgen
     und ihrer Zeitabstaende sowie ein Netzwerksimulationssystem
     [30] [31] [32]

Vorhaben:
   Anwendungen der Netzwerkalgorithmen
   - wissenschaftlich-technisch: adaptive Regler, Roboterarmsteuerungen,
     Modelle der Handlungssteuerung in der kognitiven Psychologie
   - wirtschaftlich: Prozesssteuerung, Vorhersage).

Kontakt:
   - Matthias Mueller, Institut fuer kognitive Psychologie,
     Rudower Chaussee 5, O-1199 Berlin, Tel. 674 26 32
   - Peter Schmidt, Lehrstuhl Systemanalyse, FB Wirtschaftsinformatik,
     Hochschule fuer Oekonomie, H.-Duncker-Str. 7, O-1157 Berlin,
     Tel. 504 2749


------------------------------------------------------------------------
Forschungsgruppen der Verarbeitung natuerlicher Sprache
------------------------------------------------------------------------

11. Bereich "Automatische Sprachverarbeitung"
    (Zentralinstitut fuer Sprachwissenschaft Berlin)

Themen:
   - Computerlinguistik, sprachorientierte Kuenstliche Intelligenz

Ergebnisse:
   - Linguistisch-logische Grundlagen (Theorie der sprachlichen Negation
     und Praesupposition [69], Repraesentation von Verben und
     Verbfeldern fuer lexikalische Wissensbasen [70], Formalisierung von
     Zeitbeziehungen in Texten [71])
   - Experimentelle maschinelle Uebersetzung Deutsch - Russisch
     (adaequate Uebersetzung von Verbgruppen einschliesslich Aspektwahl,
     Modal- und Passivkonstruktionen; LISP-Prototyp [72])
   - Arbeiten zu lexikalischen Datenbanken fuer die Computerlinguistik
     (Grundlagen aus der Syntax [73], Wortformensegmentierung ohne
     Basenverzeichnis [74], unifikationsbasiertes Wortformenparsing)
   - Lehrsysteme fuer den Sprachunterricht (Methoden der constraint
     propagation fuer die Diagnose von Grammatikfehlern, Prototypen
     fuer Kongruenz, Flexion, Anordnung und Dominanz [75] [76])

Vorhaben (alle BMFT-gefoerdert):
   - Zusammenhaenge zwischen thematischen Textstrukturen und
     Emphasesetzungen; Anwendungen auf Analyse und Generierung
     (Partner: GMD-IPSI)
   - Weiterentwicklung und Nutzung des Deutsch-Russisch-Systems;
     Erprobung neuartiger Semantik-Mechanismen
   - Aufbau einer Beschreibungssprache zur Repraesentation
     linguistischen Wissens
   - Erweiterung der constraint propagation-Verfahren auf
     antizipationsfreie Diagnose fuer einfache Grammatiken

Kontakt:
   Prof. Dr. Juergen Kunze, Zentralinstitut fuer Sprachwissenschaft,
   Prenzlauer Promenade 149-152, O-1100 Berlin, Tel. (+37-2) 4797 153


12. Wissenschaftsbereich "Automatische Sprachverarbeitung"
    (Universitaet Leipzig)

Themen:
   - Natuerlichsprachiger Mensch-Maschine-Dialog
   - Logische Programmierung
   - Mathematisch-logische Aspekte der Wissensrepraesentation

Ergebnisse:
   - Theoretische Arbeiten zur automatischen Generierung von Fragen und
     zu linguistischen Aspekten der Wissensverarbeitung [89]
   - Konzeptionelle Ueberlegungen zur Wissensbereitstellung im Rahmen
     eines integrierten Sprachmittlerhilfssystems [91]
   - Untersuchung von Erweiterungen der Hornklausellogik unter
     Einbeziehung der Negation [90]

Vorhaben:
   - Intelligentes natuerlichsprachiges bzw. multimediales
     Examinatorsystem zu Vorfahrtsregeln
   - Integriertes Sprachmittlerhilfssystem (Partner: Sektion
     Theoretische und angewandte Sprachwissenschaft)

Kontakt:
   Prof. Dr. sc. phil. Bernd Koenitz, Sektion Informatik,
   Universitaet Leipzig, Augustusplatz, O-7010 Leipzig


------------------------------------------------------------------------
Forschungsgruppen zum Bildverstehen
------------------------------------------------------------------------

13. Forschungsgruppe "Computer Vision"
    (Institut fuer Kuenstliche Intelligenz am ZKI)

Themen:
   - Gemoetrische Grundlagen fuer modellbasierte Szenenanalyse
   - Wissensbasierte medizinische Bildanalyse

Ergebnisse: [84] [85] [86] [87]
   - Untersuchungen zur digitalen Geometrie und zu topologischen
     Strukturen auf endlichen oder unendlichen
     Nachbarschaftsstrukturen und zur modellbasierten Erkennung
     raeumlicher Objekte
   - Anwendungen fuer die biomedizinische Bildanalyse

Vorhaben:
     (Partner: HU B, FSU Jena, TU B, TU BS, Ges. f. Strahlenforschung
     Neuherberg)
   - Entwicklung geometrischer Objektmodelle fuer polyedrische
     Strukturen mit und ohne Textur
   - 3D-Rekonstruktion von Objekten unter Zentralprojektion:
     qualitativer und Komplexitaetsvergleich von Algorithmen
   - Komponenten eines "Bildanalyse-Assistenten"

Kontakt:
   Prof. Dr. sc. nat. R. Klette, Institut fuer Kuenstliche Intelligenz
   im ZKI, Postfach 1298, O-1086 Berlin


------------------------------------------------------------------------
Forschungsgruppen   mit    Anwendungsorientierung,    oft    auch    mit
Grundlagenthemen und Werkzeugentwicklung (s. auch 6., 8.)
------------------------------------------------------------------------

14. Forschungsgruppe "Wissensbasierte Systeme"
    (Institut fuer Kuenstliche Intelligenz, Berlin)

Themen:
   - Automatisches Regellernen aus molekularbiologischen und chemischen
     Datenbanken und deren Anwendung.

Ergebnisse: [82] [83]
   - Entwicklung eines Systems (Protein-Engineering Expertsystem) zur
     Unterstuetzung der Struktur-Funktionsvorhersage von Proteinen auf
     der Basis der Primaersequenz der Aminosaeuren, wobei die
     Zielstellung verfolgt wurde, verbesserte Ausgangswerte fuer
     Energieminimierungsberechnungen zu schaffen
   - Entwicklung eines Programmsystems zur Syntheseplanung in der
     organischen Chemie, das auf Synthonsubstitution basiert.

Vorhaben:
     (Partner: HU B, EMBL Heidelberg, Chemie AG Bitterfeld)
   - Entwicklung eines formalen Apparates zur Strukturbeschreibung durch
     systematische Analyse verschiedener Ebenen der
     Proteinstrukturhierarchie
   - Anfragesystem, um interaktiv nach bestimmten Strukturmotiven auf
     den verschiedenen Hierarchieebenen recherchieren zu koennen
   - Konfigurative Problemloesung unter Beruecksichtigung von Regeln
     fuer weitreichende Wechselwirkungen zur Verbesserung der
     Struktur-Vorhersageguete von Proteinen
   - Entwicklung systematischer Verfahren zur Ermittlung der
     Zusammenhaenge zwischen Struktur und Eigenschaften bzw. Struktur-
     und Eigenschaftsaenderungen in grossen Datensammlungen von
     chemischen Substanzen und Reaktionsgleichungen.

Kontakt:
   Dr. Joachim Selbig, Institut fuer Kuenstliche Intelligenz im ZKI,
   PF 1298, O-1086 Berlin


15. Wissenschaftsbereich "Theoretische Informatik"
    (Technische Universitaet Chemnitz)

Themen:
   - Grundkonzepte der Theoretischen Informatik und der Kuenstlichen
     Intelligenz, insbesondere nichtklassischer Logiken
   - Anwendungen auf Realzeitsteuerungsaufgaben

Ergebnisse: [36]
   - zu Fragen der Entwicklung intelligenter Lehr- und Lernsysteme,
   - zu Expertensystemen fuer den optimalen Entscheidungsprozess,
   - zu komplexen Produktionssystemen mit praktischen Anwendungen.

Vorhaben:
   - Erweiterung des KI-Werkzeugsatzes um Hilfsmittel aus der
     nichtklassischen Logik (BMFT-gefoerdert)
   - Arbeiten zur Theorie neuronaler Netze in der Theoretischen
     Informatik (BMFT-gefoerdert)
   - allgemeine Konzepte fuer Expertensysteme im Echtzeitbetrieb

Kontakt:
   Prof. Dr. sc. techn. Ch. Posthoff, Sektion Informatik,
   TU Chemnitz, PF 964, O-9010 Chemnitz


16. Forschungsbereich "Kuenstliche Intelligenz"
    (Martin-Luther-Universitaet Halle)

Themen:
   - Wissensbasiertes rechnergestuetztes Konfigurieren in
     naturwissenschaftlichen Domanen
   - Nicht sicheres Wissen und approximative Schliessen
   - Algorithmisches Lernen

Ergebnisse: [37] [38] [39]
   - Konfigurieren von Produkten und Anlagen der Lebensmittelindstrie
   - Entwurf einer Expertensystemarchitektur fuer chemisches Design

Vorhaben:
   - Modelle des Konfigurierens in naturwissenschaftlichen Domaenen
     (BMFT-gefoerdert)
   - Konfigurieren in der Chemie (Partner: Universitat HH)
   - Umweltinformationssysteme (Partner: FAW Ulm)

Kontakt:
   Dr. Hartmut Doerner, ORZ der Martin-Luther-Universitaet,
   Postfach 8, O-4010 Halle

************************************************************************