Oliver Pier
Ein Ontologie-basiertes Interface für das Constraint-Solving in qualitativen Kalkülen
April 2007
www.informatik.uni-freiburg.deOliver Pier
An ontology-driven interface for constraint solving in qualitative calculi
April 2007
www.informatik.uni-freiburg.deDer Titel der Arbeit wurde für die Veröffentlichung im Springer-Verlag auf Verlagswunsch geändert.
Die Arbeit wurde ursprünglich unter dem Titel Solving Planning Tasks in Theory and Practice eingereicht.
Thilo Weigel
www.informatik.uni-freiburg.deThe title of the thesis was changed upon publication in the Springer LNAI series.
The original title of the thesis was Solving Planning Tasks in Theory and Practice.
Thilo Weigel
www.informatik.uni-freiburg.deHierzu orientiert sich die fortlaufende Arbeit an TRALE vor allem an den Erfordernissen, die sich aus der linguistischen Forschung im Rahmen der HPSG ergeben, und setzt sich zum Ziel, aufgabenspezifische Lösungen für typische, computationell aufwändige mathematische Konstrukte von HPSG-Grammatiken bereitzustellen.
Damit soll es möglich werden, auch solche durch die linguistische Theorie wohlfundierte Grammatiken effizient zu implementieren, deren computationelle Behandlung über die Möglichkeiten eines reinen, generellen Constraint-solving-Systems wie ConTroll hinausgehen, ohne den Linguisten zur Aufgabe seiner spezifischen Annahmen über die Struktur von Sprache zu zwingen.
www.sfs.uni-tuebingen.deOur objective is to provide task-specific solutions for typical, computationally expensive mathematical constructs of HPSG grammars.
It should then become possible to implement even theoretically well grounded grammars efficiently, whose computational treatment goes beyond the capabilities of a pure, general constraint solving system such as ConTroll, without forcing linguists to renounce their specific assumptions about the structure of language.
www.sfs.uni-tuebingen.de是否要添加一些单词、短语或翻译？
请发送新条目。