Implementacja gramatyk HPSG w systemie TRALE

Podobne dokumenty
Gramatyki wykorzystywane w analizie języka naturalnego

Składnia. Jan Daciuk, KISI, ETI, PG Przetwarzanie języka naturalnego 10. Metody opisu składni (248 / 272)

Próba opisu formalnego polskich konstrukcji komitatywnych p.1

Spis treści 1 Wprowadzenie do HPSG 2 Struktury i argumenty 3 Struktura słownika, modyfikatory i semantyka 4 Uzgodnienie 111

Wstęp do Językoznawstwa

First-order logic. Usage. Tautologies, using rst-order logic, relations to natural language

Analiza leksykalna 1. Teoria kompilacji. Dr inż. Janusz Majewski Katedra Informatyki

J zyk generowany przez UG

do osób zainteresowanych językiem polskim, jego składnią, zjawiskami z pogranicza składni i semantyki oraz z pogranicza składni i morfologii;

J zyk generowany przez UG

Zadanie analizy leksykalnej

Zarządzanie sieciami komputerowymi - wprowadzenie

OpenPoland.net API Documentation

Gramatyka TAG dla języka polskiego

Testy jednostkowe - zastosowanie oprogramowania JUNIT 4.0 Zofia Kruczkiewicz

Wstęp do Językoznawstwa

j INSTYTUT PODSTAW INFORMATYKI

Zasady Nazewnictwa. Dokumentów XML Strona 1 z 9

Zarządzanie sieciami telekomunikacyjnymi

Gramatyka kontrastywna polsko-angielska. III rok filologii angielskiej studia niestacjonarne I stopnia, semestr II. Profil ogólnoakademicki

Instrukcja obsługi User s manual

MINISTERSTWO SPRAW WEWNĘTRZNYCH I ADMINISTRACJI DEPARTAMENT INFORMATYZACJI

Modelowanie języka polskiego z wykorzystaniem gramatyki struktur frazowych

Opis modułu kształcenia

* Złożenie Karty zgłoszeniowej osobiście w sekretariacie Szkoły lub przesłanie pocztą, lub na adres

PRZEWODNIK PO PRZEDMIOCIE RODZAJ ZAJĘĆ LICZBA GODZIN W SEMESTRZE WYKŁAD ĆWICZENIA LABORATORIUM PROJEKT SEMINARIUM 30

Analiza leksykalna 1. Języki formalne i automaty. Dr inż. Janusz Majewski Katedra Informatyki

Arrays -II. Arrays. Outline ECE Cal Poly Pomona Electrical & Computer Engineering. Introduction

Ministerstwo Finansów

Metody Kompilacji Wykład 3

Leksykon gramatyki kategorialnej dla języka polskiego

Politechnika Częstochowska, Wydział Zarządzania PRZEWODNIK PO PRZEDMIOCIE

Elementy kognitywistyki II: Sztuczna inteligencja. WYKŁAD IX: Agent przetwarza język naturalny

Oxford PWN Polish English Dictionary (Wielki Slownik Polsko-angielski)

Jacek Tomaszczyk Instytut Bibliotekoznawstwa i Informacji Naukowej Uniwersytet Śląski

Podstawy programowania w Pythonie

PRZEWODNIK PO PRZEDMIOCIE RODZAJ ZAJĘĆ LICZBA GODZIN W SEMESTRZE WYKŁAD ĆWICZENIA LABORATORIUM PROJEKT SEMINARIUM 30

LOGIKA Klasyczny Rachunek Zdań

Hurtownie danych - przegląd technologii

dr hab. Maciej Witek, prof. US MODELE UMYSŁU rok akademicki 2016/2017, semestr letni

Machine Learning for Data Science (CS4786) Lecture11. Random Projections & Canonical Correlation Analysis

Logika Stosowana. Wykład 7 - Zbiory i logiki rozmyte Część 3 Prawdziwościowa logika rozmyta. Marcin Szczuka. Instytut Informatyki UW

Modelowanie języka naturalnego (polskiego) dla potrzeb budowy systemu rozpoznawania mowy klasy LVCSR

Definicje wyższego poziomu

Np. Olsztyn leży nad Łyną - zdanie prawdziwe, wartość logiczna 1 4 jest większe od 5 - zdanie fałszywe, wartość logiczna 0

Języki programowania zasady ich tworzenia

KORELACJA 1. Wykres rozrzutu ocena związku między zmiennymi X i Y. 2. Współczynnik korelacji Pearsona

