JOHDATUS TEKOÄLYYN TEEMU ROOS

Samankaltaiset tiedostot
Vasen johto S AB ab ab esittää jäsennyspuun kasvattamista vasemmalta alkaen:

Yhteydettömät kieliopit [Sipser luku 2.1]

T Syksy 2002 Tietojenkäsittelyteorian perusteet Harjoitus 8 Demonstraatiotehtävien ratkaisut

S BAB ABA A aas bba B bbs c

Laskennan mallit (syksy 2010) Harjoitus 8, ratkaisuja

Ei-yhteydettömät kielet [Sipser luku 2.3]

Yhteydettömän kieliopin jäsennysongelma

Ongelma(t): Miten jollakin korkeamman tason ohjelmointikielellä esitetty algoritmi saadaan suoritettua mikro-ohjelmoitavalla tietokoneella ja siinä

2. Yhteydettömät kielet

T Syksy 2006 Tietojenkäsittelyteorian perusteet T Harjoitus 7 Demonstraatiotehtävien ratkaisut

TIEA241 Automaatit ja kieliopit, syksy Antti-Juhani Kaijanaho. 30. marraskuuta 2015

11.4. Context-free kielet 1 / 17

jäsentäminen TIEA241 Automaatit ja kieliopit, syksy 2015 Antti-Juhani Kaijanaho 26. marraskuuta 2015 TIETOTEKNIIKAN LAITOS

TIEA241 Automaatit ja kieliopit, kevät 2011 (IV) Antti-Juhani Kaijanaho. 29. huhtikuuta 2011

TIEA241 Automaatit ja kieliopit, syksy Antti-Juhani Kaijanaho. 3. lokakuuta 2016

Rajoittamattomat kieliopit (Unrestricted Grammars)

Täydentäviä muistiinpanoja jäsennysalgoritmeista

jäsentämisestä TIEA241 Automaatit ja kieliopit, syksy 2015 Antti-Juhani Kaijanaho 27. marraskuuta 2015 TIETOTEKNIIKAN LAITOS

Pinoautomaatit. Pois kontekstittomuudesta

jäsennyksestä TIEA241 Automaatit ja kieliopit, syksy 2016 Antti-Juhani Kaijanaho 29. syyskuuta 2016 TIETOTEKNIIKAN LAITOS Kontekstittomien kielioppien

TIEA241 Automaatit ja kieliopit, kesä Antti-Juhani Kaijanaho. 10. kesäkuuta 2013

T Luonnollisen kielen tilastollinen käsittely Vastaukset 8, ti , 8:30-10:00 Tilastolliset yhteydettömät kieliopit, Versio 1.

Pinoautomaatit. TIEA241 Automaatit ja kieliopit, syksy Antti-Juhani Kaijanaho. 6. lokakuuta 2016 TIETOTEKNIIKAN LAITOS

Esimerkki 2.28: Tarkastellaan edellisen sivun ehdot (1) (3) toteuttavaa pinoautomaattia, jossa päätemerkit ovat a, b ja c ja pinoaakkoset d, e ja $:

Olkoon G = (V,Σ,P,S) yhteydetön kielioppi. Välike A V Σ on tyhjentyvä, jos A. NULL := {A V Σ A ε on G:n produktio};

Rekursiolause. Laskennan teorian opintopiiri. Sebastian Björkqvist. 23. helmikuuta Tiivistelmä

