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