Narzędzia do automatycznego wydobywania kolokacji

Gramatyki atrybutywne

Programowanie w Logice Gramatyki metamorficzne. Przemysław Kobylański na podstawie [CM2003] i [SS1994]

Intro. I.Wojnicki, ZTB:XML ZTB: XML. Igor Wojnicki. Katedra Informatyki Stosowanej, Akademia Górniczo-Hutnicza w Krakowie.

Program zajęć językowych Poznaję świat - język angielski prowadzonych w ramach projektu MKK - Moje Kluczowe Kompetencje

Course type* German I BA C 90/120 WS/SS 8/9. German I BA C 30 WS 2. English I BA C 60/90 WS/SS 5/6. English I BA C 30 WS 2. German I BA L 30 WS 4

Podstawowe konstrukcje Podstawowymi konstrukcjami są wzorce element oraz attribute:

Gramatyka generatywna - zarys

Admission to the first and only in the swietokrzyskie province Bilingual High School and European high School for the school year 2019/2020

Podstawy programowania: Python. Wprowadzenie. Jolanta Bachan

Programowanie w Logice Przykłady programów. Przemysław Kobylański

Zapytanie o cenę: dotyczy:

Język angielski 3 - opis przedmiotu

Spis treści 0. Szkoła Tokarskiego Marcin Woliński Adam Przepiórkowski Korpus IPI PAN Inne pojęcia LXIII Zjazd PTJ, Warszawa

Analiza Sieci Społecznych Pajek

Poniżej moje uwagi po zapoznaniu się z prezentowanymi zasadami:

Języki formalne i automaty Ćwiczenia 1

Nauczanie języków obcych wobec reformy podstawy programowej

Przedstawiony tu obraz sytuacji metodologicznej w lingwistyce ma

Język opisu sprzętu VHDL

Zagadnienia (1/3) Data-flow diagramy przepływów danych ERD diagramy związków encji Diagramy obiektowe w UML (ang. Unified Modeling Language)

FORMULARZ REKLAMACJI Complaint Form

DMX DMX DMX DMX: CREATE MINING STRUCTURE. Tadeusz Pankowski

Extensible Markup Language (XML) Wrocław, Java - technologie zaawansowane

Analiza i projektowanie aplikacji Java

KRYTERIA OCENIANIA Z JĘZYKA ANGIELSKIEGO DLA KLASY VI

XML Path Language (XPath)

Data Mining Wykład 5. Indukcja drzew decyzyjnych - Indeks Gini & Zysk informacyjny. Indeks Gini. Indeks Gini - Przykład

Hard-Margin Support Vector Machines

Wykład 4. Projektowanie. MIS n Inżynieria oprogramowania Październik 2014

Internet Semantyczny i Logika II

Camspot 4.4 Camspot 4.5

DTD - encje ogólne i parametryczne, przestrzenie nazw

prezentacja wybranych modeli kompetencji komunikacyjnej

KARTA PRZEDMIOTU. 11. ZAŁOŻENIA I CELE PRZEDMIOTU: 1. umiejętność budowania poprawnych struktur zdaniowych oraz użycia poznanych

Opracowała: Paulina Zasada-Jagieła

Logika Temporalna i Automaty Czasowe

Baza danych przestrzennych modelowa reprezentacja fragmentu świata rzeczywistego

Cechy charakterystyczne tworzenia oprogramowania w Inżynierii Biomedycznej. Wykładowca Dr inż. Zofia Kruczkiewicz

ARKUSZ PRÓBNEJ MATURY Z OPERONEM JĘZYK ANGIELSKI

Wyk lad 8: Leniwe metody klasyfikacji

GRAMATYKI BEZKONTEKSTOWE

Wykład 2. Relacyjny model danych

Automatyczne generowanie testów z modeli. Bogdan Bereza Automatyczne generowanie testów z modeli

GML w praktyce geodezyjnej

LOGIKA I TEORIA ZBIORÓW

Metaprogramowanie w Ruby

Maszynowe tłumaczenie Polskiego Języka Migowego

PRZEWODNIK PO PRZEDMIOCIE RODZAJ ZAJĘĆ LICZBA GODZIN W SEMESTRZE WYKŁAD ĆWICZENIA LABORATORIUM PROJEKT SEMINARIUM 30

Systemy ekspertowe i ich zastosowania. Katarzyna Karp Marek Grabowski

