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

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

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

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

vztahy, konverzační implikatury, presupozice

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

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

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

Okruh č.3: Sémantický výklad predikátové logiky

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

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

Výroková logika. Sémantika výrokové logiky

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

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

Matematická logika. Rostislav Horčík. horcik

Predikátová logika. Teoretická informatika Tomáš Foltýnek

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

Úvod do logiky (PL): negace a ekvivalence vět mimo logický

Úvod do TI - logika Predikátová logika 1.řádu (4.přednáška) Marie Duží marie.duzi@vsb.cz

Úvod do logiky (PL): logický čtverec (cvičení)

Transparentní intenzionální logika (TIL)

Matematická logika. Miroslav Kolařík

teorie logických spojek chápaných jako pravdivostní funkce

Primární a sekundární výskyt označující fráze. Martina Juříková Katedra filozofie, FF UP v Olomouci Bertrand Russell,

Úvod do logiky (VL): 5. Odvození výrokových spojek z jiných

Sémantika predikátové logiky

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

Výroková logika syntaxe a sémantika

Predikátová logika. prvního řádu

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

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

Úvod do logiky (VL): 7. Ekvivalentní transformace

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

Úvod do logiky (VL): 11. Ověřování, zda je formule tautologií metodou protipříkladu

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

Predikátová logika dokončení

Predikátová logika Individua a termy Predikáty

1. Predikátová logika jako prostedek reprezentace znalostí

2.2 Sémantika predikátové logiky

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

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

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

Úvod do logiky (PL): logický čtverec

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

Logika. Akademie managementu a komunikace, Praha PhDr. Peter Jan Kosmály, PhD.

Logický důsledek. Petr Kuchyňka

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

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

Cvičení Aktivita 1. část 2. část 3. část Ústní Celkem Známka

PLIN041 Vývoj počítačové lingvistiky Algebraická lingvistika. Mgr. Dana Hlaváčková, Ph.D. od 2. pol. 50. let 20. st.

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

Logika. 2. Výroková logika. RNDr. Luděk Cienciala, Ph. D.

I) Příklady (převeďte následující věty do formulí PL1 a ověřte jejich ekvivalenci pomocí de Morganových zákonů):

RELACE, OPERACE. Relace

Přednáška 2: Formalizace v jazyce logiky.

DBS Konceptuální modelování

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

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

Teorie argumentace Pavel Arazim

přednáška 2 Marie Duží

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

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

4.2 Syntaxe predikátové logiky

UDL 2004/2005 Cvičení č.6 řešení Strana 1/5

Relační datový model. Integritní omezení. Normální formy Návrh IS. funkční závislosti multizávislosti inkluzní závislosti

platné nejsou Sokrates je smrtelný. (r) 1/??

Ontologie. Otakar Trunda

Základní pojmy matematické logiky

ZÁKLADY LOGIKY A METODOLOGIE

Rezoluční kalkulus pro logiku prvního řádu

Úvod do informatiky. Miroslav Kolařík

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

Logika a logické programování

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

výrok-každésdělení,uněhožmásmyslseptát,zdaječinenípravdivé, aproněžprávějednaztěchtodvoumožnostínastává.

1 Pravdivost formulí v interpretaci a daném ohodnocení

Teoreticko-metodologický seminář. Zdeňka Jastrzembská

SYNTAX LS Úvod

Principy UML. Clear View Training 2005 v2.2 1

Logické programy Deklarativní interpretace

Úvod do výrokové a predikátové logiky

Matematická logika. Rostislav Horčík. horcik

Databáze. Logický model DB. David Hoksza

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.

Matematická logika. Miroslav Kolařík

PV167 Projekt z obj. návrhu IS. 26. března 2008

Ludwig WITTGENSTEIN: Tractatus Logico-Philosophicus, 1922 Překlad: Jiří Fiala, Praha: Svoboda, 1993

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

MATEMATICKÁ TEORIE ROZHODOVÁNÍ

Výroková logika. Teoretická informatika Tomáš Foltýnek

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

Inteligentní systémy (TIL)

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

Úvod do teoretické informatiky

Paradigmata programování 1

MATEMATICKÁ TEORIE ROZHODOVÁNÍ

Inteligentní systémy (TIL)

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

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

Evropský sociální fond Praha & EU: Investujeme do vaší budoucnosti

Matematická logika. Miroslav Kolařík

Transkript:

Sublexikální sémantika: události, sémantické role; formalizace: množiny a funkce, lambda abstrakce FF MU Mojmír Dočekal ÚJABL Logika: systémový rámec rozvoje oboru v ČR a koncepce logických propedeutik pro mezioborová studia (reg. č. CZ.1.07/2.2.00/28.0216, OPVK) Sublexikální sémantika: události, sémantické role; formalizace: množiny a funkce, lambda 1 / 12 a

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

význam pod úrovní slov: sub-atomická... T. Parsons tematické role jedna z mezi-jazykově platných generalizací: tranzitivní slovesa má činitele (agens) vždy vyjádřeného jako subjekt a objekt dějem zasažený (patiens) jako objekt tj. neexistuje (ani v jiných přirozených jazycích) lexikalizované sloveso, které by vyjadřovalo reverzní význam ke kousnout: (1) Vilda kousnul Ferdu. (2) *Ferda rkousnul Vildu. pro vyjádření podobných generalizací: thematické role Sublexikální sémantika: události, sémantické role; formalizace: množiny a funkce, lambda 3 / 12 a

