SciDok

Eingang zum Volltext in SciDok

Hinweis zum Urheberrecht

Diplomarbeit, Magisterarbeit zugänglich unter
URN: urn:nbn:de:bsz:291-scidok-2911
URL: http://scidok.sulb.uni-saarland.de/volltexte/2004/291/


Towards a constraint parser for categorial type logics

Kuhlmann, Marco

pdf-Format:
Dokument 1.pdf (574 KB)

Bookmark bei Connotea Bookmark bei del.icio.us
SWD-Schlagwörter: Constraint-Programmierung
Freie Schlagwörter (Englisch): Constraints
Institut: Fachrichtung 6.2 - Informatik
DDC-Sachgruppe: Informatik
Dokumentart: Diplomarbeit, Magisterarbeit
Sprache: Englisch
Erstellungsjahr: 2002
Publikationsdatum: 29.06.2004
Kurzfassung auf Englisch: This thesis shows how constraint programming can be applied to the processing of Categorial Type Logics(CTL). It presents a novel formalisation of the parsing task for categorial grammars as a tree configuration problem, and demonstrates how a recent proposal for emph{structural constraints} on CTL parse trees can be integrated into this framework. The resulting processing model has been implemented using the Mozart programming environment. It appears to be a promising starting point for further research on the application of constraint parsing to CTL and the investigation of the practical processing complexity of CTL grammar fragments.},

Home | Impressum | Über SciDok | Policy | Kontakt | Datenschutzerklärung | English