Zakopane, plan miasta: Skala ok. 1: = City map (Polish Edition)

Marzec: food, advertising, shopping and services, verb patterns, adjectives and prepositions, complaints - writing

The Binder Consulting

Transkrypt:

Implementacja gramatyk HPSG w systemie TRALE Beata Trawiński trawinski@sfs.uni-tuebingen.de Instytut Podstaw Informatyki Polskiej Akademii Nauk, Warszawa, 9.11.00 Implementacja gramatyk HPSGw systemie TRALE p.1

Kontekst MiLCA =(Medienintensive Lehrmodule in der Computerlinguistik-Ausbildung) http://milca.sfs.uni-tuebingen.de Moduł A (Formalizmy Gramatyczne i Parsing) Podmoduły: Rozwój teorii lingwistycznej w oparciu o HPSG Podstawy formalne HPSG Implementacja gramatyk HPSG w systemie TRALE http://milca.sfs.nphil.uni-tuebingen.de/a/homepage/top.html ILIAS http://www.ilias.uni-koeln.de Implementacja gramatyk HPSGw systemie TRALE p.

Cel implementacji komputerowej gramatyk Implementacja komputerowa gramatyk przydatna jest w sensie: weryfikacji formalizacji theorii lingwistycznej, stymulacji rozwoju systemu komputerowego w kierunku osiagania coraz ściślejszego powiazania pomiędzy teoria a implementacja oraz w sensie doskonalenia procesu przetwarzania. Implementacja gramatyk HPSGw systemie TRALE p.

Cechy systemu komputerowego System przystosowany do implementacji gramatyk powinien: umożliwiać taka implementację gramatyk, aby była ona jak najbardziej zbliżona do teorii lingwistycznej oraz być jak najbardziej efektywny z komputerowego punktu widzenia. Implementacja gramatyk HPSGw systemie TRALE p.

HPSG 8 Formalizm HPSG 8: wprowadzony nieformalnie w Carl J. Pollard i Ivan A. Sag (198). Information-Based Syntax and Semantics. Volume 1: Fundamentals. Stanford: CSLI Publications. oparty na unifikacji (unification-based) czy też informacji (informaition-based) zdefiniowany np. w Paul J. King (1989). A Logical Formalism for Head-Driven Phrase Structure Grammar. PhD thesis, University of Manchester. Implementacja gramatyk HPSGw systemie TRALE p.

HPSG 9 Formalizm HPSG 9: wprowadzony nieformalnie w Carl J. Pollard i Ivan A. Sag (199). Head-Driven Phrase Structure Grammar. Chicago: The University of Chicago Press. oparty na obiektach (object-based) czy też ograniczeniach (constraint-based) zdefiniowany np. w Frank Richter (000). A Mathematical Formalism for Linguistic Theories with an Application in Head-Driven Phrase Structure Grammar. PhD thesis, Eberhard-Karls-Universität Tübingen, Version of April 8th, 000. Implementacja gramatyk HPSGw systemie TRALE p.

System TRALE Implementacja gramatyk HPSGw systemie TRALE p.

Gramatyka HPSG w ujęciu lingwistycznym Z puktu widzenia lingwistycznego gramatyka HPSG może obejmować następujace komponenty: słownik, który dostarcza podstawowe formy wyrazowe, reguły leksykalne, które dostarczaja derywowane formy wyrazowe, immediate dominance (ID) schemata, które sa odpowiedzialne za strukturęskładniowa zdań, linear precedence (LP) statements, które określaja szyk wyrazów w zdaniu oraz zbiór ograniczeń, które wyrażaj a generalizacje na temat cech gramatycznych obiektów językowych. Implementacja gramatyk HPSGw systemie TRALE p.8

Gramatyka HPSG w ujęciu formalnym W sensie formalnym gramatyka HPSG składa się z: sygnatury (określajacej domenę), która obejmuje: zbiór symboli typów (w tym typów maksymalnych), zbiór symboli atrybutów, zbiór symboli relacyjnych, zbiór arności relacji, funkcję określajac a, jakie atrybuty moga występować z jakim typami, hierarchię typów; teorii (ograniczajacej tę domenę), która jest zbiorem ograniczeń czy też zasad, będacych formułami języka służacego do zapisu teorii HPSG. Implementacja gramatyk HPSGw systemie TRALE p.9

