Projektdetails
Projektbeschreibung
Ziel des Vorhabens ist die Weiterentwicklung von beschreibungslogischen Wissensrepräsentationsformalismen unter besonderer Berücksichtigung von Modellierungstechniken für räumliche Phänomene. Es sollen korrekte und vollständige Schlußfolgerungsmechanismen entwickelt werden, mit denen es möglich ist, quantitative und qualitative Informationen über räumliche Objekte und Phänomene mit konzeptuellen, begrifflichen Informationen in systematischer Weise zu verbinden. Damit können z. B. räumliche Merkmale bei der Klassifikation von Konzepten und Objekten in angemessener Weise berücksichtigt werden. Durch die integrierte Form der Datenmodellierung wird es u. a. möglich, Modellierungsfehler schon während der Modellbildung durch Schlußfolgerungen über Konzepte zu vermeiden. Durch zu entwickelnde optimierte Inferenzalgorithmen zur informierten Suche werden kurze Rechenzeiten für realistische Wissensbasen angestrebt. Damit können wichtige Anwendungsprobleme durch theoretisch abgesicherte und systematisch geteste Inferenzverfahren gelöst werden. Das Vorhaben zielt darauf ab, Grundlagen zur Wissensrepräsentation und insbesondere zur Bearbeitung von Anfragen an deduktive geographische Informationssysteme zu schaffen. ...
Status | abgeschlossen |
---|---|
Tatsächlicher Beginn/ -es Ende | 01.01.00 → 31.12.05 |
Partner
- Concordia University (Beteiligte Person)
- Universität Hamburg (Co-PI) (Leitung)
UN-Ziele für nachhaltige Entwicklung
2015 einigten sich UN-Mitgliedstaaten auf 17 globale Ziele für nachhaltige Entwicklung (Sustainable Development Goals, SDGs) zur Beendigung der Armut, zum Schutz des Planeten und zur Förderung des allgemeinen Wohlstands. Die Arbeit dieses Projekts leistet einen Beitrag zu folgendem(n) SDG(s):
Strategische Forschungsbereiche und Zentren
- Zentren: Zentrum für Künstliche Intelligenz Lübeck (ZKIL)
- Querschnittsbereich: Intelligente Systeme
DFG-Fachsystematik
- 409-01 Theoretische Informatik