Ordnungssortierte Feature-Logik und Dependenzgrammatiken in der Computerlinguistik

摘要

Zwei unabhängige Formalismen werden vorgestellt und aufihre Eignung zur Verwendung in der Computerlinguistik hinuntersucht: die ordnungssortierte feature-Logik und dieDependenz-Unifikationsgrammatik. Nach ihrer theoretischenEinführung wird der Versuch unternommen, sie zusammen inein bestehendes Konzept des logischen Programmierens, denProlog-Dialekt Lopster der Universität Karlsruhe, zuintegrieren, und damit ein linguistisches Werkzeug zu schaffen,das es erlaubt, die Dependenzgrammatik einer natürlichenSprache direkt in Horn-Klauseln der ordnungssortierten Logikzu transformieren