Modifikace: atributivní použití adjektiv, druhy adjektiv,
|
|
- Monika Horáková
- před 6 lety
- Počet zobrazení:
Transkript
1 : 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
2 Outline 1 Modifikace Modifikace: atributivní použití adjektiv, druhy adjektiv, adverbia jako modifikátory2 událostí/ / 17
3 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
4 (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
5 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
6 (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
7 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
8 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
9 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
10 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
11 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
12 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
13 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
14 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
15 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
16 (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
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
Typy predikátů: slovesa, predikativní jména, adjektiva, tranzitivní slovesa, relativní 1 věty / 10
: 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
Sublexikální sémantika: události, sémantické role; formalizace: množiny a funkce, lambda 1 / 12 a
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
Zobecněné kvantifikátory, empirické argumenty pro unifikovanou sémantiku NP, negativně 1 / 20 p
Zobecněné kvantifikátory, empirické argumenty pro unifikovanou sémantiku NP, negativně polaritní výrazy FF MU Mojmír Dočekal ÚJABL Logika: systémový rámec rozvoje oboru v ČR a koncepce logických propedeutik
Plurály, látková jména, reference k druhům, základy formalizace: polosvazy, množiny 1 / 12
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á
vztahy, konverzační implikatury, presupozice
: sémantika, formální sémantika, významové vztahy, konverzační implikatury, presupozice FF MU Mojmír Dočekal ÚJABL Logika: systémový rámec rozvoje oboru v ČR a koncepce logických propedeutik pro mezioborová
Úvod do logiky (PL): sémantika predikátové logiky
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) Úvod do logiky (PL): sémantika predikátové logiky doc. PhDr. Jiří
Úvod do logiky (PL): analýza vět přirozeného jazyka
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) Úvod do logiky (PL): analýza vět přirozeného jazyka doc. PhDr.
Obsah Předmluva Rekapitulace základních pojmů logiky a výrokové logiky Uvedení do predikátové logiky...17
Obsah Předmluva...3 0. Rekapitulace základních pojmů logiky a výrokové logiky...11 0.1 Logika jako věda o vyplývání... 11 1. Uvedení do predikátové logiky...17 1.1 Základní terminologie... 17 1.2 Základní
Kompozicionalita: jm na a reference, logick typy, rule-to-rule vs. interpretativn s mantika 1 / 14
Д1Х3Kompozicionalita: jm na a reference, logick typy, rule-to-rule vs. interpretativn s mantika FF MU Mojm r DoБ0Н0ekal Б0Й3JABL Logika: syst movб0л5 r Ґmec rozvoje oboru v Б0М9R a koncepce logickб0л5ch
Matematická logika. Lekce 1: Motivace a seznámení s klasickou výrokovou logikou. Petr Cintula. Ústav informatiky Akademie věd České republiky
Matematická logika Lekce 1: Motivace a seznámení s klasickou výrokovou logikou Petr Cintula Ústav informatiky Akademie věd České republiky www.cs.cas.cz/cintula/mal Petr Cintula (ÚI AV ČR) Matematická
Matematická logika. Miroslav Kolařík
Matematická logika přednáška šestá Miroslav Kolařík Zpracováno dle textu R. Bělohlávka: Matematická logika poznámky k přednáškám, 2004. a dle učebního textu R. Bělohlávka a V. Vychodila: Diskrétní matematika
Úvod do predikátové logiky. (FLÚ AV ČR) Logika: CZ.1.07/2.2.00/ / 1
Úvod do predikátové logiky (FLÚ AV ČR) Logika: CZ.1.07/2.2.00/28.0216 2013 1 / 1 Relace Neuspořádaná vs. uspořádaná dvojice {m, n} je neuspořádaná dvojice. m, n je uspořádaná dvojice. (FLÚ AV ČR) Logika:
Sémantická interpretace
Vysoké učení technické v Brně Fakulta informačních technologií Sémantická interpretace Moderní teoretická informatika Semestrální projekt Autor: Zdeněk Martínek Školitel: RNDr. Jitka Kreslíková, CSc. 19.
Formálnílogickésystémy pro aplikaci v informatice Martin Žáček
ZVYŠOVÁNÍODBORNÝCH KOMPETENCÍAKADEMICKÝCH PRACOVNÍKŮ OSTRAVSKÉUNIVERZITY V OSTRAVĚ A SLEZSKÉ UNIVERZITY V OPAVĚ Formálnílogickésystémy pro aplikaci v informatice Martin Žáček PŘEDMĚTY NA OU Logické základy
Inteligentní systémy (TIL) Marie Duží
Inteligentní systémy (TIL) Marie Duží http://www.cs.vsb.cz/duzi/ /d Přednáška 3 Sémantické schéma Výraz vyjadřuje označuje Význam (konstrukce konstrukce) k ) konstruuje denotát Ontologie TIL: rozvětvená
Pro každé formule α, β, γ, δ platí: Pro každé formule α, β, γ platí: Poznámka: Platí právě tehdy, když je tautologie.
Zpracoval: hypspave@fel.cvut.cz 5. Výroková logika, formule výrokové logiky a jejich pravdivostní ohodnocení, splnitelné formule, tautologie, kontradikce, sémantický důsledek, tautologicky ekvivalentní
Výroková logika syntaxe a sémantika
syntaxe a sémantika Jiří Velebil: AD0B01LGR 2015 Handout 01: & sémantika VL 1/16 1 Proč formální jazyk? 1 Přirozené jazyky jsou složité a často nejednoznačné. 2 Komunikace s formálními nástroji musí být
Predikátová logika: Axiomatizace, sémantické stromy, identita. (FLÚ AV ČR) Logika: CZ.1.07/2.2.00/ / 13
Predikátová logika: Axiomatizace, sémantické stromy, identita (FLÚ AV ČR) Logika: CZ.1.07/2.2.00/28.0216 2013 1 / 13 Axiomatizace predikátové logiky Axiomatizace predikátové logiky Definice Hilbertovský
Deskripční logika. Petr Křemen FEL ČVUT. Petr Křemen (FEL ČVUT) Deskripční logika 37 / 157
Deskripční logika Petr Křemen FEL ČVUT Petr Křemen (FEL ČVUT) Deskripční logika 37 / 157 Co nás čeká 1 Základy deskripční logiky 2 Jazyk ALC Syntax a sémantika 3 Cyklické a acyklické TBOXy Petr Křemen
SYNTAX LS Úvod
SYNTAX LS 2017 Úvod Co očekáváte od předmětu? viz sylabus požadavky Literatura Nový encyklopedický slovník češtiny https://www.czechency.org/ Panevová a kol. (2014) Mluvnice současné češtiny 2. http://www.cupress.cuni.cz/ink2_ext/index.jsp?
Stefan Ratschan. Fakulta informačních technologíı. Evropský sociální fond Praha & EU: Investujeme do vaší budoucnosti
Logika pro každodenní přežití Stefan Ratschan Katedra číslicového návrhu Fakulta informačních technologíı České vysoké učení technické v Praze 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 α
1. JAZYK ATEATIKY 1.1 nožiny nožina je souhrn objektů určitých vlastností, které chápeme jako celek. ZNAČENÍ. x A x A θ A = { { a, b a A = B A B 0, 1 2 a, a,..., a n x patří do množiny A x nepatří do množiny
Predikátová logika Individua a termy Predikáty
Predikátová logika Predikátová logika je rozšířením logiky výrokové o kvantifikační výrazy jako každý, všichni, někteří či žádný. Nejmenší jazykovou jednotkou, kterou byla výroková logika schopna identifikovat,
Logika. 1. Úvod, Výroková logika
Logika 1. Úvod, Výroková logika RNDr. Luděk Cienciala, Ph. D. Tato inovace předmětu Úvod do logiky je spolufinancována Evropským sociálním fondem a Státním rozpočtem ČR, projekt č. CZ. 1.07/2.2.00/28.0216,
SLOVNÍ DRUHY Platón Aristoteles Dionysios Thrácký Priscianus
SLOVNÍ DRUHY Historicky podmíněná kategorizace lexikálních jednotek/slov. Védángy (disciplíny umožňující studium véd Nirukta 5./6. stol. př. n. l. základy popisu jazyka glosář etymologie, forma a význam
Sémantika predikátové logiky
Sémantika predikátové logiky pro analýzu sémantiky potřebujeme nejprve specifikaci jazyka (doména, konstanty, funkční a predikátové symboly) příklad: formální jazyk s jediným binárním predikátovým symbolem
Úvod do logiky (VL): 12. Ověřování platnosti úsudků metodou protipříkladu
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) Úvod do logiky (VL): 12. Ověřování platnosti úsudků metodou protipříkladu
Zpracování neurčitosti
Zpracování neurčitosti Úvod do znalostního inženýrství, ZS 2015/16 7-1 Usuzování za neurčitosti Neurčitost: Při vytváření ZS obvykle nejsou všechny informace naprosto korektní mohou být víceznačné, vágní,
Úvod do TI - logika 1. přednáška. Marie Duží
Úvod do TI - logika 1. přednáška Marie Duží marie.duzi@vsb.cz Úvod do TI - logika Učební texty: http://www.cs.vsb.cz/duzi Courses Introduction to Logic: Informace pro studenty Učební texty: Kapitoly: Úvod
Sylogistika. (FLÚ AV ČR) Logika: CZ.1.07/2.2.00/ / 16
(FLÚ AV ČR) Logika: CZ.1.07/2.2.00/28.0216 2013 1 / 16 Výstavba logické teorie Sylogistika 1) Syntax základní symboly (logické, mimologické) gramatická pravidla (pojem formule) 2) Sémantika pojem interpretace
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.
BI-AAG (2011/2012) J. Holub: 5. Překladové konečné automaty p. 2/41 Formální překlady BI-AAG (2011/2012) J. Holub: 5. Překladové konečné automaty p. 4/41 Automaty a gramatiky(bi-aag) 5. Překladové konečné
Metody tvorby ontologií a sémantický web. Martin Malčík, Rostislav Miarka
Metody tvorby ontologií a sémantický web Martin Malčík, Rostislav Miarka Obsah Reprezentace znalostí Ontologie a sémantický web Tvorba ontologií Hierarchie znalostí (D.R.Tobin) Data jakékoliv znakové řetězce
Logika. 6. Axiomatický systém výrokové logiky
Logika 6. Axiomatický systém výrokové logiky RNDr. Luděk Cienciala, Ph. D. Tato inovace předmětu Úvod do logiky je spolufinancována Evropským sociálním fondem a Státním rozpočtem ČR, projekt č. CZ. 1.07/2.2.00/28.0216,
Čeština doma & ve světě. [nová]
Čeština doma & ve světě [nová] 1 2015 Nová čeština doma a ve světě Filozofická fakulta Univerzity Karlovy v Praze 1/2015 Redakce: Vedoucí redaktorka Mgr. Kateřina Romaševská, Ph.D. Výkonná redaktorka Mgr.
Znovu o existenci 1. Pavel Materna. Discussions
Discussions Znovu o existenci 1 Pavel Materna Primární důvod, proč existenci nemůžeme předikovat o jednotlivinách, je dán tím, že by to vedlo k nesmyslné činnosti ověřování, zda daná jednotlivina existuje
Základy informatiky. Výroková logika
Základy informatiky Výroková logika Zpracoval: Upravila: Ing. Pavel Děrgel Daniela Sztrucová Obsah přednášky Výroková logika Výroky Pravdivostní ohodnocení Logické spojky Výrokově logická analýza Aristotelés
MATEMATICKÁ TEORIE ROZHODOVÁNÍ
MATEMATICKÁ metodický list č. 1 Řešení úloh Cílem tohoto tematického celku je vysvětlení vybraných pojmů z oblasti řešení úloh. Tématický celek je rozdělen do těchto dílčích témat: 1. Řešení úloh ve stavovém
Výroková a predikátová logika - III
Výroková a predikátová logika - III Petr Gregor KTIML MFF UK ZS 2017/2018 Petr Gregor (KTIML MFF UK) Výroková a predikátová logika - III ZS 2017/2018 1 / 16 2-SAT 2-SAT Výrok je v k-cnf, je-li v CNF a
Reprezentace znalostí. Katedra kybernetiky, ČVUT v Praze.
Reprezentace znalostí Vladimír Mařík Katedra kybernetiky, ČVUT v Praze http://cyber.felk.cvut.cz/ preprezentace znalostí V paměti počítače požadavky na modularitu (M) asociativnost (A) Čtyři základní formalizmy:
Sémantika výrokové logiky. Alena Gollová Výroková logika 1/23
Výroková logika Alena Gollová Výroková logika 1/23 Obsah 1 Formule výrokové logiky 2 Alena Gollová Výroková logika 2/23 Formule výrokové logiky Výrok je oznamovací věta, o jejíž pravdivosti lze rozhodnout.
Automaty a gramatiky(bi-aag) Motivace. 1. Základní pojmy. 2 domácí úkoly po 6 bodech 3 testy za bodů celkem 40 bodů
BI-AAG (2011/2012) J. Holub: 1. Základní pojmy p. 2/29 Hodnocení předmětu BI-AAG (2011/2012) J. Holub: 1. Základní pojmy p. 4/29 Automaty a gramatiky(bi-aag) 1. Základní pojmy Jan Holub Katedra teoretické
OOT Objektově orientované technologie
OOT Objektově orientované technologie Logická struktura systému (Diagram tříd) Daniela Szturcová Institut geoinformatiky, HGF Osnova Třídy Statický pohled na systém Atributy a operace, řízení přístupu
Modelování a odvozování v RDFS
Modelování a odvozování v RDFS Doc. Ing. Vojtěch Svátek, Dr. Zimní semestr 2012 http://nb.vse.cz/~svatek/rzzw.html Modelování v RDFS Základní konstrukce slovníku jsou Třídy Individua (jen význačná doménová
Ústav českého jazyka. Postnominální druhová adjektiva v češtině
Masarykova univerzita Filozofická fakulta Ústav českého jazyka Studijní obor: Český jazyk a literatura Iveta Šafratová Postnominální druhová adjektiva v češtině Bakalářská diplomová práce Vedoucí práce:
!!! #!! # % & ()!+ %& #( ) +,,!,!!./0./01 2 34 % 00 (1!#! #! #23 + )!!,,5,!+ 4)!005!! 6 )! %,76!,8, )! 44 %!! #! #236!!1 1 5 6 5+!!1 ( 9 9!5 6 + /+ # % 7 8 % : 4; 2,/! = %
Český jazyk a literatura
- Kvarta Český jazyk a literatura Výchovné a vzdělávací strategie Kompetence k učení Kompetence k řešení problémů Kompetence komunikativní Kompetence sociální a personální Kompetence občanská Kompetence
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ů.
SLOVNÍ DRUHY Název materiálu: Název sady: Vzdělávací oblast: Vzdělávací obor: Téma: Jméno autora: VY_32_INOVACE_CJ2r0101 Morfologie pro 2. ročník Jazyk a jazyková komunikace Český jazyk a literatura Slovní
Úvod do logiky (PL): analýza vět mimo logický čtverec
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) Úvod do logiky (PL): analýza vět mimo logický čtverec doc. PhDr.
Logika a jazyk. filosofický slovník, Praha:Svoboda 1966)
Logika a jazyk V úvodu bylo řečeno, že logika je věda o správnosti (lidského) usuzování. A protože veškeré usuzování, odvozování a myšlení vůbec se odehrává v jazyce, je problematika jazyka a jeho analýza
Okruh č.9: sémantické metody dokazování v PL1 model formule Tradiční Aristotelova logika kategorický sylogismus subjekt predikátové výroky
Okruh č.9: sémantické metody dokazování v PL1 Pomocí metody Vennových diagramů a relačních struktur vytváříme grafický model situace, která je úsudkem vyjádřena. Ověřujeme, zda náš graficky znázorněný
Úvod do logiky (VL): 4. Zjištění průběhu pravdivostních hodnot formule tabulkovou metodou
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) Úvod do logiky (VL): 4. Zjištění průběhu pravdivostních hodnot
Úvod do logiky: klasická predikátová logika. Jiří Raclavský. Masarykova univerzita
Úvod do logiky: klasická predikátová logika Jiří Raclavský Masarykova univerzita Úvod do logiky: klasická predikátová logika Jiří Raclavský Masarykova univerzita Brno 2015 Práce na publikaci a její tisk
2 Lexikální jednotka. 2.1 Obecné kategorie
2 Lexikální jednotka 2.1 Obecné kategorie Pojmy vyjádřené lexikálními jednotkami patří k těmto obecným kategoriím: a) Konkrétní entity (nositelé vlastností a dějů) b) Abstraktní entity c) Individuální
Fuzzy logika a reálný svět, aneb jsou všechny hromady skutečně malé?
Fuzzy logika a reálný svět, aneb jsou všechny hromady skutečně malé? Jiří Močkoř University of Ostrava Department of Mathematics Institute for Research and Applications of Fuzzy Modeling 30. dubna 22,
Popis morfologických značek poziční systém
Popis morfologických značek poziční systém Jan Hajič Ústav formální a aplikované lingvistiky MFF UK Morfologická analýza a syntéza Morfologické značky jsou součástí výsledku (výstupem) morfologické analýzy,
Úvod do logiky (PL): ekvivalence a negace výroků logického
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) Úvod do logiky (PL): ekvivalence a negace výroků logického čtverce
Klauzulární logika. Znalostní báze. Šárka Vavrečková
Klauzulární logika Znalostní báze Šárka Vavrečková Ústav informatiky, Filozoficko-přírodovědecká fakulta Slezské univerzity v Opavě sarka.vavreckova@fpf.slu.cz 26. listopadu 2007 (Znalostní báze) Klauzulární
Umělá inteligence I. Roman Barták, KTIML.
Umělá inteligence I Roman Barták, KTIML roman.bartak@mff.cuni.cz http://ktiml.mff.cuni.cz/~bartak Už umíme používat výrokovou logiku pro reprezentaci znalostí a odvozování důsledků. Dnes Dnes zopakujeme
Výroková a predikátová logika - III
Výroková a predikátová logika - III Petr Gregor KTIML MFF UK ZS 2014/2015 Petr Gregor (KTIML MFF UK) Výroková a predikátová logika - III ZS 2014/2015 1 / 21 Výroková logika Horn-SAT Horn-SAT Jednotková
Transparentní intenzionální logika (TIL)
Marek Rychlý Ústav informačních systémů, Fakulta informačních technologií, Vysoké učení technické v Brně, Božetěchova 2, Brno 612 66, Czech Republic rychly@fit.vutbr.cz Abstrakt Transparentní intenzionální
2.2 Sémantika predikátové logiky
14 [101105-1155] 2.2 Sémantika predikátové logiky Nyní se budeme zabývat sémantikou formulí, tj. jejich významem a pravdivostí. 2.2.1 Interpretace jazyka predikátové logiky. Interpretace predikátové logiky
MATEMATICKÁ TEORIE ROZHODOVÁNÍ
MATEMATICKÁ TEORIE ROZHODOVÁNÍ Metodický list č. 1 Název tématického celku: Řešení úloh Cílem tohoto tematického celku je vysvětlení vybraných pojmů z oblasti řešení úloh. Tématický celek je rozdělen do
Další (neklasické) logiky. Jiří Velebil: AD0B01LGR 2015 Predikátová logika 1/20
Predikátová logika Jiří Velebil: AD0B01LGR 2015 Predikátová logika 1/20 Jazyk predikátové logiky Má dvě sorty: 1 Termy: to jsou objekty, o jejichž vlastnostech chceme hovořit. Mohou být proměnné. 2 Formule:
Logika a logické programování
Logika a logické programování témata ke zkoušce Poslední aktualizace: 16. prosince 2009 Zkouška je písemná, skládá se obvykle ze sedmi otázek (může být více nebo méně, podle náročnosti otázek), z toho
Logický důsledek. Petr Kuchyňka (7765@mail.muni.cz)
Logický důsledek Petr Kuchyňka (7765@mail.muni.cz) Úvod P 1 Logický důsledek je hlavním předmětem zájmu logiky. Je to relace mezi premisami a závěry logicky platných úsudků: v logicky platném úsudku závěr
Ontologie. Otakar Trunda
Ontologie Otakar Trunda Definice Mnoho různých definic: Formální specifikace sdílené konceptualizace Hierarchicky strukturovaná množina termínů popisujících určitou věcnou oblast Strukturovaná slovní zásoba
Úvod do logiky (PL): základní úvaha
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) Úvod do logiky (PL): základní úvaha doc. PhDr. Jiří Raclavský,
RELACE, OPERACE. Relace
RELACE, OPERACE Relace Užití: 1. K popisu (evidenci) nějaké množiny objektů či jevů, které lze charakterizovat pomocí jejich vlastnostmi. Entita je popsána pomocí atributů. Ty se vybírají z domén. Různé
Úvod do teoretické informatiky(2017/2018) cvičení 6 1
Úvod do teoretické informatiky(2017/2018) cvičení 6 1 Cvičení 6 Příklad 1: Pro každou z následujících sekvencí symbolů rozhodněte, zda se jedná o a) term, b) formuli predikátové logiky(používejte běžné
Analýza a modelování dat 3. přednáška. Helena Palovská
Analýza a modelování dat 3. přednáška Helena Palovská Historie databázových modelů Relační model dat Codd, E.F. (1970). "A Relational Model of Data for Large Shared Data Banks". Communications of the ACM
Usuzování za neurčitosti
Usuzování za neurčitosti 25.11.2014 8-1 Usuzování za neurčitosti Hypotetické usuzování a zpětná indukce Míry postačitelnosti a nezbytnosti Kombinace důkazů Šíření pravděpodobnosti v inferenčních sítích
Úvod do logiky. (FLÚ AV ČR) Logika: CZ.1.07/2.2.00/ / 23
Úvod do logiky (FLÚ AV ČR) Logika: CZ.1.07/2.2.00/28.0216 2013 1 / 23 Co je logika? Čeho se týkají logické zákony? Tři možnosti: (1) světa (2) myšlení (3) jazyka (FLÚ AV ČR) Logika: CZ.1.07/2.2.00/28.0216
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:
LATINA Název předmětu: Latina Charakteristika vyučovacího předmětu: Vyučovací předmět Latina vychází vychází z RVP G jako Doplňující vzdělávací obor. Lze ho studovat jako povinně volitelný předmět ve 2.
Univerzita Karlova v Praze, Nakladatelství Karolinum, 2015 Robert Adam, 2015
Morfologie Příručka k povinnému předmětu bakalářského studia oboru ČJL Robert Adam Grafická úprava Jan Šerých Sazba DTP Nakladatelství Karolinum Vydání první Univerzita Karlova v Praze, Nakladatelství
ZÁKLADNÍ METODOLOGICKÁ PRAVIDLA PŘI ZPRACOVÁNÍ ODBORNÉHO TEXTU. Martina Cirbusová (z prezentace doc. Škopa)
ZÁKLADNÍ METODOLOGICKÁ PRAVIDLA PŘI ZPRACOVÁNÍ ODBORNÉHO TEXTU Martina Cirbusová (z prezentace doc. Škopa) OSNOVA Metodologie vs. Metoda vs. Metodika Základní postup práce Základní vědecké metody METODOLOGIE
Matematika vzorce. Ing. Petr Šídlo. verze
Matematika vzorce Ing. Petr Šídlo verze 0050409 Obsah Jazyk matematiky 3. Výrokový počet.......................... 3.. Logické spojky...................... 3.. Tautologie výrokového počtu...............
MATURITNÍ OTÁZKY ELEKTROTECHNIKA - POČÍTAČOVÉ SYSTÉMY 2003/2004 PROGRAMOVÉ VYBAVENÍ POČÍTAČŮ
MATURITNÍ OTÁZKY ELEKTROTECHNIKA - POČÍTAČOVÉ SYSTÉMY 2003/2004 PROGRAMOVÉ VYBAVENÍ POČÍTAČŮ 1) PROGRAM, ZDROJOVÝ KÓD, PŘEKLAD PROGRAMU 3 2) HISTORIE TVORBY PROGRAMŮ 3 3) SYNTAXE A SÉMANTIKA 3 4) SPECIFIKACE
OBSAH 1 TVOŘENÍ SLOV SKLÁDÁNÍM Obecný výklad Rozsah čisté kompozice a komplexních postupů u složených
OBSAH Obsah 2 Předmluva 9 1 TVOŘENÍ SLOV SKLÁDÁNÍM 12 1.0 Obecný úvod 12 1.1 Přehled nejdůležitější odborné literatury o tvoření slov skládáním v češtiné 16 2 SLOŽENÁ SUBSTANTIVA 20 2.0 Obecný výklad 20
UML. Unified Modeling Language. Součásti UML
UML Unified Modeling Language 1995 počátek 1997 verze 1.0 leden dnes verze 2.0 (vývoj stále nedokončen) Standardní notace OMG podpora velkých firem (Microsoft, IBM, Oracle, HP ) popisuje struktury popisuje
Modely datové. Další úrovní je logická úroveň Databázové modely Relační, Síťový, Hierarchický. Na fyzické úrovni se jedná o množinu souborů.
Modely datové Existují různé úrovně pohledu na data. Nejvyšší úroveň je úroveň, která zachycuje pouze vztahy a struktury dat samotných. Konceptuální model - E-R model. Další úrovní je logická úroveň Databázové
Větná polarita v češtině. Kateřina Veselovská Žďárek Hořovice,
Větná polarita v češtině Kateřina Veselovská Žďárek Hořovice, 27. 11. 2009 1 Polarita - úvod do problematiky Větná polarita: a) Cíl a motivace b) Charakteristika c) Možnosti výzkumu Větná polarita a vyhledávání
Matematická logika. Miroslav Kolařík
Matematická logika přednáška třetí Miroslav Kolařík Zpracováno dle textu R. Bělohlávka: Matematická logika poznámky k přednáškám, 2004. a dle učebního textu R. Bělohlávka a V. Vychodila: Diskrétní matematika
Další cizí jazyk Německý jazyk /čtyřleté gymnázium a vyšší stupeň osmiletého gymnázia/
Další cizí jazyk Německý jazyk /čtyřleté gymnázium a vyšší stupeň osmiletého gymnázia/ CHARAKTERISTIKA VYUČOVACÍHO PŘEDMĚTU OBSAHOVÉ VYMEZENÍ Vyučovací předmět pokrývá vzdělávací oblast Jazyk a jazyková
Výroková logika dokazatelnost
Výroková logika dokazatelnost Ke zjištění, zda formule sémanticky plyne z dané teorie (množiny formulí), máme k dispozici tabulkovou metodu. Velikost tabulky však roste exponenciálně vzhledem k počtu výrokových
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
Denotační sémantika programovacího jazyka doc. Dr. Ing. Miroslav Beneš katedra informatiky, A-1007 59 732 4213 Obsah přednášky Princip denotační sémantiky Sémantické funkce Výrazy Příkazy Vstup a výstup
MODELOVÁNÍ DAT V INFORMAČNÍCH SYSTÉMECH. Jindřich Kaluža Ludmila Kalužová
MODELOVÁNÍ DAT V INFORMAČNÍCH SYSTÉMECH Jindřich Kaluža Ludmila Kalužová Recenzenti: prof. Ing. Milan Turčáni, CSc. prof. Ing. Ivan Vrana, DrSc. Tato kniha vznikla za finanční podpory Studentské grantové
Úvod do informatiky. Miroslav Kolařík
Úvod do informatiky přednáška první Miroslav Kolařík Zpracováno dle učebního textu prof. Bělohlávka: Úvod do informatiky, KMI UPOL, Olomouc 2008. Obsah 1 Co a k čemu je logika? 2 Výroky a logické spojky
Kam s ní? O interpunkční čárce v souvětí Jana Svobodová
Kam s ní? O interpunkční čárce v souvětí Jana Svobodová KATEDRA ČESKÉHO JAZYKA A LITERATURY S DIDAKTIKOU, PdF OU Teoreticky o čárce v souvětí Bylo by asi výhodné, kdyby se psaní čárky jako interpunkčního
Predikátová logika dokončení
Predikátová logika dokončení Jiří Velebil: X01DML 1. října 2010: Predikátová logika dokončení 1/18 Syntaktická analýza Jako ve výrokové logice (syntaktické stromy). Každý list úspěšného stromu je obsazen
Výroková a predikátová logika - VII
Výroková a predikátová logika - VII Petr Gregor KTIML MFF UK ZS 2013/2014 Petr Gregor (KTIML MFF UK) Výroková a predikátová logika - VII ZS 2013/2014 1 / 21 Sémantika PL Teorie Vlastnosti teorií Teorie
Copyright Jiří Janda ISBN 978-80-260-3716-3
1 Copyright Jiří Janda ISBN 978-80-260-3716-3 2 Mojí nejskvělejší manželce Lucii a všem mým studentům 3 PŘEDMLUVA" 4 CO JE TO KONDICIONÁL A PROČ JE V ANGLIČTINĚ POTŘEBA" 6 PRVNÍ KONDICIONÁL" 9 DRUHÝ KONDICIONÁL"
Český jazyk a literatura
1 Výchovné a vzdělávací strategie Kompetence k učení Kompetence komunikativní Kompetence pracovní Kompetence k řešení problémů Kompetence sociální a personální Kompetence občanské RVP výstupy ŠVP výstupy
Místo pojmu výroková formule budeme používat zkráceně jen formule. Při jejich zápisu
VÝROKOVÁ LOGIKA Matematická logika se zabývá studiem výroků, jejich vytváření a jejich pravdivostí. Základním kamenem výrokové logiky jsou výroky. Co je výrok nedefinujejme, pouze si řekneme, co si pod
Základní pojmy matematické logiky
KAPITOLA 1 Základní pojmy matematické logiky Matematická logika se zabývá studiem výroků, jejich vytváření a jejich pravdivostí. Základním kamenem výrokové logiky jsou výroky. 1. Výroková logika Co je
Seminář z matematiky. jednoletý volitelný předmět
Název předmětu: Zařazení v učebním plánu: Seminář z matematiky O8A, C4A, jednoletý volitelný předmět Cíle předmětu Obsah předmětu je koncipován pro přípravu studentů k úspěšnému zvládnutí profilové (školní)
Jak správně psát scénáře k případům užití?
Jak správně psát scénáře k případům užití? Autor RNDr. Ilja Kraval 2007 http://www.objects.cz K napsání tohoto článku mne inspiroval tento mail: Dobrý den pane Kravale, chci Vás poprosit o radu, která
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
Otázka 06 - Y01MLO Zadání Predikátová logika, formule predikátové logiky, sentence, interpretace jazyka predikátové logiky, splnitelné sentence, tautologie, kontradikce, tautologicky ekvivalentní formule.
Princip rozšíření a operace s fuzzy čísly
Center for Machine Perception presents Princip rozšíření a operace s fuzzy čísly Mirko Navara Center for Machine Perception Faculty of Electrical Engineering Czech Technical University Praha, Czech Republic
Pravdivostnэ podmэnky, redukce vznamu na pravdivostnэ podmэnky
, redukce vznamu na pravdivostnэ podmэnky FF MU Mojmэr Doekal кjabl Logika: systщmov rсmec rozvoje oboru v R a koncepce logickch propedeutik pro mezioborovс studia (reg.. CZ.1.07/2.2.00/28.0216, OPVK)
doplněk, zřetězení, Kleeneho operaci a reverzi. Ukážeme ještě další operace s jazyky, na které je
28 [181105-1236 ] 2.7 Další uzávěrové vlastnosti třídy regulárních jazyků Z předchozích přednášek víme, že třída regulárních jazyků je uzavřena na sjednocení, průnik, doplněk, zřetězení, Kleeneho operaci