Institut für Künstliche Intelligenz
- 1:
Lehre. - 2: Forschung.
- 2.1:
Kognitive technische Systeme. - 2.2: Handlungsplanung.
- 2.3: Wissensmodellierung.
- 2.3.1:
Modellierung von Planungsdomänen. - 2.3.2: Repräsentation unsicheren Wissens .
- 2.3.1:
- 2.4: Semantische Technologien.
- 2.1:
- 3: Mitarbeiter.
- 4: Publikationen.
- 5: Stellenangebote.
Wissensmodellierung
Intelligente Systeme arbeiten wissensbasiert. Sie stützen sich auf reichhaltige Modelle, die Wissen über den Anwendungsbereich, die Aufgabenstellung und den relevanten Weltausschnitt vorhalten. Zur Repräsentation dieses Wissens werden logische Sprachen verwendet. Dies erlaubt zum einen den Einsatz verschiedener Inferenzmechanismen, um aus den axiomatisch vorgegebenen Modellen weiteres Wissen abzuleiten. Zum zweiten ist es dadurch möglich gewisse Konsistenzbedingungen der Modelle mittels formaler Beweise sicher zu stellen.
Die Arbeiten am Institut befassen sich im Kontext 
semantischer Technologien mit der Entwicklung und dem praktischen Einsatz von Schlussfolgerungsdiensten und Werkzeugen zur Erstellung von Ontologien. Einen weiteren Schwerpunkt bildet die Entwicklung eines Modellierungswerkzeuges für Planungsdomänen. Im Rahmen des SFB/Transregio 62 untersuchen aktuelle Arbeiten zudem Fragestellungen zur Repräsentation unsicherer Information in symbolischen Wissensmodellen.
Kontakt
- Prof. Dr. Susanne Biundo-Stephan
- Universität Ulm
- Institut für Künstliche Intelligenz
- D-89069 Ulm
- E-Mail:
Susanne.Biundo(at)uni-ulm.de - Phone: +49 (0)731/50-24122
- Fax: +49 (0)731/50-24119
Büro
- James-Franck-Ring
- Gebäude O27, 4. Niveau
- Raum 448
Publikation in dem Gebiet der Wissensmodellierung
 |
Thomas Geier
 und Susanne Biundo Approximate Online Inference for Dynamic Markov Logic Networks
Tools with Artificial Intelligence (ICTAI), 2011 23rd IEEE International
Conference on
, Seite 764--768.
2011
|