Cechy sygnatur HPSG Sygnatura HPSG organizuje typy w hierachię z wielodziedziczeniem (multiple inheritance hierarchy). Relację pomiędzy typami w hierarchii charakteryzuje porzadek częściowy (partial order). Hierarchia typów spełnia warunek utypowienia zupełnego (exhaustive typing czy też partition condition); interpretacja hierarchii typów sygnatur HPSG charakteryzowana jest jako tzw. closed word. Implementacja gramatyk HPSGw systemie TRALE p.10

Przykładowa sygnatura w formie drzewa Implementacja gramatyk HPSGw systemie TRALE p.11

Theoria gramatyk HPSG Theoria gramatyk HPSG jest zbiorem ograniczeń, takim że każde ograniczenie opisuje każdy obiekt w modelu. Ograniczenia moga mieć formę: prostej specyfikacji typu, złożonej deskrypcji z przydzieleniem typu, złożonej deskrypcji z przydzieleniem typu i równościa ciagów atrybutów, koniunkcji, dysjunkcji, negacji, implikacji, ekwiwalencji, wyrażeń zawierajacych kwantyfikację uniwersalnai egzystencjalna. Implementacja gramatyk HPSGw systemie TRALE p.1

WORD PRINCIPLE word! (LE 1 _..._ LEn) Implementacja gramatyk HPSGw systemie TRALE p.1