M =(K, Σ, Γ,, s, F ) Σ ={a, b} Γ ={c, d} = {( (s, a, e), (s, cd) ), ( (s, e, e), (f, e) ), (f, e, d), (f, e)

8. Kieliopit ja kielet 1 / 22

Jäsennys. TIEA341 Funktio ohjelmointi 1 Syksy 2005

JOHDATUS TEKOÄLYYN TEEMU ROOS

uv n, v 1, ja uv i w A kaikilla

Tekoäly tänään , Vadim Kulikov (Helsingin Yliopisto)


Osoitamme, että jotkut kielet eivät ole säännöllisiä eli niitä ei voi tunnistaa äärellisellä automaatilla.

TIEA241 Automaatit ja kieliopit, kevät Antti-Juhani Kaijanaho. 12. kesäkuuta 2013

Muodolliset kieliopit

Testaa: Vertaa pinon merkkijono syötteeseen merkki kerrallaan. Jos löytyy ero, hylkää. Jos pino tyhjenee samaan aikaan, kun syöte loppuu, niin

Jäsennysalgoritmeja. TIE448 Kääntäjätekniikka, syksy Antti-Juhani Kaijanaho. 29. syyskuuta 2009 TIETOTEKNIIKAN LAITOS. Jäsennysalgoritmeja

ICS-C2000 Tietojenkäsittelyteoria Kevät 2016

JOHDATUS TEKOÄLYYN TEEMU ROOS

JOHDATUS TEKOÄLYYN TEEMU ROOS

Attribuuttikieliopit

8. Kieliopit ja kielet

Puheentunnistus. Joel Pyykkö 1. 1 DL-AT Consulting

Tekoäly ja alustatalous. Miten voit hyödyntää niitä omassa liiketoiminnassasi

Chomskyn hierarkia ja yhteysherkät kieliopit

Englannin lausekerakenteita ja taulukkojäsentäminen

TIEA241 Automaatit ja kieliopit, kevät 2011 (IV) Antti-Juhani Kaijanaho. 19. tammikuuta 2012

Sinulle on annettu bittijono, ja tehtäväsi on muuttaa jonoa niin, että jokainen bitti on 0.

TIEA241 Automaatit ja kieliopit, kevät Antti-Juhani Kaijanaho. 2. helmikuuta 2012

Hahmon etsiminen syotteesta (johdatteleva esimerkki)

TIEA341 Funktio-ohjelmointi 1, kevät 2008

ALGORITMIT & OPPIMINEN

Rekursiivinen Derives on periaatteessa aivan toimiva algoritmi, mutta erittäin tehoton. Jos tarkastellaan esim. kieliopinpätkää

TIEA241 Automaatit ja kieliopit, syksy Antti-Juhani Kaijanaho. 12. marraskuuta 2015

Täydentäviä muistiinpanoja Turingin koneiden vaihtoehdoista

TIEA241 Automaatit ja kieliopit, syksy Antti-Juhani Kaijanaho. 12. lokakuuta 2016

JOHDATUS TEKOÄLYYN TEEMU ROOS

FORMAALI SYSTEEMI (in Nutshell): aakkosto: alkeismerkkien joukko kieliopin määräämä syntaksi: sallittujen merkkijonojen rakenne, formaali kuvaus

TIEA241 Automaatit ja kieliopit, syksy Antti-Juhani Kaijanaho. 19. syyskuuta 2016

Sanaluokkajäsennystä rinnakkaisilla transduktoreilla

(0 1) 010(0 1) Koska kieli on yksinkertainen, muodostetaan sen tunnistava epädeterministinen q 0 q 1 q 2 q3

Prolog kielenä Periaatteet Yhteenveto. Prolog. Toni ja Laura Fadjukoff. 9. joulukuuta 2010

TIEA241 Automaatit ja kieliopit, kevät Antti-Juhani Kaijanaho. 16. helmikuuta 2012

Johdatus tekoälyyn (T. Roos) Kurssikoe ARVOSTELUPERUSTEET

Pinoautomaatit. TIEA241 Automaatit ja kieliopit, kesä Antti-Juhani Kaijanaho. 6. kesäkuuta 2013 TIETOTEKNIIKAN LAITOS. Pinoautomaatit.

Algoritmin määritelmä [Sipser luku 3.3]

The OWL-S are not what they seem

JOHDATUS TEKOÄLYYN TEEMU ROOS

LR-jäsennys. Antti-Juhani Kaijanaho. 3. lokakuuta 2016

JOHDATUS TEKOÄLYYN TEEMU ROOS

JOHDATUS TEKOÄLYYN TEEMU ROOS

JOHDATUS TEKOÄLYYN LUENTO 4.

TIEA241 Automaatit ja kieliopit, syksy Antti-Juhani Kaijanaho. 16. marraskuuta 2015

Laskennan mallit (syksy 2010) 2. kurssikoe, ratkaisuja

Säännölliset kielet. Sisällys. Säännölliset kielet. Säännölliset operaattorit. Säännölliset kielet

.. X JOHDATUS TEKOÄLYYN TEEMU ROOS

JOHDATUS TEKOÄLYYN TEEMU ROOS

JOHDATUS TEKOÄLYYN TEEMU ROOS

TIEA241 Automaatit ja kieliopit, kesä Antti-Juhani Kaijanaho. 29. toukokuuta 2013

Lisää pysähtymisaiheisia ongelmia

TIEA241 Automaatit ja kieliopit, syksy Antti-Juhani Kaijanaho. 9. lokakuuta 2016

Tekoäly liiketoiminnassa. Tuomas Ritola CEO, selko.io

ICS-C2000 Tietojenkäsittelyteoria

Kontekstittomat jäsennysmenetelmät

Tekoäly muuttaa arvoketjuja

2.8. Kannanvaihto R n :ssä

ICS-C2000 Tietojenkäsittelyteoria. Tähän mennessä: säännölliset kielet. Säännöllisten kielten pumppauslemma M :=

Computing Curricula raportin vertailu kolmeen suomalaiseen koulutusohjelmaan

JOHDATUS TEKOÄLYYN TEEMU ROOS

4. Tehtävässä halutaan todistaa seuraava ongelma ratkeamattomaksi:

on rekursiivisesti numeroituva, mutta ei rekursiivinen.

b) Määritä myös seuraavat joukot ja anna kussakin tapauksessa lyhyt sanallinen perustelu.

