Modifikace: atributivní použití adjektiv, druhy adjektiv,

Podobné dokumenty
Typy predikátů: slovesa, predikativní jména, adjektiva, tranzitivní slovesa, relativní 1 věty / 10

Sublexikální sémantika: události, sémantické role; formalizace: množiny a funkce, lambda 1 / 12 a

Zobecněné kvantifikátory, empirické argumenty pro unifikovanou sémantiku NP, negativně 1 / 20 p

Plurály, látková jména, reference k druhům, základy formalizace: polosvazy, množiny 1 / 12

vztahy, konverzační implikatury, presupozice

Úvod do logiky (PL): sémantika predikátové logiky

Úvod do logiky (PL): analýza vět přirozeného jazyka

Obsah Předmluva Rekapitulace základních pojmů logiky a výrokové logiky Uvedení do predikátové logiky...17

Kompozicionalita: jm na a reference, logick typy, rule-to-rule vs. interpretativn s mantika 1 / 14

Matematická logika. Lekce 1: Motivace a seznámení s klasickou výrokovou logikou. Petr Cintula. Ústav informatiky Akademie věd České republiky

Matematická logika. Miroslav Kolařík

Úvod do predikátové logiky. (FLÚ AV ČR) Logika: CZ.1.07/2.2.00/ / 1

Sémantická interpretace

Formálnílogickésystémy pro aplikaci v informatice Martin Žáček

Inteligentní systémy (TIL) Marie Duží

Pro každé formule α, β, γ, δ platí: Pro každé formule α, β, γ platí: Poznámka: Platí právě tehdy, když je tautologie.

Výroková logika syntaxe a sémantika

Predikátová logika: Axiomatizace, sémantické stromy, identita. (FLÚ AV ČR) Logika: CZ.1.07/2.2.00/ / 13

Deskripční logika. Petr Křemen FEL ČVUT. Petr Křemen (FEL ČVUT) Deskripční logika 37 / 157

SYNTAX LS Úvod

Stefan Ratschan. Fakulta informačních technologíı. Evropský sociální fond Praha & EU: Investujeme do vaší budoucnosti

Každé formuli výrokového počtu přiřadíme hodnotu 0, půjde-li o formuli nepravdivou, a hodnotu 1, půjde-li. α neplatí. β je nutná podmínka pro α

Predikátová logika Individua a termy Predikáty

Logika. 1. Úvod, Výroková logika

SLOVNÍ DRUHY Platón Aristoteles Dionysios Thrácký Priscianus

Sémantika predikátové logiky

Úvod do logiky (VL): 12. Ověřování platnosti úsudků metodou protipříkladu

Zpracování neurčitosti

Úvod do TI - logika 1. přednáška. Marie Duží

Sylogistika. (FLÚ AV ČR) Logika: CZ.1.07/2.2.00/ / 16

Automaty a gramatiky(bi-aag) Formální překlady. 5. Překladové konečné automaty. h(ε) = ε, h(xa) = h(x)h(a), x, x T, a T.

Metody tvorby ontologií a sémantický web. Martin Malčík, Rostislav Miarka

Logika. 6. Axiomatický systém výrokové logiky

Čeština doma & ve světě. [nová]

Znovu o existenci 1. Pavel Materna. Discussions

Základy informatiky. Výroková logika

MATEMATICKÁ TEORIE ROZHODOVÁNÍ

Výroková a predikátová logika - III

Reprezentace znalostí. Katedra kybernetiky, ČVUT v Praze.

Sémantika výrokové logiky. Alena Gollová Výroková logika 1/23

Automaty a gramatiky(bi-aag) Motivace. 1. Základní pojmy. 2 domácí úkoly po 6 bodech 3 testy za bodů celkem 40 bodů

OOT Objektově orientované technologie

Modelování a odvozování v RDFS

Ústav českého jazyka. Postnominální druhová adjektiva v češtině


Český jazyk a literatura

SLOVNÍ DRUHY. Vytvořeno dne: druhů, vymezuje tři základní kritéria členění. Závěr prezentace slouží k procvičení osvojených poznatků.

Úvod do logiky (PL): analýza vět mimo logický čtverec

Logika a jazyk. filosofický slovník, Praha:Svoboda 1966)

Okruh č.9: sémantické metody dokazování v PL1 model formule Tradiční Aristotelova logika kategorický sylogismus subjekt predikátové výroky

Úvod do logiky (VL): 4. Zjištění průběhu pravdivostních hodnot formule tabulkovou metodou

