Syntaktick´a a logick´a anal´yza ˇceˇstiny v analyz´atoru synt Aleˇs Hor´ak E-mail:
[email protected] http://nlp.fi.muni.cz/projekty/wwwsynt/
Obsah: Motivace Syntaktick´y analyz´ator synt Logick´a anal´yza v syst´emu synt Shrnut´ı Syntaktick´ a a logick´ a anal´ yza ˇ ceˇstiny v analyz´ atoru synt
1 / 26
Motivace
Motivace C´ıl = poˇc´ıtaˇcov´y syst´em dovede komunikovat v pˇrirozen´em jazyce Obor Poˇc´ıtaˇcov´a lingvistika: od 60. let 20. stol., Computational linguistics, NLP (Natural Language Processing ) spojen´ı umˇel´e inteligence (informatiky) a lingvistiky – jako jedna z kognitivn´ıch vˇed zkoum´a probl´emy anal´yzy ˇci generov´an´ı text˚ u nebo mluven´eho slova, kter´e vyˇzaduj´ı urˇcitou (ne absolutn´ı) m´ıru porozumˇen´ı pˇrirozen´emu jazyku strojem tvoˇr´ı jazykov´e modely – pojmy algoritmus, datov´a struktura, (form´aln´ı) gramatika, . . .
Syntaktick´ a a logick´ a anal´ yza ˇ ceˇstiny v analyz´ atoru synt
2 / 26
Motivace
Komunikace v pˇrirozen´ em jazyce
Komunikace v pˇrirozen´em jazyce
Situace
Mluvˇc´ı → Promluva → Posluchaˇc KS = {Ml, Po, Pr , Loc, Tm, Var }
komunikace = c´ılen´a v´ymˇena informace pomoc´ı produkce a vn´ım´an´ı u (sd´ılen´ych) pokyn˚ pˇrirozen´y jazyk = syst´em strukturovan´ych pokyn˚ u pr˚ ubˇeh promluvy je moˇzn´e rozdˇelit na f´aze: z´amˇer, generov´an´ı, synt´eza a vn´ım´an´ı, anal´yza, zjednoznaˇcnˇen´ı, zahrnut´ı (Russell a Norvig, 2003)
Syntaktick´ a a logick´ a anal´ yza ˇ ceˇstiny v analyz´ atoru synt
3 / 26
Motivace
Komunikaˇ cn´ı f´ aze – pˇr´ıklad
Komunikaˇcn´ı f´aze – pˇr´ıklad z´ amˇer Vˇedˇet(Po, ¬Na ˇzivu(Krtek1 , S3 ))
vn´ım´ an´ı
anal´yza
generov´ an´ı “Krtek je mrtv´y.”
ˇ´ı Mluvc synt´eza [k r t e k j e m r t v i:]
ˇ Posluchac zjednoznaˇcnˇen´ı ¬Na ˇzivu(Krtek1 , S3 ))
S VP
NP
syntaktick´ a Noun Verb Adjective anal´yza: “Krtek je mrtv´y.”
Krtek
je
mrtv´y
s´emantick´ a ¬Na ˇzivu(Krtek, Ted’) interpretace: Unaven´y (Krtek, Ted’) pragmatick´ a ¬Na ˇzivu(Krtek1 , S3 ) interpretace: Unaven´y (Krtek1 , S3 )
Syntaktick´ a a logick´ a anal´ yza ˇ ceˇstiny v analyz´ atoru synt
4 / 26
zahrnut´ı Tell(KB, ¬Na ˇzivu(Krtek1 , S3 ))
Syntaktick´ y analyz´ ator synt
Obsah 1
Motivace
2
Syntaktick´y analyz´ator synt Metody anal´yzy syntaxe Re´aln´a syntaktick´a anal´yza ˇceˇstiny Syntaktick´y analyz´ator synt Metagramatika syst´emu synt Jazykov´e zdroje V´ystupy syntaktick´e anal´yzy
3
Logick´a anal´yza v syst´emu synt
4
Shrnut´ı Syntaktick´ a a logick´ a anal´ yza ˇ ceˇstiny v analyz´ atoru synt
5 / 26
Syntaktick´ y analyz´ ator synt
Metody anal´ yzy syntaxe
Metody anal´yzy syntaxe
syntaktick´a anal´yza – struktura vˇetn´ych fr´az´ı popisuje, jak vypad´a gramaticky spr´avn´a vˇeta, vˇetˇsinou pomoc´ı: pravidel gramatiky pravdˇepodobnostn´ıho ohodnocen´ı pˇri v´yvoji se vyuˇz´ıvaj´ı data z rozs´ahl´ych textov´ych korpus˚ u syntaktick´y analyz´ator – n´astroj, kter´y analyzuje vstup (nejˇcastˇeji vˇetu) a pro spr´avnou vˇetu d´a na v´ystup informaci o jej´ı struktuˇre (napˇr. derivaˇcn´ı stromy)
Syntaktick´ a a logick´ a anal´ yza ˇ ceˇstiny v analyz´ atoru synt
6 / 26
start
ends
sentence
clause
’,’
clause
’,’
VL udělaly
np
,
VBL bylo
np
ADJ Postižených
np
N cestovek
ADV víc
np
NUMK PREP dvě z
N bankrot
pp np
PRONPER nich TXygqPZ
clause
,
np
part_adv
’.’ .
VL vyprávěla
np
PRONPER nám
np
np_prop_names
np
’,’ ,
NPR Ludmila
NPR Janočková
np
np
N majitelka
N agentury
Syntaktick´ y analyz´ ator synt
Metody anal´ yzy syntaxe
Metody anal´yzy syntaxe – reprezentace vˇetn´e struktury vˇetn´a struktura – strukturovan´y popis vˇetn´ych ˇclen˚ u povrchov´a struktura (surface structure) S
derivaˇcn´ı/sloˇzkov´y strom jako v´ysledek bezkontextov´e (CF) anal´yzy
N pes
VP V je
N zv´ıˇre
z´avislostn´ı struktura (dependency structure) zobrazuje z´avislosti mezi vˇetn´ymi ˇcleny V je N pes
Syntaktick´ a a logick´ a anal´ yza ˇ ceˇstiny v analyz´ atoru synt
N zv´ıˇre
7 / 26
Syntaktick´ y analyz´ ator synt
Re´ aln´ a syntaktick´ a anal´ yza ˇ ceˇstiny
Re´aln´a syntaktick´a anal´yza ˇceˇstiny
siln´a v´ıceznaˇcnost – nˇekdy aˇz obrovsk´e mnoˇzstv´ı (mili´ ony) moˇzn´ych syntaktick´ych strom˚ u ˇ Obehnat Saloun˚ uv pomn´ık mistra Jana Husa na praˇzsk´em Staromˇestsk´em n´amˇest´ı ˇziv´ym plotem z hust´ych keˇr˚ u s trny navrhuje obˇcansk´e sdruˇzen´ı Spoleˇcnost Jana Jesenia. velice rozs´ahl´e gramatiky (tis´ıce aˇz des´ıtky tis´ıc pravidel) existuj´ı efektivn´ı algoritmy pro takov´e gramatiky napˇr. tabulkov´y analyz´ator (chart parser ), beˇz´ı v O(n3 ), stovky slov/sekundu
Syntaktick´ a a logick´ a anal´ yza ˇ ceˇstiny v analyz´ atoru synt
8 / 26
Syntaktick´ y analyz´ ator synt
Syntaktick´ y analyz´ ator synt
Syntaktick´y analyz´ator synt navrˇzen pro anal´yzu jazyk˚ u s voln´ym slovosledem (ˇceˇstina) dlouhodob´y projekt Centra ZPJ (vede Aleˇs Hor´ak – Andrej Gardoˇn, Jiˇr´ı Golembiovsk´y, Dana Hlav´ aˇckov´ a, Luk´ aˇs Hol´ık, Miloˇs Jakub´ıˇcek, Vladim´ır Kadlec, Vojtˇech Kov´ aˇr, Jan Michelfeit, Pavel Smrˇz, Radek Vykydal)
pracuje s formalismem metagramatiky – bezkontextov´a pravidla + kontextov´e podm´ınky a akce rychl´y algoritmus (0.07s/vˇeta) pro kontextovou ˇc´ast, um´ı efektivnˇe u pracovat s exponenci´aln´ım mnoˇzstv´ım strom˚ v´ysledn´e stromy jsou v polynomi´aln´ım ˇcase ohodnoceny a setˇr´ıdˇeny – na v´ystup jde jen N nejlepˇs´ıch syst´em obsahuje i prototypov´e ˇc´asti pro v´ystup z´avislost´ı a logickou anal´yzu vˇety
Syntaktick´ a a logick´ a anal´ yza ˇ ceˇstiny v analyz´ atoru synt
9 / 26
Syntaktick´ y analyz´ ator synt
Metagramatika syst´ emu synt
Metagramatika syst´emu synt 3 formy (meta)gramatiky: metagramatika (G1) pravidla s kombinatorick´ymi konstrukty + glob´aln´ı omezen´ı poˇrad´ı akce (= gramatick´e testy + kontextov´e akce) ˇcesk´a lingvistick´a tradice – z´avislostn´ı struktury, kontrola shody, pravidla pro poˇrad´ı slov, . . . generovan´a gramatika (G2) bezkontextov´a pravidla akce expandovan´a gramatika (G3) jen bezkontextov´a pravidla poˇcty pravidel metagramatika G1 253 gramatika G2 3091 expandovan´a gramatika G3 11530 uk´ azka Syntaktick´ a a logick´ a anal´ yza ˇ ceˇstiny v analyz´ atoru synt
10 / 26
Syntaktick´ y analyz´ ator synt
Jazykov´ e zdroje
Jazykov´e zdroje
synt vyuˇz´ıv´a data z n´asleduj´ıc´ıch syst´em˚ u a zdroj˚ u: ajka – morfologick´a anal´yza (slovn´ı tvary, lemmata) VerbaLex – valenˇcn´ı slovn´ık ˇcesk´ych sloves: syntaktick´e informace o valenci (p´ad, pˇredloˇzka, . . . ) odkazy na hypero/hyponymick´e tˇr´ıdy ˇcesk´eho WordNetu s´emantick´e tˇr´ıdy sloves (VerbNet) >10,000 slovesn´ych lemmat uk´ azka
manatee – korpusov´y manaˇzer
Syntaktick´ a a logick´ a anal´ yza ˇ ceˇstiny v analyz´ atoru synt
11 / 26
Syntaktick´ y analyz´ ator synt
V´ ystupy syntaktick´ e anal´ yzy
V´ystupy syntaktick´e anal´yzy synt nab´ız´ı v´ıce moˇznost´ı zpracov´an´ı v´ysledn´ych struktur: syntaktick´e stromy (varianty: technick´a/lingvistick´a, uspoˇr´adan´e/neuspoˇr´adan´e) uk´azka struktura chart – komprimovan´y les vˇsech strom˚ u
uk´ azka
z´avislostn´ı graf – graf vˇsech z´avislost´ı vytvoˇren´ych akcemi seznamy fr´az´ı v dan´e vˇetˇe, z´ıskan´e pˇr´ımo ze struktury chart ˇc´asteˇcn´e zjednoznaˇcnˇen´ı morfologick´ych znaˇcek na vstupu
uk´ azka uk´ azka uk´ azka
manu´al ke GDW – Grammar Development Workbench http://nlp.fi.muni.cz/projekty/grammar_workbench/manual/ DEMO: wwwsynt – webov´e rozhran´ı k syntu http://nlp.fi.muni.cz/projekty/wwwsynt/
Syntaktick´ a a logick´ a anal´ yza ˇ ceˇstiny v analyz´ atoru synt
12 / 26
Logick´ a anal´ yza v syst´ emu synt
Obsah 1
Motivace
2
Syntaktick´y analyz´ator synt
3
Logick´a anal´yza v syst´emu synt S´emantick´a a logick´a anal´yza Logick´a anal´yza pˇrirozen´eho jazyka Transparentn´ı intenzion´aln´ı logika Tvorba logick´e konstrukce v syntu synt – pˇr´ıklad logick´e anal´yzy Dolphin – b´aze znalost´ı v TIL
4
Shrnut´ı Syntaktick´ a a logick´ a anal´ yza ˇ ceˇstiny v analyz´ atoru synt
13 / 26
Logick´ a anal´ yza v syst´ emu synt
S´ emantick´ a a logick´ a anal´ yza
S´emantick´a a logick´a anal´yza
s´emantick´a anal´yza – v´yznam v´yraz˚ u pˇrirozen´eho jazyka a jejich kombinac´ı hodnˇe z´avis´ı na zvolen´e s´emantick´e reprezentaci logick´a anal´yza vˇety – strukturn´ı ˇc´ast s´emantick´e anal´yzy Princip kompozicionality: V´yznam sloˇzen´eho tvrzen´ı je funkc´ı v´yznamu jednotliv´ych komponent. (je urˇcov´an, je odhadnuteln´y, kaˇzd´a sloˇzka hraje v´yznam?) omezen´ı PK: idiomy, ustrnul´e metafory, kolokace, kliˇs´e
Syntaktick´ a a logick´ a anal´ yza ˇ ceˇstiny v analyz´ atoru synt
14 / 26
Logick´ a anal´ yza v syst´ emu synt
Logick´ a anal´ yza pˇrirozen´ eho jazyka
Logick´a anal´yza pˇrirozen´eho jazyka
logick´a anal´yza PJ – anal´yza v´yznamu v´yraz˚ u (vˇet) PJ pˇrirozen´y jazyk = n´astroj pojmov´eho uchopen´ı reality pro u ´plnou logickou anal´yzu PJ potˇrebujeme logick´y syst´em, kter´y: um´ı pracovat s pojmy um´ı pracovat s potencialitami a ˇcasem – intenzionalita
Syntaktick´ a a logick´ a anal´ yza ˇ ceˇstiny v analyz´ atoru synt
15 / 26
Logick´ a anal´ yza v syst´ emu synt
Logick´ a anal´ yza pˇrirozen´ eho jazyka
Logick´a anal´yza pˇrirozen´eho jazyka – pojem
co je pojem? pojem 6= v´yraz – napˇr. v´yrazy v r˚ uzn´ych jazyc´ıch ˇcasto reprezentuj´ı stejn´y pojem (pojem(“prvoˇc´ıslo”) ≡ pojem(“prime number”)) pojem 6= pˇredstava – pˇredstava je subjektivn´ı, pojem je objektivn´ı pojmy mohou identifikovat r˚ uzn´e objekty: jedno individuum (napˇr. Petr, ˇ prezident CR), tˇ r´ıdu objekt˚ u (napˇr. ˇcerven´y, ˇselma), pravdivostn´ı hodnotu (napˇr. v Brnˇe prˇs´ı), . . . pojem = logick´a konstrukce (procedura, napˇr. “planeta” = tˇr´ıda nebesk´ych tˇeles s urˇcit´ymi charakteristikami – ob´ıh´a po obˇeˇzn´e dr´aze kolem st´alice, nen´ı zdrojem svˇetla, . . . )
Syntaktick´ a a logick´ a anal´ yza ˇ ceˇstiny v analyz´ atoru synt
16 / 26
Logick´ a anal´ yza v syst´ emu synt
Logick´ a anal´ yza pˇrirozen´ eho jazyka
Logick´a anal´yza pˇrirozen´eho jazyka – intenzionalita
intenze – objekty typu funkc´ı, jejichˇz hodnoty z´avis´ı na svˇetˇe a ˇcase (samotn´e intenze tak na svˇetˇe a ˇcase nez´avis´ı) extenze – ostatn´ı objekty (na svˇetˇe a ˇcase nez´avisl´e) Varˇsava
hlavn´ı mˇesto Polska
Varˇsava
–
hlavn´ı mˇesto Polska
–
jm´eno individua, jasnˇe identifikovateln´e a odliˇsiteln´e individuov´a role, moment´alnˇe identifikuje Varˇsavu, ale dˇr´ıve to byl i Krakov
Syntaktick´ a a logick´ a anal´ yza ˇ ceˇstiny v analyz´ atoru synt
17 / 26
Logick´ a anal´ yza v syst´ emu synt
Logick´ a anal´ yza pˇrirozen´ eho jazyka
Rozˇs´ıˇren´y vztah v´yrazu a v´yznamu u intenz´ı
konstruuje intenze
konstrukce/pojem oznaˇcuje
urˇcuje
extenze
reprezentuje
v´yraz
ukazuje na
Syntaktick´ a a logick´ a anal´ yza ˇ ceˇstiny v analyz´ atoru synt
18 / 26
Logick´ a anal´ yza v syst´ emu synt
Logick´ a anal´ yza pˇrirozen´ eho jazyka
Rozˇs´ıˇren´y vztah v´yrazu a v´yznamu u intenz´ı intenze
konstruuje konstrukce/pojem oznaˇ cuje
urˇ cuje
reprezentuje
extenze
v´ yraz
konstruuje
ukazuje na
AH
autor Hamleta oznaˇcuje
urˇcuje
William Shakespear
Syntaktick´ a a logick´ a anal´ yza ˇ ceˇstiny v analyz´ atoru synt
reprezentuje
ukazuje na 19 / 26
“autor Hamleta”
Logick´ a anal´ yza v syst´ emu synt
Transparentn´ı intenzion´ aln´ı logika
Transparentn´ı intenzion´aln´ı logika Transparent Intensional Logic, TIL logick´y syst´em speci´alnˇe navrˇzen´y pro zachycen´ı v´yznamu v´yraz˚ u PJ autor Pavel Tich´y: The Foundations of Frege’s Logic, de Gruyter, Berlin, New York, 1988. Tich´y vych´az´ı z myˇslenek – Gottlob Frege (1848 – 1925, logik) a Alonzo Church (1903 – 1995, teorie typ˚ u) vlastnosti: • rozvˇ etven´a typov´a hierarchie (s typy vyˇsˇs´ıch ˇr´ad˚ u) – typov´a b´aze 4 typ˚ u • • • •
(individua, pravdivostn´ı hodnota, ˇcas/kontinuum, moˇzn´e svˇety) tempor´aln´ı intenzion´aln´ı (intenze × extenze) potenciality v podobˇe moˇzn´ych svˇet˚ u vyvozov´an´ı pomoc´ı kalkulu sekvent˚ u
implementace v syntu – algoritmus NTA Syntaktick´ a a logick´ a anal´ yza ˇ ceˇstiny v analyz´ atoru synt
20 / 26
Logick´ a anal´ yza v syst´ emu synt
Tvorba logick´ e konstrukce v syntu
Tvorba logick´e konstrukce v syntu Lexikon z´akladn´ıch konstrukc´ı: #T PROP (((oi)t)w) /* definice typu: (oι)τ ω = vlastnost individu´ı */ ˇerven´ c y O(ˇ cerven´ y/T PROP) /* trivializace objektu, 0ˇcerven´y . . . (oι)τ ω */ jablko /* pˇrips´an´ı vlastnosti, (∃i . . . ι)[0jablkowt i] */ :exists: V(i/i):V(i) :and: [awt(O(jablko/T PROP)),V(i)]
Akce typov´e kontroly logick´ych konstrukc´ı: np -> adj_group np rule_schema($@, "lwtx(awtx(#1) and awtx(#2))") rule_schema($@, "lwtx([[awt(#1),#2],x])")
rule schema – sch´ema pro tvorbu logick´e konstrukce z podkonstrukc´ı projdou jenom kombinace, kter´e typovˇe vyhovuj´ı dan´emu sch´ematu Syntaktick´ a a logick´ a anal´ yza ˇ ceˇstiny v analyz´ atoru synt
21 / 26
Logick´ a anal´ yza v syst´ emu synt
synt – pˇr´ıklad logick´ e anal´ yzy
Syst´em synt – pˇr´ıklad logick´e anal´yzy vyhodnocen´ı rule schema pro np ’velkou kytici’ 4, 6, +npnl -> . left modif np .: k1gFnSc4 agree case number gender and propagate OK rule schema: 2 nterms, ’lwtx(awtx(#1) and awtx(#2))’ error: appl arr: arg type does NOT match (i!=(((oi)t)w)) ... rule schema: 2 nterms, ’lwtx([[awt(#1),#2],V(x)])’ And constrs, Abstr and Exi vars are just gathered 1 (1x2) constructions: λw10 λt11 λx12 [[velk´ y-4w10 t11 , kytice-5], x12 ] . . . (oι)τ ω And constrs: none added Exi vars: none added Syntaktick´ a a logick´ a anal´ yza ˇ ceˇstiny v analyz´ atoru synt
22 / 26
Logick´ a anal´ yza v syst´ emu synt
synt – pˇr´ıklad logick´ e anal´ yzy
Syst´em synt – pˇr´ıklad logick´e anal´yzy – pokraˇc. vyhodnocen´ı verb rule schema pro celou vˇetu (clause) Petr dal vˇcera babiˇcce velkou kytici. verb rule schema: 4 groups, verb #2, possible subjects: #1 group 1: 0, 1, +NPR -> .’Petr’ . k1gMnSc1, Petr-0 . . . ι group 2: 2, 3, +ADV -> .’vˇ cera’ . k6xTeAd1, temp:vˇ cera-2 . . . ((oτ )τ ) group 3: 3, 4, +N -> .’babiˇ cce’ . k1gFnSc3, babiˇ cka-3 . . . (oι)τ ω group 4: 4, 6, +npnl -> . left modif np . k1gFnSc4, λw10 λt11 λx12 [[velk´ y-4w10 t11 , kytice-5], x12 ] . . . (oι)τ ω Clause val.list: d´ at
#1:(0)hPTc1-#2:(2)hPTc3-#3:(3)hPTc4, ... Verb val.list: d´ at #1:hPTc3ti-#2:hPTc4ti Matched val.list: d´ at(0) #1:(2)hPTc3ti-#2:(3)hPTc4 time span: λt23 vˇ cera-2tt23 . . . (oτ ) frequency: Onc . . . ((o(oτ ))π)ω verbal object: x26 . . . (o(oπ)(oπ)) present tense clause: λw29 λt30 (∃x26 )(∃i27 )(∃i28 )([Doesw29 t30 , Petr-0, . . . clause: λw31 λt32 [Pt32 , [Oncw31 , λw29 λt30 (∃x26 )(∃i27 )(∃i28 )([Doesw29 t30 , Petr-0, [Impw29 , x26 ]] ∧ [babiˇ y-4w29 t30 , kytice-5], i28 ] ∧ cka-3w29 t30 , i27 ] ∧ [[velk´ cera-2tt23 ] . . . π x26 = [d´ at-1, i27 , i28 ]w29 )], λt23 vˇ Syntaktick´ a a logick´ a anal´ yza ˇ ceˇstiny v analyz´ atoru synt
23 / 26
Logick´ a anal´ yza v syst´ emu synt
Dolphin – b´ aze znalost´ı v TIL
Dolphin – b´aze znalost´ı v TIL syst´em Dolphin (Andrej Gardoˇ n): prototypov´a implementace b´aze znalost´ı v TIL v souˇcasnosti z´akladn´ı inference bez moˇzn´ych svˇet˚ u a ˇcas˚ u (and, or, neg a specifik´ator) organizace dat • jazykov´ a vrstva • objektov´ a vrstva
interaktivn´ı m´ody: 1. uˇcic´ı m´ od – kontroluje konzistenci, voln´e promˇenn´e ukl´ad´a jako nov´e objekty, ukl´ad´a nov´a fakta 2. dotazovac´ı m´ od – spouˇst´ı vyhled´av´an´ı pro z´akladn´ı typy ot´azek (yes/no, what) uk´ azka
Syntaktick´ a a logick´ a anal´ yza ˇ ceˇstiny v analyz´ atoru synt
24 / 26
Shrnut´ı
Obsah
1
Motivace
2
Syntaktick´y analyz´ator synt
3
Logick´a anal´yza v syst´emu synt
4
Shrnut´ı
Syntaktick´ a a logick´ a anal´ yza ˇ ceˇstiny v analyz´ atoru synt
25 / 26
Shrnut´ı
Shrnut´ı synt je navrˇzen a implementov´an jako efektivn´ı n´astroj pro syntaktickou anal´yzu silnˇe v´ıceznaˇcn´ych gramatik metagramatika syntu implementuje pravidla podle ˇcesk´e lingvistick´e tradice synt umoˇzn ˇuje pracovat s velk´ym mnoˇzstv´ım potenci´aln´ıch anal´yz – v souˇcasnosti se implementuj´ı nov´e techniky na vylepˇsen´ı ohodnocen´ı strom˚ u synt umoˇzn ˇuje pr´aci i pˇr´ımo s komprimovanou strukturou vˇsech strom˚ u (chart) – graf z´avislost´ı, vyhled´an´ı podstruktur a fr´az´ı, ˇc´asteˇcn´e zjednoznaˇcnˇen´ı znaˇcek vstupu implementace algoritmu NTA – logick´a anal´yza ˇcesk´e vˇety v TIL, pˇreklad vstupu v pˇrirozen´em jazyce do logick´ych konstrukc´ı synt → z´aklad pro komunikaci s poˇc´ıtaˇcem v pˇrirozen´em jazyce Syntaktick´ a a logick´ a anal´ yza ˇ ceˇstiny v analyz´ atoru synt
26 / 26
V z´avˇereˇcn´em komunik´e o jedn´an´ıch se stroze konstatuje, ˇze jedn´an´ı budou ˇımˇe. v brzk´e dobˇe pokraˇcovat v R´ start
sentence
sentence
’,’ ,
clause
pp PREP V
R se
part adv
nnp
np ADJ z´ avˇ ereˇ cn´ em
np
PREP o
conj CONJ ˇ ze
VR konstatuje
clause
nnp N jedn´ an´ı
VBU budou
pp
PREP v
nnp N jedn´ an´ıch
’.’ . pp
vi list VI pokraˇ covat
nnp
ADJ brzk´ e
np N dobˇ e
pp
N komunik´ e Zpˇ et
ADV stroze
ends
PREP v
nnp NPR ˇ ımˇ R´ e
Zpˇ et
Zpˇ et
start ss
intr
partnl PART Ba
clause V m´ am
ends ’.’ . intr
inter list
inter list
inter listnl
inter listnl
inter
inter
part
interbez nnp
part partnl PART i
part
nnpnl
np partnl PART npnl tak left modif left modifnl modif coord list modif modifnl adjp numk numknl NUMK ˇ ctyˇri
np npnl N psy
start sentence ends clause part PART Ba
Zpˇ et
PART i
’.’ .
V m´ am PART tak
np numk
np
NUMK ˇ ctyˇri
N psy
Zpˇ et
Branka padla z pokutov´eho kopu z velk´e vzd´alenosti.
Zpˇ et
np: Tyto normy se vˇsak odliˇsuj´ı nejen v r´amci r˚ uzn´ych n´arod˚ u a st´at˚ u, ale i v r´amci soci´aln´ıch skupin, a tak povaˇzuji dˇr´ıvˇejˇs´ı pojet´ı za dosti ˇsirok´e a nedostaˇcuj´ıc´ı. [0-2) Tyto normy [2-3) se [6-12) v r´amci r˚ uzn´ych n´arod˚ u a st´at˚ u [15-19) v r´amci soci´aln´ıch skupin [23-30) dˇr´ıvˇejˇs´ı pojet´ı za dosti ˇsirok´e a nedostaˇcuj´ıc´ı vp: Kdybych to byl b´yval vˇedˇel, byl bych sem nechodil. [0-5): byl b´yval vˇedˇel [6-10): byl bych nechodil clause: Muˇz, kter´y stoj´ı u cesty, vede kolo. [0-9): Muˇz , , vede kolo [2-6): kter´y stoj´ı u cesty Zpˇ et
slovo Na kr´ asn´e
dlouh´e
ulici st´ alo modern´ı
pˇred
po
k7{c4, c6}
k7c6
k2eA{gFnPcld1, gFnPc4d1, gFnPc5d1, gFnSc2d1, gFnSc3d1, gFnSc6d1, glnPcld1, gInPc4d1, gInPc5d1, glnScld1wH, gInSc4d1wH, gInSc5d1wH, gMnPc4d1, gMnScld1wH, gMnSc5d1wH, gNnScld1, gNnSc4d1, gNnSc5d1}
k2eAgFnSc6d1
k2eA{gFnPcld1, gFnPc4d1, gFnPc5d1, gFnSc2d1, gFnSc3d1, gFnSc6d1, glnPcld1, gInPc4d1, gInPc5d1, glnScld1wH, gInSc4d1wH, gInSc5d1wH, gMnPc4d1, gMnScld1wH, gMnSc5d1wH, gNnScld1, gNnSc4d1, gNnSc5d1}
k2eAgFnSc6d1
klgFnSc3, klgFnSc4, klgFnSc6
klgFnSc6
k5eAaImAgNnSaIrD
kSeApNnStMmPaI
k2eA{gFnPcld1, gFnPc4d1, gFnPc5d1, gFnScld1, gFnSc2d1, gFnSc3d1, gFnSc4d1, gFnSc5d1, gFnSc6d1, gFnSc7d1, glnPcld1, gInPc4d1, gInPc5d1, glnScld1, gInSc4d1, gInSc5d1, gMnPcld1, gMnPc4d1, gMnPc5d1, gMnScld1, gMnSc5d1, gNnPcld1, gNnPc4d1, gNnPc5d1, gNnScld1, gNnSc4d1, gNnSc5d1}
k2eAgNnScld1, k2eAgNnSc4d1, k2eAgNnSc5d1
nabl´yskan´e
k2eA{gFnPcld1rD, gFnPc4d1rD, gFnPc5d1rD, gFnSc2d1rD, gFnSc3d1rD, gFnSc6d1rD, glnPcld1rD, gInPc4d1rD, gInPc5d1rD, glnScld1wHrD, gInSc4d1wHrD, gInSc5d1wHrD, gMnPc4d1rD, gMnScld1wHrD, gMnSc5d1wHrD, gNnScld1rD, gNnSc4d1rD, gNnSc5d1rD}
k2eAgNnScld1, k2eAgNnSc4d1, k2eAgNnSc5d1
auto
klgNnScl, klgNnSc4, klgNnSc5
klgNnScl, klgNnSc4, klgNnSc5
Zpˇ et
S´emantick´a s´ıt’ po vstupu 3 vˇet: Toto je jablko., Tato kostka je ˇcerven´a. a To jablko je ˇcerven´e.
Zpˇ et