1 agens: objekt, který něco činí (vůle, vnímání, pohyb) 2 patiens: objekt, který je zasažen dějem 3 lokace 4 experiencer 5 theme: pohybované předměty thematické role jsou pro každou větu jedinečné pomocí nich lze vyjádřit generalizace: (3) Má-li věta agens, tak je vyjádřen jako větný subjekt. (4) Má-li věta patiens (a žádný agens), pak je patiens vyjádřen jako subjekt. (5) Má-li věta jak agens, tak patins, pak je patiens vyjádřen jako objekt věty. v generativní gramatice: UTAH Sublexikální sémantika: události, sémantické role; formalizace: množiny a funkce, lambda 3 / 12 a

v rámci formální sémantiky jde formalizace často přes události: (6) Ferda kousnul Vidu. a. Existovala událost kousnutí, ve které byl Ferda agens a Vilda patiens. b. e[kousnout(e) Agens(Ferda, e) Patiens(Vilda, e)] agens: relace mezi událostí a objektem, kde objekt svou vůĺı způsobuje alespoň část události a celá událost by bez jeho zapřičinění nevznikla patiens: relace mezi událostí a objektem, kde objekt je zasažen (alespoň částečně) událostí sub-atomická: jde o selekce jistých aspektů významu: (7) Petr/?kámen/??čtverec/#prvočíslo zpíval(o). Sublexikální sémantika: události, sémantické role; formalizace: množiny a funkce, lambda 4 / 12 a

Kritika sémantických roĺı kolik? jak definovat? David Dowty: nelze precizně definovat tak, abychom skutečně odvodili pravidla přiřazení argumentů (8) a. Joe hit the table with a hammer. b. Joe hit the hammer against the table. generalizace přiřazující argumenty sémantickým roĺım nás nutí jako patiens v (8-a) označit the table, ale v (8-b) the hammer to jde proti chápání sémantických roĺı jako funkcí! z událostí do objektů Sublexikální sémantika: události, sémantické role; formalizace: množiny a funkce, lambda 5 / 12 a

podobně pro češtinu: (9) a. Petr napustil vanu vodou. b. Petr napustil vodu do vany. (10) a. Petr naložil papír na vozík. b. Petr naložil vozík papírem. Dowtyho řešení: sémantické role jsou příliš hrubé, potřebujeme škálu Petr je víc agens než papír/vozík, které jsou více patiens než Petr nicméně nelze říct, který z nich je jediný patiens argument je agens, pokud splňuje jisté implikace: (11) proto-agensové implikace: vůle, vnímání, kauzace, pohyb (relativně vůči ostatním), nezávislá existence více agnesových vlastností subjektová pozice podobně pro patiens: Sublexikální sémantika: události, sémantické role; formalizace: množiny a funkce, lambda 6 / 12 a

(12) proto-patiensové implikace: podstupuje změnu, mění se inkrementálně, je kauzálně ovlivněn, nepohybuje se, neexistuje nezávisle na ostatních některé argumenty mohou být stejně patiensové Sublexikální sémantika: události, sémantické role; formalizace: množiny a funkce, lambda 7 / 12 a

Modelování vlastností 1 Množiny propozice = množina situací/možných světů (13) Kruh je uvnitř čtverce. Sublexikální sémantika: události, sémantické role; formalizace: množiny a funkce, lambda 8 / 12 a

význam množin: pro kažou situaci/svět množina entit, které daný predikát splňují/zastupují (14) () je uvnitř čtverce. Sublexikální sémantika: události, sémantické role; formalizace: množiny a funkce, lambda 9 / 12 a

množinový zápis: () je šéf katedry na FF MU: {Ondřej Šefčík, Zdeňka Jastrzembská, Zdeňka Hladká,... } kompozice: (15) Ondřej Šefčík je šéfem katedry na FF MU. 2 Funkce funkce je matematické zobrazení: z argumentu do hodnoty množina možných argumentů je doména množina možných hodnot je rozsah (range) funkční zápis (16) být šéf katedry na FF MU a. Ondřej Šefčík 1 b. Zdeňka Jastrzembská 1 c. Karel Gott 0 Sublexikální sémantika: události, sémantické role; formalizace: množiny a funkce, 10 lambda / 12 a

typ (extenzionálně): <e,t> plně <s,<e,t>> λ-notace: (17) a. y = x + 1 b. množinově: {<1,2>,<2,3>,... } c. λ-notací: [λx.x + 1] (18) a. () být šéf katedry na FF MU b. množinově: {Ondřej Šefčík, Zdeňka Jastrzembská, Zdeňka Hladká,... } c. λ-notací: [λx.x je sef katedry] čtení λ notace: 1 v [] je NP: funkce z x do čísla x + 1 2 v [] je věta/predikát: funkce z x do pravdivostní hodnoty, pokud [] Sublexikální sémantika: události, sémantické role; formalizace: množiny a funkce, 11 lambda / 12 a

příklady: (19) a. [λx.x je maly] b. [λf.f ] c. λx.[λy.y miluje x]] x, y,... individua, f, g,... funkce, P,Q,R,... predikáty, p, q, r,... propozice (20) a. λpλq x[p(x) Q(x)] saturace nesaturované propozice: (21) a. [λx.x je maly](cartman)... typu <t> b. λx.[λy.y miluje x](romeo)](julii)... typu <t> (i) aplikace fce na argumenty: [λy.y miluje Julii](Romeo) (ii) Romeo miluje Julii Sublexikální sémantika: události, sémantické role; formalizace: množiny a funkce, 12 lambda / 12 a