Úvod do logiky: klasická predikátová logika. Jiří Raclavský. Masarykova univerzita

2 Lexikální jednotka. 2.1 Obecné kategorie

Fuzzy logika a reálný svět, aneb jsou všechny hromady skutečně malé?

Popis morfologických značek poziční systém

Úvod do logiky (PL): ekvivalence a negace výroků logického

Klauzulární logika. Znalostní báze. Šárka Vavrečková

Umělá inteligence I. Roman Barták, KTIML.

Výroková a predikátová logika - III

Transparentní intenzionální logika (TIL)

2.2 Sémantika predikátové logiky

MATEMATICKÁ TEORIE ROZHODOVÁNÍ

Další (neklasické) logiky. Jiří Velebil: AD0B01LGR 2015 Predikátová logika 1/20

Logika a logické programování

Logický důsledek. Petr Kuchyňka

Ontologie. Otakar Trunda

Úvod do logiky (PL): základní úvaha

RELACE, OPERACE. Relace

Úvod do teoretické informatiky(2017/2018) cvičení 6 1

Analýza a modelování dat 3. přednáška. Helena Palovská

Usuzování za neurčitosti

Úvod do logiky. (FLÚ AV ČR) Logika: CZ.1.07/2.2.00/ / 23

LATINA. V rámci gymnaziálního vzdělání přispívá předmět Latina k utváření a rozvíjení klíčových kompetencí t těmito metodami:

Univerzita Karlova v Praze, Nakladatelství Karolinum, 2015 Robert Adam, 2015

ZÁKLADNÍ METODOLOGICKÁ PRAVIDLA PŘI ZPRACOVÁNÍ ODBORNÉHO TEXTU. Martina Cirbusová (z prezentace doc. Škopa)

Matematika vzorce. Ing. Petr Šídlo. verze

MATURITNÍ OTÁZKY ELEKTROTECHNIKA - POČÍTAČOVÉ SYSTÉMY 2003/2004 PROGRAMOVÉ VYBAVENÍ POČÍTAČŮ

OBSAH 1 TVOŘENÍ SLOV SKLÁDÁNÍM Obecný výklad Rozsah čisté kompozice a komplexních postupů u složených

UML. Unified Modeling Language. Součásti UML

Modely datové. Další úrovní je logická úroveň Databázové modely Relační, Síťový, Hierarchický. Na fyzické úrovni se jedná o množinu souborů.

Větná polarita v češtině. Kateřina Veselovská Žďárek Hořovice,

Matematická logika. Miroslav Kolařík

Další cizí jazyk Německý jazyk /čtyřleté gymnázium a vyšší stupeň osmiletého gymnázia/

Výroková logika dokazatelnost

Obsah přednášky. programovacího jazyka. Motivace. Princip denotační sémantiky Sémantické funkce Výrazy Příkazy Vstup a výstup Kontinuace Program

MODELOVÁNÍ DAT V INFORMAČNÍCH SYSTÉMECH. Jindřich Kaluža Ludmila Kalužová

Úvod do informatiky. Miroslav Kolařík

Kam s ní? O interpunkční čárce v souvětí Jana Svobodová

Predikátová logika dokončení

Výroková a predikátová logika - VII

Copyright Jiří Janda ISBN

Český jazyk a literatura

Místo pojmu výroková formule budeme používat zkráceně jen formule. Při jejich zápisu

Základní pojmy matematické logiky

Seminář z matematiky. jednoletý volitelný předmět

Jak správně psát scénáře k případům užití?

Unární je také spojka negace. pro je operace binární - příkladem může být funkce se signaturou. Binární je velká většina logických spojek

Princip rozšíření a operace s fuzzy čísly

Pravdivostnэ podmэnky, redukce vznamu na pravdivostnэ podmэnky

doplněk, zřetězení, Kleeneho operaci a reverzi. Ukážeme ještě další operace s jazyky, na které je

Transkript:

: atributivní použití adjektiv, druhy adjektiv, adverbia jako modifikátory událostí/predikáty vyššího řádu FF MU Mojmír Dočekal ÚJABL Logika: systémový rámec rozvoje oboru v ČR a koncepce logických propedeutik pro mezioborová studia Modifikace: atributivní použití adjektiv, druhy adjektiv, adverbia jako modifikátory1 událostí/ / 17

Outline 1 Modifikace Modifikace: atributivní použití adjektiv, druhy adjektiv, adverbia jako modifikátory2 událostí/ / 17

