Prezentacja - Zakład Logiki Stosowanej

Prezentacja - Zakład Logiki Stosowanej

DOROTA LIPOWSKA
Zakład Logiki Stosowanej, Instytut Językoznawstwa UAM
Wprowadzenie do HPSG
(Head-driven Phrase Structure Grammar)
Adam Przepiórkowski, Anna Kupść, Małgorzata Marcinek i
Agnieszka Mykowiecka
„Formalny opis języka polskiego. Teoria i implementacja”
Seria: Problemy współczesnej nauki.
Teoria i zastosowania.
Inżynieria lingwistyczna.
Akademicka Oficyna Wydawnicza EXIT, Warszawa 2002.
1
- język formalny i teoria lingwistyczna
- mechanizmy:
hierarchie typów
wielodziedziczenie
wielopoziomowe struktury
-wieloaspektowy opis języka: składnia
semantyka
pragmatyka
fonologia
2
- teorie generatywne
- Generalized Phrase Structure Grammar
- ograniczenia („constraint-based”)
- Lexical Functional Grammar
gramatyczne – spełniające wszystkie ograniczenia
- Carl Pollard (1984) „Generalized Phrase Structure
Grammars, head grammars and natural languages”
3
- angielski
- niemiecki
- holenderski
- francuski
- włoski
- hiszpański
- portugalski
- serbsko-chorwacki
- bułgarski
- czeski
- słoweński
- polski
-
walijski
koreański
japoński
turecki
grecki
hebrajski
warlpiri
amerykański język migowy
4
Formalna teoria HPSG:
- sygnatura
- teoria właściwa
Teoria właściwa – zbiór ograniczeń
Sygnatura:
z częściowy porządek na zbiorze typów
z przyporządkowanie typom atrybutów
z relacje
5
sign
phon
PHON
SYNSEM synsem
word
dziedziczenie atrybutów
phrase
HD-DTR sign
NONHD-DTRS list(sign)
6
list
elist
nelist
FIRST object
REST list
< > = elist
L = < a1,a2 ,a3 > = < a1 | R >
R = < a2 ,a3 > = < a2 | P >
P = < a 3 > = < a3 | S >
S=< >
7
8
sign
PHON phon
synsem
local
SYNSEM
LOCAL
CAT
category
CONT content
CONX context
NONLOCAL nonlocal
9
10
Zasada Struktury Argumentów
11
Zasada co najwyżej jednego podmiotu
[
valence
SUBJ 1
]
( 1 = <> ∨
1
=<
0
>)
12
13
14
15
sign
PHON phon
synsem
SYNSEM
LOCAL
local
CAT category
CONT content
CONX context
NONLOCAL nonlocal
16
krzesło:
17
18
19
20
21
22
23
24
25
26
27
28
Teoria deklaratywna
Odwracalne gramatyki komputerowe
Rozwiązywanie ograniczeń (constraint solving)
29