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

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

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

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

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

vztahy, konverzační implikatury, presupozice

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

Ú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

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

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

Výroková logika syntaxe a sémantika

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

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

Sémantická interpretace

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

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

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

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

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

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

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

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

4.2 Syntaxe predikátové logiky

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

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

Predikátová logika dokončení

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

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

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

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.

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

Výroková logika dokazatelnost

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

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

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

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

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

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

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.

ZÁKLADY LOGIKY A METODOLOGIE

Sémantika predikátové logiky

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

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

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

Transparentní intenzionální logika (TIL)

SYNTAX LS Úvod

Logika a logické programování

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

Logika pro sémantický web

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

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

Rezoluční kalkulus pro výrokovou logiku

Matematická logika. Rostislav Horčík. horcik

Systém přirozené dedukce výrokové logiky

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

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

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

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

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

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

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

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

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

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

10. Techniky formální verifikace a validace

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

Predik atov a logika - pˇredn aˇska () Predik atov a logika - pˇredn aˇska / 16

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

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

přednáška 2 Marie Duží

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

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

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.

Predikátová logika Individua a termy Predikáty

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

Rovnost lze vyjádřit jako predikát, např. můžeme zvolit, že P(x, y) reprezentujetvrzení xjerovnoy.

Hilbertovský axiomatický systém

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

Matematická logika. Miroslav Kolařík

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

Ontologie. Otakar Trunda

Logický důsledek. Petr Kuchyňka

OJ305 TYPOLOGIE JAZYKŮ z pohledu syntaxe

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

Formální systém výrokové logiky


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

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

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

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

Denotační sémantika. Marek Běhálek

Principy UML. Clear View Training 2005 v2.2 1

postaveny výhradně na syntaktické bázi: jazyk logiky neinterpretujeme, provádíme s ním pouze syntaktické manipulace důkazy

Rezoluce v predikátové logice

Zadání a řešení testu z matematiky a zpráva o výsledcích přijímacího řízení do magisterského navazujícího studia od jara 2016

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

Použití této techniky se v tezaurech nedoporučuje.

Teorie argumentace Pavel Arazim

Transkript:

: slovesa, predikativní jména, adjektiva, tranzitivní slovesa, relativní věty 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) Typy predikátů: slovesa, predikativní jména, adjektiva, tranzitivní slovesa, relativní 1 věty / 10

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

Adjektiva, predikativní jména uskutečňování Fregovského programu: od (1) k (2-a-b) (1) Vilda mňouká. (2) a. Vilda je velký. b. Vilda je kocour. význam spony: 1 sémantický vakuózní/prázdný význam: vymazání (neinterpretování) jejího uzlu 2 triviální vlastnost vlastnosti: <,>, [λp.p]: politik/hlásná trouba Typy predikátů: slovesa, predikativní jména, adjektiva, tranzitivní slovesa, relativní 3 věty / 10

podobně a ještě komplikovaněji pro angličtinu: protože neurčitý člen je zcela jistě významově použit v argumentových pozicích (4) (3) Vilda is a cat. (4) A cat ate my lunch. (5) The/one/every cat ate my lunch. základní možnosti pro neurčitý člen: 1 dvě a: argumentové a predikátové, predikátové je bez významu; 2 bez významu je jak argumentové, tak predikátové a, nicméně u argumentů signalizuje nepřítomnost ostatních členů (default?) 3 a má význam ve všech užitích stejný, ale pak jaký? Typy predikátů: slovesa, predikativní jména, adjektiva, tranzitivní slovesa, relativní 4 věty / 10

Tranzitivní predikáty už i pro Fregeho existovaly dvourgumentové predikáty (být matka), ale (6) by byl pro něj predikát + argument lingvisticky neatraktivní (6) Vilda kousnul Ferdu. dvojitě nesaturované predikáty = relace závorkování podle syntaxe: (7) S NP VP Vilda V kousnul NP Ferdu Typy predikátů: slovesa, predikativní jména, adjektiva, tranzitivní slovesa, relativní 5 věty / 10

sémantická kompozice: (8) t e et Vilda? kosnul e Ferdu princip kompozicionality: <e> <e,t>: <e,<e,t>> pořadí sémantického skládání kopíruje syntaktickou strukturu cleft testy, idiomy,... Typy predikátů: slovesa, predikativní jména, adjektiva, tranzitivní slovesa, relativní 6 věty / 10

Relativní věty predikátové použití relativní věty: (9) Tahle knížka je, [co jsem hledal.] relativní věta: zvenku slouží jako predikát, ale uvnitř je komplexní odpovídá to λ-abstrakci přes jeden z argumentů: (10) a. Já jsem hledal Švejka. (i) Hledat(Ja, Svejk)... typ <t> b. [co jsem hledal] (i) [λx.hledat(ja, x)]... typ <e,t> to odpovídá i syntaktické struktuře, kde stopa odpovídá x z formule a co ve SpecCP λ-abstraktoru Typy predikátů: slovesa, predikativní jména, adjektiva, tranzitivní slovesa, relativní 7 věty / 10

(11) CP co1 S AUX jsem hledal VP e1 ze saturované propozice s proměnnou: Hledat(Ja, x) (typ t) k nesaturované otevřené propozici s vázanou proměnnou [λx.hledat(ja, x)] (typ et) Typy predikátů: slovesa, predikativní jména, adjektiva, tranzitivní slovesa, relativní 8 věty / 10

Topikalizace podobně lze utvořit predikáty z vět oproti [S[VO]] závorkování alespoň některé teorie (Krifka, Peregrin,... ) takto vysvětlují celý topic/focus např. nepříznakový slovosled: (12) Vilda kousl Ferdu vs. příznakový: (13) Ferdu Vilda kousl (ale Barušku ne)... topikalizace utvoření predikátu: množina věcí kousnutá Vildou (aplikováno na Ferdu) vs. nepříznakově: množina věcí, které kously Ferdu (aplikováno na Vildu) Typy predikátů: slovesa, predikativní jména, adjektiva, tranzitivní slovesa, relativní 9 věty / 10

nepříznakově: (14) [λx.kousnout(x, Ferdu)](Vilda) topikalizace: (15) [λy.kousnout(vilda, y)](ferda) sémantika je stejná jako u relativní věty: proměnná + λ-abstraktor Typy predikátů: slovesa, predikativní jména, adjektiva, tranzitivní slovesa, relativní 10 věty / 10