Deduktive Techniken für Informations-Management-Systeme (IMS)
Laufzeit: bis 31.12.1997
Partner: Ingenieur- und Sachverständigenbürop Lehmigk-Emden, Ochtendung; Josef Raab GmbH & Co KG, Neuwied; Schlaadt-Plastik GmbH, St. Goarshausen, Wolfrum Consulting, Mühlheim-Kärlich.
Kurzfassung
Ziel des Projekts ist es, deduktive Techniken so aufzubereiten, dass sie als Basis von Informations-Management-Systemen für mittelständische Unternehmen genutzt werden können. Es soll dadurch eine Möglichkeit zur Vereinheitlichung des Datenbestands, zur flexiblen Aufbereitung und zur adäquaten Darstellung der verschiedenartigen Betriebsdaten in Form eines prototypischen Systems entwickelt werden. Dabei sollen, soweit wie möglich, am DV-Markt standardisierte Software-Produkte verwendet werden....Ziel des Projekts ist es, deduktive Techniken so aufzubereiten, dass sie als Basis von Informations-Management-Systemen für mittelständische Unternehmen genutzt werden können. Es soll dadurch eine Möglichkeit zur Vereinheitlichung des Datenbestands, zur flexiblen Aufbereitung und zur adäquaten Darstellung der verschiedenartigen Betriebsdaten in Form eines prototypischen Systems entwickelt werden. Dabei sollen, soweit wie möglich, am DV-Markt standardisierte Software-Produkte verwendet werden. Die Arbeit in diesem Projekt ist engstens an die Forschungsbereiche "Automatische Deduktion" und "Nichtmonotones Schließen" angelehnt, zu denen in der Forschungsgruppe "Künstliche Intelligenz" weitere Projekte existieren. Auf der Basis dieser theoretischen Grundlagen soll die Anwendung auf einem speziellen Gebiet zeigen, welche Verfeinerungen der Methoden notwendig sind, um ein praktikables Ergebnis zu erzielen.» weiterlesen» einklappen
Veröffentlichungen
- Stolzenburg, Frieder; Höhne, Stephan; Koch, Ulrich et al.
- Constraint logic programming for computational linguistics
- Chandrabose, Aravindan; Baumgartner, Peter; Dix, Jürgen et al.
- On Merging Theorem Proving and Logic Programming Paradigms
- Baumgartner, Peter
- Deduktion und Logisches Programmieren