Programmierprojekt " Konstruktion von PL-Formeln aus F-Strukturen "
BearbeiterIn:Christos Breunle
Betreuer: Manfred Klenner
Einführung
F-Strukturen enthalten die Prädikat-Argument-Struktur (im logischen Sinne). Auch die
Information über Quantifikation ist - gegeben eine entsprechende LFG-Grammatik -
kodiert. In XLE können F-Strukturen als Prologfakten exportiert werden, woraus
logische Formeln konstruiert/extrahiert werden können.
Ziel und Zweck
Konstruktion von PL-Formeln aus F-Strukturen einer XLE Grammatik
Arbeitsschritte
PROLOG
Benötigte Ressourcen
Literatur und Links