Das Projekt "Qualitatives Schliessen in den Domaenen automatischer Diagnose und Oekologie" wird vom Umweltbundesamt gefördert und von Technische Universität München, Lehrstuhl für Software & Systems Engineering durchgeführt. Ziele: - Beitraege zu den theoretischen Grundlagen des qualitativen Schliessens und der modell-basierten Diagnose; - Spezifikation von Techniken fuer spezifische Anwendungen wie entscheidungsunterstuetzende Systeme im Umweltbereich. Momentaner Fokus ist eine Anwendung in der Domaene hydro-oekologischer Ressourcenmanagement-Unterstuetzung. Die Entwicklung eines integrierten modell-basierten entscheidungsunterstuetzenden Systems mit Spezialisierung auf hydrologische Oekosysteme ist die erste Aufgabe. Ein kohaerentes Framework fuer die Aufgaben der Modellbildung, Situationsanalyse, Monitoring, Simulation, Diagnose und Massnahmen-Planung ist geplant. Eine Fallstudie wird an einem stark belasteten Flusslauf in Suedbrasilien durchgefuehrt, in Zusammenarbeit mit der Universitaet von Porto Alegre und der staedtischen Behoerde fuer Wasserversorgung und Abwasserentsorgung.