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

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

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

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

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

vztahy, konverzační implikatury, presupozice

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

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

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

Ú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

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

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

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

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

Úvod do logiky (presentace 2) Naivní teorie množin, relace a funkce

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

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

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

JAZYK A JAZYKOVÁ KOMUNIKACE

SINGULÁRNÍ VÝROKY: Jednoduchý singulární výrok vznikne spojením singulárního termínu s termínem obecným pomocí spony=slova je.

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

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

Databázové systémy. Přednáška č. 5

Okruh č.3: Sémantický výklad 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

VY_32_INOVACE_ / Kvarteto - Umělci 17. a 18. století

Transparentní intenzionální logika (TIL)

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

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

Rozvoj vzdělávání žáků karvinských základních škol v oblasti cizích jazyků. Registrační číslo projektu: CZ.1.07/1.1.07/

PRŮVODNÍ LIST k nově vytvořenému / inovovanému učebnímu materiálu

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

Matematická logika. Miroslav Kolařík

Logický důsledek. Petr Kuchyňka

Ontologie. Otakar Trunda

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

Plánování: reprezentace problému

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

ZÁKLADY ANGLICKÉ GRAMATIKY PRO SOU MGR. DITA HEJLOVÁ

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

Logika a logické programování

Negativní informace. Petr Štěpánek. S použitím materiálu M.Gelfonda a V. Lifschitze. Logické programování 15 1

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

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

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

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

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

Základy informatiky. Výroková logika

Ročník VI. Anglický jazyk. Období Učivo téma Metody a formy práce- kurzívou. Průřezová témata. Mezipřed. vztahy. Kompetence Očekávané výstupy

Databázové systémy. * relační kalkuly. Tomáš Skopal. - relační model

Kvantita (u subjektu) všechny prvky množiny (všichni, každý, nikdo, žádní ) některé prvky množiny (některý, existuje,.) predikát.

Logika a formální sémantika: 8. Game-theoretical semantics

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

1 Výroková logika 1. 2 Predikátová logika 3. 3 Důkazy matematických vět 4. 4 Doporučená literatura 7

ANGLIČTINA ODPOLEDNÍ 111, 113 (minulý semestr 111, 113) Angličtina velmi mírně pokročilí (3. semestry) Výukové materiály Předpokládaný rozsah učiva:

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

KMA/MDS Matematické důkazy a jejich struktura

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

Databázové systémy trocha teorie

Teorie argumentace Pavel Arazim

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

Predikátová logika dokončení

POČITATELNÁ A NEPOČITATELNÁ PODSTATNÁ JMÉNA. Countable and uncountable nouns

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

Marie Duží

Prolog PROgramming in LOGic část predikátové logiky prvního řádu rozvoj začíná po roce 1970 Robert Kowalski teoretické základy Alain Colmerauer, David

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

Logika a formální sémantika: 8. Game-theoretical semantics

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

ČÍSLOVKY (NUMERALIA) ČÍSLOVKY ZÁKLADNÍ - označují počet, pojmenovávají čísla

Vzdělávací oblast: Jazyk a jazyková komunikace Vyučovací předmět: Anglický jazyk Ročník: 3.. Průřezová témata Mezipředmětové vztahy.

Klauzulární logika. úvod. Šárka Vavrečková. 20. října Ústav informatiky Filozoficko-Přírodovědecká fakulta Slezské univerzity, Opava

Matematika I. Přednášky: Mgr. Radek Výrut, Zkouška:

Sémantické analýzy českých číslovek: případová studie o druhových číslovkách

Spojení OntoUML a GLIKREM ve znalostním rozhodování

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

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

Predikátová logika Individua a termy Predikáty

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

AVZ, Mgr. Tomáš Machurek

TVAROSLOVÍ Mgr. Soňa Bečičková

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

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

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

Inovace tohoto kurzu byla spolufinancována z Evropského sociálního fondu a státního rozpočtu České republiky.

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

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

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

Úvod do logiky (VL): 8. Negace výroků

Formální sémantika SQL dotazování

Výukový materiál zpracovaný v rámci operačního programu Vzdělávání pro konkurenceschopnost

Logický čtverec. Tradiční logický čtverec

Modely Herbrandovské interpretace

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

Logika a formální sémantika: 5. Modální logika

Vzdělávací oblast: Jazyk a jazyková komunikace Anglický jazyk (časová dotace 3 hodiny týdně) Ročník: 6. Poznámky:

UDBS Cvičení 10 Funkční závislosti

Dotazovací jazyky I. Datová krychle. Soběslav Benda

2AA TIME TO TALK (začátek od Unit 4) prof. Volfová Po 17:30 uč. 27

Transkript:

Plurály, látková jména, reference k druhům, základy formalizace: polosvazy, množiny 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) Plurály, látková jména, reference k druhům, základy formalizace: polosvazy, množiny 1 / 12

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

Godehard Link: The Logical Analysis of Plural and Mass Terms: A Lattice-Theoretic Approach množina entit asociovaná s NP má interní strukturu ta je vhodná pro formalizaci gramatického čísla jmen a látkových (mass) jmen struktura: operace součtu (sum: /+), relace být částí (<) (1) kůň = {A,B,C} a. kůň SG ={A,B,C} b. kůň PL ={A+B,B+C,A+C,A+B+C} (2) a. Kůň spal. b. Koně spali. Plurály, látková jména, reference k druhům, základy formalizace: polosvazy, množiny 3 / 12