JOHDATUS TEKOÄLYYN TEEMU ROOS

JOHDATUS TEKOÄLYYN TEEMU ROOS


TIEA241 Automaatit ja kieliopit, kevät 2011 (IV) Antti-Juhani Kaijanaho. 31. maaliskuuta 2011

JOHDATUS TEKOÄLYYN TEEMU ROOS

TIEA241 Automaatit ja kieliopit, kevät 2011 (IV) Antti-Juhani Kaijanaho. 16. toukokuuta 2011

MS-A0402 Diskreetin matematiikan perusteet

Transkriptio:

JOHDATUS TEKOÄLYYN TEEMU ROOS

LUONNOLLISEN KIELEN KÄSITTELY (NATURAL LANGUAGE PROCESSING, NLP) TEKOÄLYSOVELLUKSET, JOTKA LIITTYVÄT IHMISTEN KANSSA (TAI IHMISTEN VÄLISEEN) KOMMUNIKAATIOON, OVAT TEKEMISISSÄ LUONNOLLISEN KIELEN KANSSA. VAIKEUS ESIM.: SUODATTAMINEN (ESIM. SPAM) LUOKITTELU TIEDONHAKU TIEDON KERÄÄMINEN KIELEN KÄÄNTÄMINEN TIIVISTÄMINEN KYSYMYKSIIN VASTAAMINEN DIALOGI BLAH-BLAH- BLAH

TEKSTI TEKSTI POIKKEAA ESIM. DIGITAALISESTA SIGNAALIDATASTA VAIKKA 1D (ETENEE YHTEEN SUUNTAAN), RAKENNE HIERARKKINEN (TEKSTI, KAPPALE, LAUSE, SANA) KIELIOPPI RAJOITTAA MUOTOA (MUTTA LUONNOLLINEN KIELI SILTI MONISELITTEISTÄ) LÄHEMPÄNÄ SEMANTIIKKAA KUIN DIGITAALISET SIGNAALIT: TUOLI TUOLIN IDEA?

