Feature Constraint Grammars

DSpace Repository

Show simple item record

dc.contributor.advisor Hinrichs, Prof. Dr. Erhard de_DE
dc.contributor.author Götz, Thilo de_DE
dc.date.accessioned 2000-07-05 de_DE
dc.date.accessioned 2014-03-18T09:51:02Z
dc.date.available 2000-07-05 de_DE
dc.date.available 2014-03-18T09:51:02Z
dc.date.issued 1999 de_DE
dc.identifier.other 085901504 de_DE
dc.identifier.uri http://nbn-resolving.de/urn:nbn:de:bsz:21-opus-1330 de_DE
dc.identifier.uri http://hdl.handle.net/10900/46151
dc.description.abstract Die vorliegende Dissertation befasst sich mit den logischen Grundlagen von constraint-basierten Grammatikformalismen und deren Modellierung auf einem Computer. Unter Modellierung auf einem Computer verstehen wir das Austesten der empirischen Vorhersagen einer Grammatik auf einem Computer. Dies subsumiert z.B. das Parsingproblem: gegeben eine Grammatik und eine Zeichenkette (Satz), ist dieser Satz grammatisch oder ungrammatisch? Die verwendete Logik ist eine getypte Attribut-Wert-Logik, die als Logik zur Formalisierung von HPSG vorgeschlagen wurde. Die vorliegende Arbeit konzentriert sich dabei sowohl auf die theoretischen Eigenschaften der Logik, als auch praktische algorithmische Aspekte. Es werden Algorithmen für die Modellierung angegeben, und deren Korrektheit bezüglich der zugrunde liegenden Logik bewiesen. de_DE
dc.description.abstract This thesis is concerned with the logical foundations and computational modeling of constraint-based grammar formalisms. By computational modeling I understand the testing of the empirical predictions of a given grammar on a computer. This subsumes, e.g., the parsing problem: given a grammar and a string, does the grammar predict that the string is grammatical, or ungrammatical? The logic under consideration is a typed feature logic, that may be viewed as a basis for formalizing HPSG grammars. The thesis has a dual focus on theory and computation. I give algorithms for solving the prediction problem, and the algorithms are proven correct with respect to the underlying logic. en
dc.language.iso de_DE de_DE
dc.publisher Universität Tübingen de_DE
dc.rights ubt-podok de_DE
dc.rights.uri http://tobias-lib.uni-tuebingen.de/doku/lic_mit_pod.php?la=de de_DE
dc.rights.uri http://tobias-lib.uni-tuebingen.de/doku/lic_mit_pod.php?la=en en
dc.subject.classification Mathematische Linguistik , Mathematische Logik , Theoretische Informatik de_DE
dc.subject.ddc 400 de_DE
dc.subject.other Logikprogrammierung , Attribut-Wert-Logik , HPSG de_DE
dc.subject.other Feature logic , Mathematical linguistics , Logic programming en
dc.title Feature Constraint Grammars en
dc.type Dissertation de_DE
dc.date.updated 2003-12-09 de_DE
dcterms.dateAccepted 1999-12-20 de_DE
utue.publikation.fachbereich Sonstige - Neuphilologie de_DE
utue.publikation.fakultaet 5 Philosophische Fakultät de_DE
dcterms.DCMIType Text de_DE
utue.publikation.typ doctoralThesis de_DE
utue.opus.id 133 de_DE
thesis.grantor 09 Neuphilologische Fakultät de_DE

Dateien:

This item appears in the following Collection(s)

Show simple item record