atomy, plurálová individua, polosvaz atbtc atb atc btc a b c Figure 8: Presuppositon homogeneity Plurály, látková jména, reference k druhům, základy formalizace: polosvazy, množiny 3 / 12

adjektivní teorie číslovek: <e,t> <e,t> (3) a. kůň... {A,B,C} b. koně... {A+B,B+C,A+C,A+B+C} c. dva koně... {A+B,B+C,A+C} d. ti dva koně... nedefinováno e. ti tři koně... A+B+C jazyky jako čínština nerozlišují gramatické číslo na jménech (4) ma... {A,B,C,A+B,B+C,A+C,A+B+C} a. san pi ma\ tři CL koňovitost\ tři koně san: počítáme tři pi: počítáme atomy velikosti zvířat ma: koňovitost Plurály, látková jména, reference k druhům, základy formalizace: polosvazy, množiny 4 / 12

čínština má jasnější vztah syntax/sémantika v ide. jazycích je klasifikátor zabudován většinou do jména (sg/pl) někdy do číslovky: (5) a. tři námořníci b. trojice námořníků c. trojí námořníci Plurály, látková jména, reference k druhům, základy formalizace: polosvazy, množiny 5 / 12

Látková jména jména jako zlato, prach, sníh,... diagnostika: 1 nelze pluralizovat: #zlata, prachy 2 nelze přímo počítat: #podej mi dvě zlata, #podej mi dva prachy 3 lze je spojovat se sg. univerzálním kvantifikátorem: všechno zlato, všechen prach vs. #všechna knížka, #všechen pes jsou divizivní alespoň lingvisticky nekonečně jsou i kumulativní (6) a. zlato + zlato = zlato b. část zlata = zlato c. pes + pes pes d. část psa pes Plurály, látková jména, reference k druhům, základy formalizace: polosvazy, množiny 6 / 12

Linkovo řešení: pro látková jména nemá polosvaz atomy podobná čínským jménům jako ma jsou nepravá látková jména (7) nábytek, obuv,... mají základní atomickou strukturu, ale jsou kumulativní nicméně pro počítání musíme použít klasifikátory: (8) a. #tři nábytk b. tři kusy nábytku mezi látkovými jmény a počitatelnými jmény jde mapovat grinding a packaging nicméně jde to jen v určitých případech (9) grinding: všechny jablka, dvě jablka počitatelné a. V salátu bylo jablko.... mass b. #V salátu byl pes. Plurály, látková jména, reference k druhům, základy formalizace: polosvazy, množiny 7 / 12

packaging: (10) všechna voda... mass a. packaging: Podej mi jednu vodu. mapování dodržuje interní strukturu: dva prsteny P1 a P2 ze zlata Z1 a Z2 plurálový počitatelný objekt P1 + P2 je tvořen nepočitatelnou substancí Z1 + Z2 nicméně mohou mít různé vlastnosti: (11) a. Tento prsten je nový, ale je tvořen starým zlatem. b. Tahle socha je měsíc stará, ale kov, který ji tvoří, je stoletý. Plurály, látková jména, reference k druhům, základy formalizace: polosvazy, množiny 8 / 12

Druhy anglické holé plurály se zdají být velmi ambigní (12) a. Horses are rare. (group) b. Horses are mammals. (all) c. Horses have tails. (almost all) d. Horses give birth to theoir foals in the spring. (many of the female) e. Horses were galloping across the plain. (some) nejde zřejmě o skutečnou ambiguitu neexistence skutečné ambiguity v jednotlivých případech Carlsonovo řešení: všechny holé plurály mají jediný význam: druh (kind) Plurály, látková jména, reference k druhům, základy formalizace: polosvazy, množiny 9 / 12

1 druhová denotace: Sýčci jsou v Evropě rozšíření. 2 objektová denotace: V našem Zoo pěstují sýčky. 3 stage denotace: Včera jsem v Zoo viděli sýčky. holý plurál vždy referuje k druhu, nicméně predikáty jsou selektivní čistě druhové predikáty: být rozšířený, vymřít, vyhubit,... (13) Zmije ještě nevymřeli. a. #Karel vymřel. b. #Petr vyhubil Karla. objektové predikáty: trvalé nebo téměř trvalé vlastnosti např. být inteligentní, černovlasý, vysoký,... nedovolují časoprostorovou modifikaci (14) Karel je inteligentní. a. #Karel je inteligentní ve své kanceláři. b. #Karel je vysoký ve svém autě. Plurály, látková jména, reference k druhům, základy formalizace: polosvazy, množiny 10 / 12

type-shiftovací operátory: Gn (generic): změna vlastnosti Gn(P) vlastnost druhu, pokud je pravdivá o typických instancích druhu (15) Gn(mají-hřívy)(koně) stage-level predikáty: např. utíkat, spát, číst,... vyjadřují časově omezenou vlastnost individua R: realizační operátor: z druhu do individua (16) R(koně)(utíkali) některé realizace druhu koně utíkali holé plurály v angličtině vždy referují k druhu predikáty selektují druhy, objekty nebo stage ambiguita vychází z predikátu Plurály, látková jména, reference k druhům, základy formalizace: polosvazy, množiny 11 / 12

life-time effect: (17) a. Karel byl opilý. b. Karel byl inteligentní. c. Karel pocházel z Brna. Plurály, látková jména, reference k druhům, základy formalizace: polosvazy, množiny 12 / 12