Adjektiva + jména doposud byla jediná sémantická operace saturace tradiční gramatické rozlišení: modifikace adjektivum + jméno, adverbium + sloveso otázka: lze modifikaci pojímat jako saturaci? (1) a. Vilda je černý. b. Vilda je kocour. c. Vilda je černý kocour. NP i AP v (1-a) a (1-b) jsou predikáty, tj. typu et Modifikace: atributivní použití adjektiv, druhy adjektiv, adverbia jako modifikátory3 událostí/ / 17

(2) t t e et e??? Vilda kocour/cerny Vilda et et cerny kocour podle pravidla (3) je význam NP [černý kocour] nesložitelný (3) Má-li mateřský uzel (γ) dva dceřinné uzly (α a β), pak je význam γ buď i) α ( β ), nebo ii) β ( α ): buď je význam α saturován významem β, nebo obráceně. řešení: nové pravidlo sémantické kompozice modifikace: intuitivně průnik obou predikátů Modifikace: atributivní použití adjektiv, druhy adjektiv, adverbia jako modifikátory4 událostí/ / 17

to odpovídá intuicím: (4) Vilda je černý kocour. a. Vilda je černý. b. Vilda je kocour. formalizace (Heim&Kratzer 1998:65): (5) Predicate Modification (PM): If α is a branching node, {β,γ} is the set of α s daughters, and β and γ are both in D <e,t> then α = λx D e. β (x) = γ (x) = 1 (6) alpha beta cerny gamma kocour Modifikace: atributivní použití adjektiv, druhy adjektiv, adverbia jako modifikátory5 událostí/ / 17

(7) cerny kocour =λx. cerny (x) = kocour (x) = 1 a. = λx.x je cerny x je kocour intuitivni, ale za cenu zavedení nové operace druhá možnost: ponechat saturaci jako jedinou operaci a změnit typ adjektiva: (8) a. cerny = λx.x je cerny... typ <e,t> b. cerny = [λp.[λx.p(x) x je cerny]]... typ <<e,t>,<e,t>> saturace individui: <e,t> nebo vlastnostmi: <<e,t>,<e,t>> ale není nutná nová operace nevýhody: Modifikace: atributivní použití adjektiv, druhy adjektiv, adverbia jako modifikátory6 událostí/ / 17

neintuitivní význam tento význam nesedí vůči predikativnímu užití adjektiv: (9) Vilda je černý. tři možná řešení: 1 vrátit se k modifikaci 2 adjektiva jsou systematicky ambigní 3 ponechat jen význam vyššího řádu a změnit interpretaci pro predikativní užití adjektiv rozhodnutí musí vycházet z empirie je některé řešení intuitivnější? Modifikace: atributivní použití adjektiv, druhy adjektiv, adverbia jako modifikátory7 událostí/ / 17

Druhy adjektiv adjektiva jako vysoký, černovlasý jsou intersektivní: (10) a. Petr je černovlasý student. (i) Petr je černovlasý. (ii) Petr je student. ne-intersektivní adjektiva: (11) bývalý učitel, falešný prezident, nepravá bankovka, možné řešení, pouhý omyl mnohá adjektiva jsou vágní: (12) Vilda je velký (kocour). a. kontext: Vilda mezi hrochy b. kontext: Vilda mezi kocoury Modifikace: atributivní použití adjektiv, druhy adjektiv, adverbia jako modifikátory8 událostí/ / 17

tato kontextová množina je nutně selektována z NP : (13) Vilda je velký kocour. a. kontext: V. stojí mezi koťaty bráno jako argument pro analýzu adjektiv jako predikátů vyššího řádu: P dodává kontextově/np standard (14) a. velky = [λp.[λx.p(x) x je vetsi > prumer P]]... typ <<e,t>,<e,t>> problém: ne-vágní adjektiva jako čistý, mrtvý, zavřený, zdravý,... spíše <e,t> typ 2 způsoby kombinace v závislosti na sémantice adjektiva? navíc i vágní adjektiva (většinou) umožňují predikativní užití: (15) a. Petr je velký/vysoký/spokojený/... b. vs: Ten problém je??možný/??falešný/... Modifikace: atributivní použití adjektiv, druhy adjektiv, adverbia jako modifikátory9 událostí/ / 17

jedno z řešení (B. H. Partee): type-shifting: operace systematicky měnící typy: (16) a. Napoleon <e> byl malý. b. Ty jseš úplnej Napoleon. <e,t> c. <e> <e,t> analogicky: malý <<e,t>,<e,t>> <e,t> další řešení: skryté jméno morfologická evidence? (17) Být mal-ý je pěkné. zatím stále otevřené Modifikace: atributivní použití adjektiv, druhy adjektiv, adverbia jako modifikátory10 událostí/ / 17