KIELET JA KIELIOPIT TIETOJENKÄSITTELYTIETEEN TEORIASSA FORMAALI KIELI TARKOITTAA MERKKIJONOJEN JOUKKOA ESIM. SALLITUT MATEMAATTISET KAAVAT: (1+2) 6 3 1+(+ 5( KUULUU KIELEEN EI KUULU KIELEEN YHTEYDETÖN KIELI (CONTEXT FREE LANGUAGE) = KIELI, JOKA VOIDAAN TUOTTAA YHTEYDETTÖMÄLLÄ KIELIOPILLA: JOUKKO SÄÄNTÖJÄ V w yhteydetön = ei riipu ympäröivästä kontekstistä VÄLIKE JONO VÄLIKKEITÄ TAI PÄÄTESYMBOLEJA

KIELET JA KIELIOPIT ESIMERKKI YHTEYDETTÖMÄSTÄ KIELIOPISTA: S SS S : ALOITUSSYMBOLI S () [] : PÄÄTESYMBOLIT S (S) S [S] S SS SSS SSSS (S)SSS (S)(S)SS (S)(S)(S)S (S)(S)(S)(S) ()(S)(S)(S) ()()(S)(S) ()()()(S) ()()()() KUULUU KIELEEN: (), ()()()(), ((())), (([])[()]), EI KUULU KIELEEN: ((, )(, (], (([(())[()]]),

KIELET JA KIELIOPIT KIELEN TUNNISTUS: JÄSENNYS JÄSENNYSPUU she eats a fish with a fork

KIELET JA KIELIOPIT KIELEN TUNNISTUS: JÄSENNYS JÄSENNYSPUU MONITULKINTAISTA! she eats a fish with a fork SÄÄNTÖIHIN VOIDAAN LIITTÄÄ TODENNÄKÖISYYDET LEKSIKAALISTETTU JÄSENNYS: SEMANTIIKKA MUKAAN

CYK-ALGORITMI COCKE-YOUNGER-KASAMI (1965 1970) PERUSVERSIO TUNNISTAA YHTEYDETTÖMÄN KIELEN PERUSTUU DYNAAMISEEN OHJELMOINTIIN (HAJOTA JA HALLITSE) VOIDAAN HELPOSTI LAAJENTAA TUOTTAMAAN TODENNÄKÖISIN JÄSENNYSPUU

CYK-ALGORITMI S NP VP VP VP PP VP V NP VP V PP P NP NP Det N NP NP PP NP N N she N fish N fork V eats V fish P with Det a (1,7) (1,6) (2,7) 1. ALOITA TYHJÄSTÄ TAULUKOSTA 2. KÄSITTELE RIVIT ALHAALTA YLÖS: 3. KUNNES EI VOI SOVELTAA SÄÄNTÖÄ: 4. SOVELLA SÄÄNTÖJÄ ALEMPIEN RIVIEN SYMBOLEIHIN T(i,j) T(i, j) T(i,j) T(i, k) T(k+1, j) (alku, loppu) (1,5) (2,6) (3,7) (1,4) (2,5) (3,6) (4,7) (1,3) (2,4) (3,5) (4,6) (5,7) (1,2) (2,3) (3,4) (4,5) (5,6) (6,7) (1,1) (2,2) (3,3) (4,4) (5,5) (6,6) (7,7) she eats a fish with a fork

CYK-ALGORITMI S NP VP VP VP PP VP V NP VP V PP P NP NP Det N NP NP PP NP N N she N fish N fork V eats V fish P with Det a 1. ALOITA TYHJÄSTÄ TAULUKOSTA 2. KÄSITTELE RIVIT ALHAALTA YLÖS: 3. KUNNES EI VOI SOVELTAA SÄÄNTÖÄ: 4. SOVELLA SÄÄNTÖJÄ ALEMPIEN RIVIEN SYMBOLEIHIN T(i,j) T(i, j) T(i,j) T(i, k) T(k+1, j) N,NP V,VP Det N,NP, V,VP P Det N,NP she eats a fish with a fork

CYK-ALGORITMI S NP VP VP VP PP VP V NP VP V PP P NP NP Det N NP NP PP NP N N she N fish N fork V eats V fish P with Det a 1. ALOITA TYHJÄSTÄ TAULUKOSTA 2. KÄSITTELE RIVIT ALHAALTA YLÖS: 3. KUNNES EI VOI SOVELTAA SÄÄNTÖÄ: 4. SOVELLA SÄÄNTÖJÄ ALEMPIEN RIVIEN SYMBOLEIHIN T(i,j) T(i, j) T(i,j) T(i, k) T(k+1, j) T(1,2) T(1,1) T(2,2) (1,2) S (1,1) (2,2) N,NP V,VP Det N,NP, V,VP P Det N,NP she eats a fish with a fork

CYK-ALGORITMI S NP VP VP VP PP VP V NP VP V PP P NP NP Det N NP NP PP NP N N she N fish N fork V eats V fish P with Det a 1. ALOITA TYHJÄSTÄ TAULUKOSTA 2. KÄSITTELE RIVIT ALHAALTA YLÖS: 3. KUNNES EI VOI SOVELTAA SÄÄNTÖÄ: 4. SOVELLA SÄÄNTÖJÄ ALEMPIEN RIVIEN SYMBOLEIHIN T(i,j) T(i, j) T(i,j) T(i, k) T(k+1, j) (3,7) NP T(3,7) T(3,4) T(5,7) S NP,VP (5,7) VP PP (3,4) S NP NP N,NP V,VP Det N,NP, V,VP P Det N,NP she eats a fish with a fork

CYK-ALGORITMI S NP VP VP VP PP VP V NP VP V PP P NP NP Det N NP NP PP NP N N she N fish N fork V eats V fish P with Det a S S JÄSENNYSPUUT RAKENNETTAVISSA TAULUKOSTA VP 2 VP NP NP,VP PP S NP NP N,NP V,VP Det N,NP, V,VP P Det N,NP she eats a fish with a fork

CYK-ALGORITMI S NP VP VP VP PP VP V NP VP V PP P NP NP Det N NP NP PP NP N N she N fish N fork V eats V fish P with Det a S S JÄSENNYSPUUT RAKENNETTAVISSA TAULUKOSTA LEKSIKALISOITU JÄSENNYS: TODENNÄKÖISIN JÄSENNYS RIIPPUU SEMANTIIKASTA P( eat with a fork ) > P( a fish with a fork ) VP 2 VP NP NP,VP PP S NP NP N,NP V,VP Det N,NP, V,VP P Det N,NP she eats a fish with a fork

SOVELLUKSIA JÄSENNYKSEN AVULLA VOIDAAN: TUNNISTAA RELAATIOITA, ESIM. JEAN SIBELIUS SÄVELSI VALSE TRISTEN. Säveltäjä(Jean Sibelius, Valse Triste) GOOGLE ACQUIRES ARTIFICIAL INTELLIGENCE STARTUP DEEPMIND FOR MORE THAN $500M Omistaa(Google, Deep Mind) AVITTAA KONEKÄÄNNÖSTÄ VOITTAA JEOPARDY!

SOVELLUKSIA JÄSENNYKSEN AVULLA VOIDAAN: LOUHIA NUMEERISTA DATAA SUURESTA MÄÄRÄSTÄ UUTISIA: PULS