Leksykon word! ( word PHONhshei SYNSEM synsem LOCAL local CATEGORY category HEAD " noun CASE nom # SUBCAThi CONTENT ppro INDEX 1 ref PER rd NUM sing GEND fem RESTRfg CONTEXT context BACKGR 8 >< >: psoa RELN female INST 1 9 >= >; NONLOCAL nonlocal TO-BIND SLASHfg RELfg QUEfg INHERITED SLASHfg RELfg QUEfg QSTOREfg _ word PHONhsingsi SYNSEM synsem LOCAL local CATEGORY category HEAD " verb VFORM fin # SUBCAT Dh LOCAL CONTENT INDEX 1 ie CONTENT RELATION sing SINGER 1 CONTEXT context NONLOCAL nonlocal TO-BIND SLASHfg RELfg QUEfg INHERITED SLASHfg RELfg QUEfg ) Implementacja gramatyk HPSGw systemie TRALE p.1

The ID PRINCIPLE Every headed phrase must satisfy exactly one of the ID schemata. h headed-struci DTRS! (SCHEMA1 _ SCHEMA _ SCHEMA _ SCHEMA _ SCHE- MA _ SCHEMA) Implementacja gramatyk HPSGw systemie TRALE p.1

SCHEMAT 1(HEAD-SUBJECT SCHEMA) SS LOC CAT DTRS SUBCAT hi HEAD head-comp-struc HEAD-DTR hh i _ : INV minus verb " phrase COMP-DAUGHTERS hobjecti i SS NONLOC TO-BIND SLASH fg # Implementacja gramatyk HPSGw systemie TRALE p.1

Opis frazy She sings w notacji AVM phrase PHONhshe, singsi SYNSEM synsem LOCAL local CATEGORY category HEAD 1 " verb VFORM fin # SUBCAThi CONTENT RELATION sing SINGER NONLOCAL nonlocal DTRS head-comp-struc HEAD-DTR phrase PHONhsingsi SYNSEM LOCAL CATEGORY HEAD 1 SUBCAT D E CONTENT DTRS head-comp-struc HEAD-DTR word PHONhsingsi SYNSEM LOCAL CATEGORY HEAD 1 SUBCAT D E CONTENT COMP-DTRhi COMP-DTRS * word PHONhshei SYNSEM LOCAL CATEGORY " HEAD noun SUBCAThi # CONTENT h INDEX i + Implementacja gramatyk HPSGw systemie TRALE p.1

Opis frazy She sings w formie drzewa word PHONhshei SYNSEM LOCAL CATEGORY " HEAD noun SUBCAThi # CONTENT h INDEX i word PHONhsingsi SYNSEM LOCAL CATEGORY HEAD 1 SUBCAT D E CONTENT H phrase PHONhsingsi SYNSEM LOCAL CATEGORY HEAD 1 SUBCAT D E CONTENT C H phrase PHONhshe, singsi SYNSEM synsem LOCAL local CATEGORY category HEAD 1 " verb VFORM fin # SUBCAThi CONTENT RELATION sing SINGER Implementacja gramatyk HPSGw systemie TRALE p.18

HEAD FEATURE PRINCIPLE In a headed phrase, the values of j SYNSEM j LOCAL j CATEGORY HEAD and j DAUGHTERS j HEAD-DAUGHTER j SYNSEM j LOCAL j CATEGORY HEAD are token-identical. " phrase DTRS headed-struc #! " SYNSEM LOC CAT HEAD 1 DTRS HEAD-DTR SYNSEM LOC CAT HEAD 1 # Implementacja gramatyk HPSGw systemie TRALE p.19

! SUBCATEGORIZATION PRINCIPLE In a headed phrase, the list value of DAUGHTERS j HEAD-DAUGHTER j SYNSEM j LOCAL j CATEGORY j SUBCAT is the concatenation of the list value of SYNSEM j LOCAL j CATEGORY j SUBCAT with the list consisting of the SYNSEM values (in order) of the elements of the list value of DAUGHTERS j COMPLEMENT-DAUGHTERS. phrase DTRS headed-struc SYNSEM LOC CAT SUBCAT 1 DTRS HEAD-DTR SYNSEM LOC CAT SUBCAT COMP-DTRS sign-to-synsem(, ) ^ append( 1,, ) ^ Implementacja gramatyk HPSGw systemie TRALE p.0

@ x Relacja sign-to-synsem ^ y The Relation sign-to-synsem holds between a list x of sign objects and a list y of synsem objects iff x is an empty list and y is an empty list or the SYNSEM value of the first element of x is the first element of y and the relation sign-to-synsem holds between the lists x and y each shortened with respect to the first element. Formalization: 8x8y (sign-to-synsem(x,y) $ (» x elist 9 1 9 9 0 B REST 1 y» elist ^ FIRST SYNSEM _ FIRST REST sign-to-synsem( 1, ) ^ 1 )) C A Implementacja gramatyk HPSGw systemie TRALE p.1

Relacja append The relation append(x,y,z) holds iff the z list is the concatenation of the x list and the list y. Formalization: 8x8y8z ( append(x,y,z) $ (( x [elist] ^ y = z) _ 9 1 9 9 ψ x " FIRST 1 REST # ^ z " FIRST 1 REST # ^ append(,y, )! )) Implementacja gramatyk HPSGw systemie TRALE p.

Komponenty gramatyk TRALE Gramatyka TRALE obejmuje następujace komponenty: sygnaturę, teorię, specyfikowanazużyciem: opisów utypowionych struktur atrybutów (w tym makrodefinicji), ograniczeń implikacyjnych, procedur, reguł frazowych, jednostek leksykalnych, reguł leksykalnych. Implementacja gramatyk HPSGw systemie TRALE p.

Format sygnatur TRALE Sygnatury TRALE charakteryzujasię tym, że sa one specyfikowane w osobnym pliku (zwykle o nazwie signature), umieszczane pomiędzy słowem kluczowym type_hierachy a kropka(:), inicjowane poprzez symbol typu bot czy też top, zbudowane z wierszy, składajacych sięz: wcięcia, symbolu typu, pewnej liczby (także zerowej) symboli atrybutów oraz oddzielonych od nich dwukropkiem (:) symboli typów, które sa dla tych atrybutów odpowiednie. Implementacja gramatyk HPSGw systemie TRALE p.

Przykładowa sygnatura TRALE type_hierarchy bot sign phrase dtrs:list word cat:cat cat nounish noun gerund verbish verb &gerund list e_list ne_list hd:bot tl:list. Implementacja gramatyk HPSGw systemie TRALE p.

Przykładowa teoria TRALE I % Specify signature file signature(signature). % Lexicon she ---> (word,phon:[(a_ she)], cat:noun). signs ---> (word,phon:[(a_ sings)], cat:verb). % Phrase Structure Rule subj_head_rule rule (phrase,phon:[subjphon,headphon],dtrs:[subj,head] ===> cat> (Subj,word,phon:[SubjPhon],cat:noun), cat> (Head,word,phon:[HeadPhon],cat:verb). Implementacja gramatyk HPSGw systemie TRALE p.

Screenshot I Implementacja gramatyk HPSGw systemie TRALE p.

Przykładowa teoria TRALE II % Specify signature file signature(signature). :- tree_extensions. :- multifile if/. :- multifile >/. % Lexicon she > (word, cat:noun). signs > (word, cat:verb). % Phrase Structure Rule subj_head_rule ## phrase cat> (word,cat:noun), cat> (word,cat:verb). Implementacja gramatyk HPSGw systemie TRALE p.8

Grisu I Implementacja gramatyk HPSGw systemie TRALE p.9

Grisu II Implementacja gramatyk HPSGw systemie TRALE p.0

Grisu III Implementacja gramatyk HPSGw systemie TRALE p.1

Ograniczenia implikacyjne phrase " SYNSEM LOC CAT HEAD 1 # " # DTRS headed-struc! DTRS HEAD-DTR SYNSEM LOC CAT HEAD 1 (phrase, dtrs:headed_struc) *> (synsem:loc:cat:head:h, dtrs:head_dtr:synsem:loc:cat:head:h). Implementacja gramatyk HPSGw systemie TRALE p.

Sekwencje testowe % Example test file test.pl t(1,"ein dickes pferd",_,, all parses ). t(,"ein dickes pferd",@noun_s,, nominal parses only ). t(,"hat gelacht",@clause_s,0,_). t(,"das pferd lacht",_,,_). t(nr,item,(@noun_s,@case_s(nom),@sat_s,@no_slash_s),expsols,comment) :- npt(nr,item,expsols,comment). npt(,"drei buecher",1,_). Implementacja gramatyk HPSGw systemie TRALE p.

Skróty stosowane w HPSG synsem NP 1 VP: 1 LOCAL synsem LOCAL CATEGORY " HEAD noun CONTENT INDEX 1 CATEGORY CONTENT 1 SUBCAThi # HEAD verb SUBCAT D synsem E Implementacja gramatyk HPSGw systemie TRALE p.

Makrodefinicje Definicje: np(index-index):= (local:(category:(head:noun, subcat:[]), content:index:index)). vp(cont-cont):= (local:(category:(head:verb, subcat:[synsem]), content:cont)). Zastosowanie: she > (word, synsem: @np((per:third,num:sing)). sings > (word, synsem: (@vp((sing-rel, singer:index)), local:category:subcat:head:@np(index))). Implementacja gramatyk HPSGw systemie TRALE p.

Relacje Definicje: append([],ne_list,l) if true. append([h T1],L,[H T]) if append(t1,l,t). synsemsign(e_list,e_list) if true. synsemsign([h T],[synsem:H NewT]) if synsemsign(t,newt). Zastosowanie: phrase *> (synsem:category:subcat:phrsubcat, dtrs: (head_dtr:synsem:category:subcat:headsubcat, comp_dtrs:compdtrs) goal synsemsign(compsynsems,compdtrs), append(compsynsems,phrsubcat,headsubcat). Implementacja gramatyk HPSGw systemie TRALE p.

Reguły leksykalne % Present Participle Lexical Rule prp_lex_rule ## (word, synsem:loc:(cat:head:(vform:base, aux:aux, pred:pred), cont:cont), arg_st:arg) **> (synsem:loc:(cat:head:(vform:prp, aux:aux, pred:pred), cont:(cont_rel, soa_arg:cont)), arg_st:arg) morphs be becomes being, (X,[e]) becomes (X,ing), X becomes (X,ing). Implementacja gramatyk HPSGw systemie TRALE p.

Literatura Bob Carpenter and Gerald Penn (1999). ALE. User s Guide. Technical Memo Nr. CMU-LTI-99-MEMO. Carnegie Mellon Language Technologies Institute. Mohammad Haji-Abdolhosseini and Gerald Penn (00). TRALE 1.0. User s Manual. Paul J. King (1989). A Logical Formalism for Head-Driven Phrase Structure Grammar. PhD thesis, University of Manchester. Gerald Penn, Detmar Meurers, Kordula De Kuthy, Mohammad Haji-Abdolhosseini, Vanessa Metcalf, and Holger Wunsch (00). Trale Milca Environment v..1.. User s Manual (Draft). Carl J. Pollard and Ivan A. Sag (198). Information-Based Syntax and Semantics. Volume 1: Fundamentals. Stanford: CSLI Publications. Carl J. Pollard and Ivan A. Sag (199). Head-Driven Phrase Structure Grammar. Chicago: The University of Chicago Press. Frank Richter (000). A Mathematical Formalism for Linguistic Theories with an Application in Head-Driven Phrase Structure Grammar. PhD thesis, Eberhard-Karls-Universität Tübingen, Version of April 8th, 000. oraz materiały do zajęć Grammar Formalisms and Parsing prowadzonych na Eberhard-Karls-Universität w Tybindze przez Franka Richtera i Beatę Trawiński Implementacja gramatyk HPSGw systemie TRALE p.8