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

Podobné dokumenty
Historie matematické lingvistiky

Logika 5. Základní zadání k sérii otázek: V uvedených tezích doplňte z nabízených adekvátní pojem, termín, slovo. Otázka číslo: 1. Logika je věda o...

Matematika pro informatiky KMA/MATA

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

Maturitní témata profilová část

Matematika B101MA1, B101MA2

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

Obsah ZÁKLADNÍ POJMY LOGIKA DESKRIPTIVNÍHO JAZYKA 2 VÝROKOVÁ LOGIKA 49 3 VNITŘNÍ STAVBA VÝROKŮ 78

1. ÚVOD. Arnošt Žídek, Iveta Cholevová. 15. října 2013 FBI VŠB-TUO

1. Matematická logika

Sémantická interpretace

SYNTAX LS Úvod

VÝUKOVÝ MATERIÁL. Bratislavská 2166, Varnsdorf, IČO: tel Číslo projektu

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

Bakalářská matematika I

0. ÚVOD - matematické symboly, značení,

Učební plán 4. letého studia předmětu matematiky. Učební plán 6. letého studia předmětu matematiky

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

Matematika I. Katedra matematiky a deskriptivní geometrie mdg.vsb.cz

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

Přirozený jazyk a matematika: jak popsat češtinu tak, aby jí porozuměly počítače?

Učitelství 1. stupně ZŠ tématické plány předmětů matematika

Matematická logika. Rostislav Horčík. horcik

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

MATURITNÍ TÉMATA Z MATEMATIKY

LOGIKA VÝROKOVÁ LOGIKA

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

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

Matematika II. dvouletý volitelný předmět

Od Aristotela k Prologu

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

Matematická logika. Rostislav Horčík. horcik

MATEMATIKA I. Marcela Rabasová

Úvod do logiky a logického programování.

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

10. Techniky formální verifikace a validace

Logika a studijní předpoklady

1. Matematická logika

Kybernetika. Petr Sgall Postavení sémantiky v generativním popisu jazyka. Terms of use:

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

Gramatické formalismy pro ZPJ

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

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

Transparentní intenzionální logika (TIL)

Logika a logické programování

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

MINISTERSTVO ŠKOLSTVÍ, MLÁDEŽE A TĚLOVÝCHOVY. Učební osnova předmětu MATEMATIKA

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

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

Architektura počítačů Logické obvody

Mgr. Ladislav Zemánek Maturitní okruhy Matematika Obor reálných čísel

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

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

ZÁKLADY LOGIKY A METODOLOGIE

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

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

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

4.2 Syntaxe predikátové logiky

Stonožka jak se z výsledků dozvědět co nejvíce

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

λογος - LOGOS slovo, smysluplná řeč )

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

Matematika PRŮŘEZOVÁ TÉMATA

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ýroková logika. Sémantika výrokové logiky

Architektura počítačů Logické obvody

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

Binární logika Osnova kurzu

Výbor textů k moderní logice

Dodatek č. 3 ke školnímu vzdělávacímu programu. Strojírenství. (platné znění k )

Využití korpusu InterCorp při vytváření ručních pravidel pro automatickou detekci pleonastického it a jeho českých ekvivalentů v závislostních datech

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

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

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

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

VY_42_Inovace_12_MA_2.01_ Výroky. Prezentace určena pro první ročník maturitních oborů, ve které je vysvětlení učiva výroky.

Gymnázium Jiřího Ortena, Kutná Hora

1. Základy logiky a teorie množin

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

Maturitní témata z matematiky

Operátory pro maticové operace (operace s celými maticemi) * násobení maticové Pro čísla platí: 2*2

přednáška 2 Marie Duží

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

Matematická analýza 1

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

Tematický plán Obor: Informační technologie. Vyučující: Ing. Joanna Paździorová

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 podzimu 2014

Matematika. ochrana životního prostředí analytická chemie chemická technologie Forma vzdělávání:

Matematika vzorce. Ing. Petr Šídlo. verze

Základní pojmy matematické logiky

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

Bakalářské a diplomové práce. katedra matematiky

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

Fuzzy logika. Informační a znalostní systémy

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 α

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

OJ305 TYPOLOGIE JAZYKŮ z pohledu syntaxe

Další povinnosti / odb. praxe. Návrh témat prací. Návaznost na další stud. prog.

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 2017

CZ 1.07/1.1.32/

Transkript:

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

Algebraická lingvistika matematika algebra logika formální logika logická analýza jazyka formální lingvistika, algebraická lingvistika

Algebraická lingvistika algebra z arabštiny znovuspojení rozbitých částí, perský matematik a astronom Al-Chorezmí, 8./9. st., v angličtině až v 15. st. objevuje se už u Babylóňanů dnes elementární a abstraktní algebra část matematiky, která studuje matematické symboly a operace s nimi x aritmetika (čísla) rozvoj matematiky a logiky = vysoký stupeň abstrakce

Algebraická lingvistika hledání jazyka vědy, metajazyk, 2. pol. 19. st. přesný a jasný přirozený jazyk nevhodný např. pro nejasnost, nelogičnost, homonymii, synonymii matematická (symbolická) logika, symbol zastupuje určitý jev, kalkul = soustava pravidel operací se znaky logické kalkuly (Leibnitz, 17. st.) systém algebra logiky (booleovská algebra, Boole, 19. st.) výroková a pravdivostní fce, kvantifikátor (Frege, 19. st.) Principia Mathematica (B. Russell, poč. 20. st., 3 díly) Ludwig Wittgenstein Tractatus logico-philosophicus, 1921 úkolem filozofie je logická analýza jazyka novopozitivismus Vídeňský kruh, R. Carnap Logická syntax jazyka, 1934

