Eingang zum Volltext in SciDok
Hinweis zum Urheberrecht
Diplomarbeit, Magisterarbeit zugänglich unter
Towards a constraint parser for categorial type logics
URN: urn:nbn:de:bsz:291-scidok-2911
URL: http://scidok.sulb.uni-saarland.de/volltexte/2004/291/
pdf-Format:
Dokument 1.pdf (574 KB)
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.},