Im Projektbereich "Berechnung" geht es um die Entwicklung von
Modellen und Verfahren, die mit Constraints und logischen
Beschreibungen höherer Ordnung rechnen. Dabei spielen Nebenläufigkeit
und Ressourcenadaptivität jeweils eine wichtige Rolle. Ein Vorhaben
über "Nebenläufige Programmiermodelle" (Prof. Dr. Gert Smolka)
untersucht grundlegende Aspekte problemnaher Programmiermodelle. Diese
stehen in engem Zusammenhang mit der am Deutschen Forschungsinstitut
für Künstliche Intelligenz entwickelten Programmiersprache Oz
.
"Ressourcenadaptive linguistische Inferenz" (Prof. Dr. Manfred
Pinkal, Prof. Dr. Jörg H. Siekmann) ist ein zweites Teilprojekt des
Projektbereichs "Berechnung". Hier geht es um effiziente Verfahren für
die semantische Auswertung in der Sprachverarbeitung, die auch in
Echtzeitsituationen zu Resultaten führen. Für die grammatische
Verarbeitung wurden in der Computerlinguistik bislang fast
ausschließlich sequentielle Verfahren entwickelt; nebenläufige
Verfahren befinden sich erst im Experimentierstadium. Das Teilprojekt
"Nebenläufige grammatische Verarbeitung" (Prof. Dr. Hans Uszkoreit,
Prof. Dr. Gert Smolka) soll hier weiterführende Arbeiten
leisten. Dabei geht es insbesondere darum, die Behandlung von
diskontinuierlichen Konstituenten und Stellungsvariationen sowie die
Konstruktion einer semantischen Repraesentation bei multipler
struktureller Ambiguität zu vereinfachen. Daneben wird in einem
weiteren Projekt die "Semantische Verarbeitung mit beschränkter
Information" (Prof. Dr. Manfred Pinkal) zum Forschungsgegenstand
gemacht. Hier werden Verfahren für die Herleitung von
Bedeutungsinformation aus natürlichsprachlichen Ausdrücken auf der
Grundlage vorgegebener syntaktischer und lexikalischer Information
entwickelt.
|