Algebraická lingvistika formální logika (v SSSR odsouzena, později akceptována) studuje podmínky, za nichž jedny výroky vyplývají z druhých, používá symboly a abstrakce výrokový kalkul konjunkce, disjunkce, implikace, ekvivalence predikátový kalkul predikát, argument, operátor, kvantifikátor využití nekvantitativních matematických metod v lingvistice algebraická lingvistika Y. Bar-Hillel (izraelský matematik a lingvista) teorie jazykových modelů v Sovětském svazu formální lingvistika (formální popis gramatik a jazyků) význam pro strojový překlad a strojovou lingvistiku vše, co je v lingvistice přesně popsáno, lze strojově zpracovat

modely využívají se pro popis reálných jevů/objektů, jejichž studium je nesnadné jazyková univerzália (společné vlastnosti) převodní jazyk popis gramatiky jednoho jazyka popis jedné složky jazyka (syntax) popis komunikačního procesu modelování textu model vývoje jazyka věta lineární řetězec jednotek teorie množin teorie grafů nelineární pojetí

generativní a transformační mluvnice Noam Chomsky (*1928), americký lingvista nejpropracovanější systém Syntaktické struktury, 1957 (česky 1966) nejdříve ignoruje obsah, později přijímá i složku sémantickou generování gramaticky správných vět z výchozího symbolu na základě souboru pravidel = gramatika jazyka omezený počet pravidel neomezený počet vět jádrové věty ostatní se z nich generují na základě transformačních pravidel ve druhém pojetí, fonetická složka, povrchová a hloubková struktura formální gramatika, hierarchie formálních jazyků, teorie automatů

kategoriální (rekognoskativní) gramatiky Y. Bar-Hillel kategoriální mluvnice identifikačního typu opačný postup než u Chomského v souvislosti se strojovým překladem (pro jazyky s málo rozvinutou morfologií a pevným slovosledem angličtina) pojem kategorie (sémantická kategorie v logice a filozofii) S sentence, N noun, argumenty a funktory, složené kategorie tvary slov nahrazuje symboly, věta = řetězec symbolů zjišťuje se (rekognoskuje) struktura věty a její gramatická správnost

Sovětský svaz v 1. pol. 20. st. vliv marxismu a tzv. marrismu (Nikolaj Marr, J. V. Stalin) řada lingvistických směrů odmítána ideologizace lingvistiky, lingvistika v SSSR v izolaci strukturalismus až v 50. letech (Vinogradov, Šaumjan) přechod k pomezním disciplínám rozvoj algebraické lingvistiky a strojového překladu aplikace jazykovědných teorií na ruštinu + nové přístupy část lingvistů v emigraci (Jakobson, Trubeckoj)

Sebastian Konstantinovič Šaumjan (1916 2007) původem Armén, pocházel z Tbilisi (Gruzie) mluvil arménsky, gruzínsky, rusky, anglicky a německy vystudoval filologii na univerzitě v Tbilisi 2. sv. v., zpravodajská jednotka, člen KSSS (pomáhal kolegům, kteří byli v nemilosti) pozice na univerzitě v Moskvě podporoval dílo Jakobsona a Trubeckého 1975 povolená emigrace židů (Izrael) do USA (Yale University) ever smiling but never complaining geniální lingvista a člověk s velkým srdcem

aplikačně-generativní model (S. K. Šaumjan) Generative Grammar of Russian, 1958 Applicational Generative Model and Transformational Calculus of Russian, 1963 spolupráce s P. A. Sobolevovou spojení strukturalismu a generativní gramatiky jazykové jednotky (symboly) a vztahy mezi nimi se odvozují metodami matematické logiky, generují se pomocí aplikace term (T), sentence (S), sloveso = operátor genotypický (univerzální jazyk) fenotypický jazyk (přirozený jazyk) model použit pro parsing u strojového překladu

teorie analytických modelů (analytická metoda) Chomsky, Bar-Hillel syntetické modely Olga Sergejevna Kulagina O jednom způsobu určování gramatických pojmů na základě teorie množin, 1958 pro slovanské jazyky rozvinutá morfologie a volný slovosled teorie množin (1. využití v lingvistice) výchozí množina = gramaticky správné věty podmnožiny = soubory základních jednotek (lexikologie, morfologie, syntax) syntagma i paradigma

I. I. Revzin Modely jazyka, 1962 Solomon Marcus (rumunský lingvista a matematik, dostává se až na úroveň fonémů) Matematická lingvistika, 1963 Gramatika a konečné automaty, 1964 (u nás pod názvem Algebraické modely v lingvistice, 1969) Ladislav Nebeský (teorie grafů, binární básně) Analytický směr v algebraické lingvistice (SaS 1967, s. 161 7)

závislostní gramatika a teorie grafů (nelineární zobrazení věty, graf) nezávisle na sobě konstruují závislostní gramatiku: američtí lingvisté David G. Hays, K. E. Harper; strojový překlad (Použití strojů při konstruování gramatiky, 1959) sovětští lingvisté D. S. Cejtin, L. N. Zasorina (O vyčlenění konfigurací v ruské větě, 1961) závislostní syntax (druhotně morfologie, jiné jazykové roviny ne) závislostní pravidla závislostní strom uzel a hrany projektivní a neprojektivní věty

myšlenka závislostních vztahů v jazyce již dříve L. Tesnière slovesná vazba, aktanty a cirkumstanty u nás V. Šmilauer grafické znázornění větného rozboru, Daneš (syntax), Dokulil (slovotvorba) ČSSR funkční generativní popis, FGD (Panevová, Sgall) Prague Dependency Treebank, PDT