Forschungsschwerpunkt: |
C 3-Professur f. Informatik (Seipel)
Am Hubland, 97074 würzburg Mail: seipel@informatik.uni-wuerzburg.de Url: http://www1.informatik.uni-wuerzburg.de/databases/dblp.html |
Wissenschaftliche Mitglieder:
Professoren:
Sonstige beteiligte Personen und Organisationen:
Forschungsschwerpunkte (und Projekte auf Basis der Grundausstattung):
Zur Realisierung von Anwendungen in den Bereichen der Diagnose und
der Konfigurierung wurden geeignete Erweiterungen der
deklarativen Wissensrepräsentation mit Logikprogrammen betrachtet.
Mit Hilfe des Konzepts der Abduktion konnten kausale
Regeln zum diagnostischen Schließen verwendet werden.
Die klassischen Verfahren zur Modellgenerierung in disjunktiven
deduktiven Datenbanken wurden mit Hilfe von A*-Algorithmen
verfeinert um kostenminimale Lösungen für
Konfigurierungsprobleme generieren zu können.
Im Projekt DeduGIS werden deduktive Datenbanken und Konzepte
der logischen Programmierung verwendet um komfortabel
heterogene, geographische Informationsquellen integrieren und
verarbeiten zu können.
Es soll räumliches und zeitliches Schließen über geographischen
Objekten mit numerischen Bedingungen untersucht werden,
wobei das Wissen auch unsicher bzw. unvollständig sein kann.
Ergebnisse:
http://www1.informatik.uni-wuerzburg.de/database/papers_seipel.html
http://www-kdd.cnuce.cnr.it/dedugis/
Links:
Homepage (Prof. Seipel)