Relativní věty jako modifikátory predikativní/atributivní použití (stejně jako u adjektiv): (18) a. predikativní: Myši jsou, co Vildu zajímá nejvíc. b. atributivní: Myši jsou zvířata, která Vildu zajímají nejvíc. obojí jsou predikáty <e,t> typu na rozdíl od adjektiv jsou v atributivním použití postnominální v mnoha případech je linearita pro sémantiku nepodstatná (19) t t e et et e Modifikace: atributivní použití adjektiv, druhy adjektiv, adverbia jako modifikátory11 událostí/ / 17

Adverbia klasická standardní gramatická poučka: adjektiva modifikují jména, adverbia slovesa formalizace: modifikace by v obou případech měla být stejná operace dvě cesty: formalizace pomocí událostí vs. formalizace pomocí významu vyššího řádu Modifikace: atributivní použití adjektiv, druhy adjektiv, adverbia jako modifikátory12 událostí/ / 17

Adverbia jako modifikátory událostí intuice: (20) popisuje událost mňoukání a hlasitou událost (20) Vilda mňoukal hlasitě. a. e[agens(e, Vilda) Mnoukani(e) Hlasite(e)] výhody: intuitivní, umožňuje vysvětlit jednoduše vyplývání (20) do (21-a), protože (21-b) (21) a. Vilda mňoukal. ( e[agens(e, Vilda) Mnoukani(e)]) b. p q = p/p q = q typově: hlasitě <v,t> vs. hlasitý <e,t> kombinace pomocí predikátové modifikace podobně pro další typy adverbíı: (22) [Včera] Vilda [hlasitě] mňoukal [na zahradě], [protože měl hlad]. Modifikace: atributivní použití adjektiv, druhy adjektiv, adverbia jako modifikátory13 událostí/ / 17

nicméně některé typy adverbíı nemodifikují pouze události: (23) a. Petr úmyslně kopl do Marie. b. Petr nakrájel zeleninu nadrobno. c. Překvapivě Petr přišel pozdě. Petrovo úmyslné kopnutí Marie Mariino úmyslné nakopnutí Petrem podobně: (24) a. Petr úmyslně prodal Karlovi padělek. b. Karel si úmyslně koupil od Petra padělek. úmyslně je subjektově orientované adverbium formalizace: <e,<v,t>> analogicky jako tranzitivní slovesa podobně pro objektově orientovaná adverbia jako nadrobno prostá adverbia typu hlasitě odpovídají intranzitivním slovesům podobně adverbia orientovaná na mluvčího (bohužel, překvapivě,... ) Modifikace: atributivní použití adjektiv, druhy adjektiv, adverbia jako modifikátory14 událostí/ / 17

Adverbia jako modifikátory vyššího řádu v případě chudší ontologie si vystačíme s objekty: (25) mňoukat... <e,t>... množina objektů (ne událostí!) a. hlasitě(mňoukat)... <e,t>... množina hlasitě mňoukajících objektů kompozicionálně <<e,t>,<e,t>> podobně jako adjektiva modelovaná vyšším řádem (26) hlasite = [λp.[λx.p(x) x hlasite P]]... typ <<e,t>,<e,t>> méně intuitivní, ale funguje přímo i na víc druhů adverbíı: Modifikace: atributivní použití adjektiv, druhy adjektiv, adverbia jako modifikátory15 událostí/ / 17

(27) a. úmyslně(nakopnout Marii)... vlastnost b. najemno(x nakrájet y)... relace c. překvapivě(petr vykřiknul)... propozice Modifikace: atributivní použití adjektiv, druhy adjektiv, adverbia jako modifikátory16 událostí/ / 17

Formální vs. lexikální sémantika formální sémantika se soustředí na kombinatoriku skládání ne na vlastní lexikální sémantiku: (28) a. spát... λx.[x spi] <e,t> b. černý λx.[x je cerny] <e,t> c. vysoký λx.[x je vysoky] <e,t> lexikální sémantika: vlastní význam slov většinou mimo kompetenci lingvistiky: rozdíl mezi gepardem a leopardem nicméně několik lexikálně sémantických témat i ve formální sémantice: vid (Dowty, Verkuyl, Krifka,... ), adjektiva (McNally, Kennedy),... Modifikace: atributivní použití adjektiv, druhy adjektiv, adverbia jako modifikátory17 událostí/ / 17