Kieli merkitys ja logiikka

Samankaltaiset tiedostot
Kieli merkitys ja logiikka

Kieli merkitys ja logiikka. 4: Luovuus, assosiationismi. Luovuus ja assosiationismi. Kielen luovuus. Descartes ja dualismi

Kieli merkitys ja logiikka

Kieli merkitys ja logiikka

Kieli merkitys ja logiikka

Kieli merkitys ja logiikka. Johdanto. Materiaali. Kurssin sisältö. Kirjasta. Kieli, merkitys ja logiikka, kevät Saara Huhmarniemi 1

Kieli merkitys ja logiikka

Kieli merkitys ja logiikka

Kieli merkitys ja logiikka

Kieli merkitys ja logiikka

Kieli merkitys ja logiikka

Kieli merkitys ja logiikka

Kieli merkitys ja logiikka. Johdanto. Kurssin sisältö. Luento 1: Johdanto. Kirjasta. Kieli, merkitys ja logiikka, HY, kevät Saara Huhmarniemi 1

Automaatit. Muodolliset kielet

Kieli merkitys ja logiikka. Luento 6: Merkitys ja kieli

Kieli merkitys ja logiikka

8. Kieliopit ja kielet

Kieli merkitys ja logiikka. Johdanto. Materiaali. Kurssin sisältö. Luento 1: Johdanto. Kieli, merkitys ja logiikka, kevät Saara Huhmarniemi 1

LOGIIKKA johdantoa

Muodolliset kieliopit

Verbin valenssi määrää, minkälaisia argumentteja ja komplementteja verbi odottaa saavansa millaisissa lauseissa verbi voi esiintyä.

Lausekkeiden rakenteesta (osa 2) & omistusliitteistä

Hahmon etsiminen syotteesta (johdatteleva esimerkki)

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

Kieli merkitys ja logiikka

8. Kieliopit ja kielet 1 / 22

Äärellisten automaattien ja säännöllisten kielten ekvivalenssi

Kieli merkitys ja logiikka. 2: Helpot ja monimutkaiset. Luento 2. Tieto kielestä. Tieto kielestä. Kieli, merkitys ja logiikka, HY, kevät 2010

Kieli merkitys ja logiikka

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

ISO SUOMEN KIELIOPPI S2- OPETUKSESSA. Muutama havainto

Iso suomen kielioppi koulussa Suomen kielen ja kirjallisuuden alumnipäivä / Seppo Pekkola

Kieli merkitys ja logiikka. 2: Helpot ja monimutkaiset. Luento 2. Monimutkaiset ongelmat. Monimutkaiset ongelmat

Predikaattilogiikkaa

Sijoista ja kieliopillisista funktioista

osassa III max-pist pistem pistemäärä osan III maksimista III:N MAX 30 Z Y X (X/Y)xZ=Å Åx0,3 TEHTÄVÄ

Kieli merkitys ja logiikka

Varhainen leikki ja sen arviointi


Kieli merkitys ja logiikka

Säännöllisten kielten sulkeumaominaisuudet

Pinoautomaatit. Pois kontekstittomuudesta

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

Kirjoita käyttäen propositiosymboleita, konnektiiveja ja sulkeita propositiologiikan lauseiksi:

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

Luonnolliset vs. muodolliset kielet

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

TIEA241 Automaatit ja kieliopit, kevät Antti-Juhani Kaijanaho. 12. tammikuuta 2012

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

Syntaksissa tarkastelun perusyksikkö on lause. Syntaksi tutkii siis lauseiden rakennetta.

Suomen kielioppi: Harjoitukset - Harjoituslista. Aakkoset ja äänteet

Objekti. Objekti on lauseen toinen perustava nominaalijäsen (transitiiviverbin toinen täydennys), toinen perusfunktio, joka NP:lla voi olla:

Pikapaketti logiikkaan

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

Haluaisin mennä nukkumaan Verbi + verbi + verbi

Tieteenfilosofia 2/4. Heikki J. Koskinen, FT, Dos. Helsingin yliopisto / Suomen Akatemia

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

Laskennan mallit (syksy 2010) Harjoitus 4, ratkaisuja

Täydentäviä muistiinpanoja Turingin koneiden vaihtoehdoista

TIEA241 Automaatit ja kieliopit, kevät Antti-Juhani Kaijanaho. 26. tammikuuta 2012

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

Suomen kielen opetus (kotimaisten kielten ja kirjallisuuksien kandiohjelma)

Esimerkki 1: Kahviautomaatti.

Sana rakenteen kategoriana (A. Radford: Transformational Grammar. A First Course)

Jos sekaannuksen vaaraa ei ole, samastamme säännöllisen lausekkeen ja sen esittämän kielen (eli kirjoitamme R vaikka tarkoitammekin L(R)).

S U M E R I N SIJAMUODOT

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

Loogiset konnektiivit

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

5.3 Ratkeavia ongelmia

vaihtoehtoja TIEA241 Automaatit ja kieliopit, syksy 2016 Antti-Juhani Kaijanaho 13. lokakuuta 2016 TIETOTEKNIIKAN LAITOS

Propositiot: Propositiot ovat väitelauseita. Totuusfunktiot antavat niille totuusarvon T tai E.

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

Luento 12: XML ja metatieto

ÄIDINKIELI JA TEATTERIT

1 Logiikkaa. 1.1 Logiikan symbolit

Tietotekniikan valintakoe

Logiikan kertausta. TIE303 Formaalit menetelmät, kevät Antti-Juhani Kaijanaho. Jyväskylän yliopisto Tietotekniikan laitos.

Yhteydettömän kieliopin jäsennysongelma

Laskennan teoria (kevät 2006) Harjoitus 3, ratkaisuja

Kielioppi Harjoituskirja - suomi 3 - harjoituslista

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

Laskennan mallit (syksy 2009) Harjoitus 11, ratkaisuja

Kertausta 1. kurssikokeeseen

Sumeri Aleksi Sahala

Suomen A'-siirtymä. Reunat ja saarekkeet. lektiot. Saara Huhmarniemi. Väitöksenalkajaisesitelmä Helsingin yliopistossa 10.

Kieli merkitys ja logiikka. 2: Kielen biologinen perusta. Kielen biologinen perusta. Kielen biologinen perusta. Kielen biologinen perusta

S BAB ABA A aas bba B bbs c

T Syksy 2004 Logiikka tietotekniikassa: perusteet Laskuharjoitus 2 (opetusmoniste, lauselogiikka )

T Syksy 2005 Logiikka tietotekniikassa: perusteet Laskuharjoitus 8 (opetusmoniste, kappaleet )

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

Pysähtymisongelman ratkeavuus [Sipser luku 4.2]

Lapsen tyypillinen kehitys. -kommunikaatio -kielellinen kehitys

5. MORFOLOGIA l. muotorakenne

Algoritmin määritelmä [Sipser luku 3.3]

KOGNITIOTIETEEN VALINTAKOE VALINTAKOEKIRJALLISUUTEEN PERUSTUVA OSA. Lue nämä ohjeet ensin KÄÄNNÄ SIVUA VASTA LUVAN SAATUASI!

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

Konnektiivit. On myös huomattava, että vain joillakin luonnollisen kielen konnektiiveilla on vastineensa lauselogiikassa.

Yllä osoitettiin, että säännöllisten kielten joukko on suljettu yhdisteen

Se mistä tilasta aloitetaan, merkitään tyhjästä tulevalla nuolella. Yllä olevassa esimerkissä aloitustila on A.

Transkriptio:

Tieto kielestä Kieli merkitys ja logiikka! Kielen biologinen olemus! Kielen kulttuurinen olemus! Kielen normatiivinen olemus Luento 2! Kognitiotieteen tutkimuskohteena on kielen biologinen olemus: " Kielen biologinen olemus kuuluu universaalisti kaikkien ihmisten perimään. Propositiologiikka! Konnektiivit kuvaavat lauseiden (tai sanojen) välisiä suhteita. Atomilauseista voidaan niiden avulla johtaa monimutkaisempia ilmaisuja: Pekka rakastaa Merjaa ja Merja rakastaa Juhaa. Pekka rakastaa Merjaa tai Pekka rakastaa Minnaa. Jos Pekka keittää kahvia niin kahvi valmistuu ajoissa. ja : " tai : # jos... niin : $ ei : Propositiologiikka! Laadi totuustaulut konnektiiveille kun merkitykset ovat kirjaimellisesti: Pekka rakastaa Merjaa ja Merja Juhaa. Pekka rakastaa Merjaa tai Pekka rakastaa Minnaa (tai Pekka rakastaa molempia.) Jos Pekka keittää kahvia niin kahvi valmistuu ajoissa (mutta kahvi voi valmistua ajoissa muutenkin). ja : " tai : # jos... niin : $ ei : Saara Huhmarniemi 1

Kielentutkimuksen eri osa-alueet Kielentutkimuksen osa-alueita! Fonetiikka " äänteiden (fysikaalinen) tutkimus! Fonologia " kielen äännejärjestelmän tutkimus! Morfologia " sananmuodostus, sanojen rakenne, taipuminen ja johtaminen! Sanaston tutkimus! Syntaksi " kielellisten rakenteet, rakenteiden väliset suhteet! Morfosyntaksi " syntaksin ja morfologian suhde, joka liittyy taivutukseen ja taivutusparadigmoihin (mutta ei esimerkiksi sananmuodostukseen).! Semantiikka " sanojen ja kielellisten rakenteiden suhde maailmaan " totuusarvot! Pragmatiikka " kielellisten rakenteiden ja niiden käytön välinen suhde " puhujan tarkoitus " kontekstuaalinen merkitys " "kuinka kommunikoidaan enemmän kuin sanotaan" Morfosyntaktiset piirteet Morfosyntaktiset piirteet Lapsi syö puuroa. Lapset syövät puuroa. Kenguru hyppii. Kengurut hyppivät.! Substantiiveilta voidaan erottaa monikkoa merkitsevä suffiksi (-t).! Suomessa sanoissa taivutuksen aikana usein myös äännemuutoksia.! Verbin monikko (3.pers) muodostetaan suffiksilla (-vat).! Suomessa verbi kongruoi subjektin luvun lisäksi myös persoonan mukaan.! Morfosyntaktiset piirteet liittyvät lauseen syntaktisiin ominaisuuksiin. Esimerkiksi adjektiivit mukautuvat pääsanansa mukaan: pienet punaiset talot.! Eri persooniin liittyviä morfosyntaktisia piirteitä voidaan merkitä formaalisti esimerkiksi: sg1, sg2, sg3, pl1, pl2, pl3 (singular=yksikkö, plural=monikko).! Mitä muita morfosyntaktisia piirteitä kielessä on? Saara Huhmarniemi 2

Morfosyntaktiset piirteet Sanat! Esimerkkejä: " substantiivin suku " substantiivin luku: duaali, esim pohjoissaamessa du1, du2, du3.! Maailman kielissä on paljon tämänkaltaisia piirteitä jotka liittyvät esimerkiksi paikkaan, aikaan ja laskemiseen tai siihen kuka puhuu, kenelle puhutaan ja mikä on puheenaihe.! Lisäksi joillakin piirteillä on merkitys ainoastaan syntaktisen relaation merkkinä (esim. syntaktiset sijamuodot).! Millä perusteella sanat luokitellaan eri kategorioihin, nominit, verbit, adjektiivit,..?! Voidaan käyttää sanan muotoon tai semantiikkaan liittyviä testejä: " Verbi kuvaa tapahtumaa tai toimintaa, loppuu perusmuodossa -a tai -ä, jne.! Taivutukseen liittyvät testit ovat varmempia: " Verbi taipuu aikamuodossa ja subjektin suvussa ja luvussa, jne. Leksikko Lauseen eri osat! Otetaan käyttöön leksikko, jossa listataan sanat ja niiden tyypit. Osa leksikosta: N nomini Pekka, Merja, talo, myyrä, koti... V verbi rakastaa, kaipaa, etsii,... A adjektiivi pieni, punainen,... C konjunktio ja, tai, että, jos,... N V N! verbi, predikaatti! subjekti: tekijä! objekti: tekemisen kohde Pekka pudotti ruukun lattialle. Pekka satutti varpaansa juostessaan. Talo rakennettiin. Ruukku vieri lattialla.! Kaikki verbit eivät saa subjektia tai objektia. Saara Huhmarniemi 3

Assosiationismi ja kielioppi Assosiationismi ja kielioppi! Suomen kielen peruslause on muotoa Subjekti-Verbi-Objekti Pekka rakastaa Merjaa. Myyrä etsii kotia. Pekka kaipaa Merjaa.! Lauseet voidaan kuvata assosiatiiivisen mallin avulla niin, että sanojen sijaan käytetään sanaluokkien tunnuksia.! N=nomini! V=verbi! Lauseet voidaan nyt kuvata käyttämällä vain yhtä mallia. Pekka näki Merjan. Myyrä etsii kodin. Pekka löysi Merjan. N-nom V N-akk Leksikko Leksikko! Monet sanaluokat sisältävät alikategorioita. Esimerkiksi verbit voidaan luokitella intransitiivisiin ja transitiivisiin, sen mukaan montako argumenttia ne saavat. Pekka nukkuu. *?Pekka nukkuu sängyn. *?Pekka vaatii. Pekka vaatii kirjan.! Mallia varten tarvitsemme sijamuotoja, joita ovat esimerkiksi subjektin nominatiivisija (nom) ja objektin akkusatiivisija (akk), genetiivi (gen), partitiivi (part), semanttiset sijat, paikallissijat. Pekka-NOM nukkuu. Pekka syö leivän-akk. Pekka nukkuu talossa-ine. Pekan-GEN auto. Saara Huhmarniemi 4

Äärellisten tilojen automaatti Assosiationistinen teoria kielestä! Kielen voidaan ajatella koostuvan kahdesta komponentista: kielen sanastosta ja kieliopista. Kielioppi kuvaa sanakategorioiden välisiä suhteita, kun taas sanasto on itsenäinen komponentti.! Kieli muodostaa ilmaisujoukon, johon kuluvat kaikki siinä kieliopilliset ilmaisut.! Assosiationistiset teoriat kielestä ja kognitiosta ovat oikeastaan ensimmäisiä teorioita ajattelusta.! David Hume (1711-76) loi ensimmäisen systemaattisen assosiationistisen teorian ihmisen mielestä.! Systeemissä tilat olivat alkeellisia käsitteitä, ne liittyivät toisiinsa muodostaen monimutkaisia käsitteitä, merkityksiä ja ajatuksia. Assosiationistinen teoria kielestä Tehtävä! Assosiaatiolait: jos kaksi tilaa tai tilajoukkoa esiintyvät toistuvasti yhdessä, niiden välistä assosiaatiota vahvistetaan.! Näin mieli pystyy mallintamaan ympäristöä ja ihminen käyttäytymään järkevästi.! Miten kielen oppiminen selitetään assosiationismiin perustuen? Saara Huhmarniemi 5

Äärellisten tilojen automaatti Äärellisten tilojen automaatti! Edellä esitetty assosiationistinen malli kielelle on esimerkki äärellisten tilojen automaatista (finite states automaton). Usein puhutaan myös Markov-mallista.! Automaatti koostuu siis: 1. Äärellisestä määrästä tiloja 2. Tilasiirtymistä 3. Äärellisestä aakkostosta (syötemerkit) 4. Alkutilasta 5. Hyväksyvistä lopputiloista! Sellaista kieltä, jonka kaikki ilmaukset voidaan periaatteessa muodostaa äärellisen automaatin avulla kutsutaan äärellisten tilojen kieleksi.! Sanomme myös, että äärellisten tilojen automaatti tunnistaa jonkun kielen.! Määritelmässä sana "kieli" on merkitykseltään laajempi, se sisältää luonnollisten kielten lisäksi myös keinotekoiset kielet.! On olemassa kieliä, joita ei voi kuvata käyttämällä assosiatiivista mallia. Äärellisten tilojen automaatti Äärellisten tilojen automaatti! Äärellisten tilojen kielelle voidaan määritellä automaatti, joka määrittelee kielen. Jokainen merkkijono, jonka automaatti tunnistaa kuuluu kieleen. Kieleen kuulumattomat merkkijonot automaatti hylkää.! Olkoon kielen L aakkosto A={a,b}. Laaditaan automaatti, joka tuottaa kielen L={ab, aab, aaab,... abb, aabbb,...}! Olkoon kielen L aakkosto A={a,b}. Laaditaan automaatti, joka tuottaa kielen L={ab, aab, aaab,... abb, aabbb,...}! Kieltä voidaan merkitä myös Saara Huhmarniemi 6

Assosiationismin rajoituksia Assosiationismin rajoituksia! Assosiatiivisia malleja vahvempia kognitiivisia malleja ovat komputationaaliset mallit.! Assosiatiivisessa mallissa ei ole muistia: ainoa tieto, joka mallilla on kullakin hetkellä, on tila, jossa malli sillä hetkellä on.! Tilojen riippuvuuksia toisistaan ilmaistaan haarautumilla mallissa. Tila kantaa siis tietoa siitä, mitä on tapahtunut aikaisemmin.! Assosiatiivisen mallin muistin täytyy ulottua melko kauas, sillä riippuvuudet eivät koske ainoastaan vierekkäisiä sanoja. Me nukuimme ja söimme. Me näimme teidät ja itsemme. Minä uskon nähneeni itseni. " Tässä viimeisen sanan taivutus riippuu olennaisesti ensimmäisestä sanasta. Assosiationismin rajoituksia Assosiatiivisen mallin muisti! Kuinka kauas riippuvuussuhde voi ulottua? *Huomenna sataa, niin maa kastuu Jos huomenna sataa, niin maa kastuu.! Tässä automaatti ei saa hyväksyä sanaa niin, ellei aiemmin ole esiintynyt sana jos.! Mitä tapahtuu jos väliin jäävää osuutta kasvatetaan? Jos [ sinä haluat mennä ulos tai sinulla on tylsää] niin voin ottaa sinut mukaan. Jos [ sinä haluat mennä ulos tai sinulla on tylsää], niin [voin ottaa sinut mukaan].! Tämän lauseen rakenne on Jos S1 niin S2.! Nyt S1 sisältää rakenteen S3 tai S4. S3 = sinä haluat mennä ulos S4 = sinulla on tylsää.! Periaateessa rakenteita voi laittaa sisäkkäin loputtomiin, jopa niin että jompikumpi S3 tai S4 sisältää uuden Jos-niin -rakenteen. Saara Huhmarniemi 7

Assosiatiivisen mallin muisti Konstituentit ja lauserakenteet! Puhutaan rajattoman kantaman riippuvuudesta.! Jos-niin rakenteen tunnistavan mallin pitäisi sisältää ääretön määrä haarautumia.! Kieli! Assosiationistisen mallin mukaan kielen ilmaukset ovat olemukseltaan sanajonoja.! Kielitieteessä ja kognitiotieteessä on omaksuttu vahvempi teoria, jossa lauseet esitetään konstituenttirakenteiden avulla.! Kielen tulisi muistaa luettujen a-symbolien määrä. Lauseke ja lausekkeen elementit Pääsana! Lause jakautuu pienempiin osiin, lausekkeisiin. [Pekka] [näki [ison pahan suden]].! Lausekkeilla on sisäinen rakenne, josta voidaan erottaa pääsana sekä määreet ja komplementit. Pekka näki [ison pahan suden].! Pääsana voi edustaa lauseketta yksin lauseyhteydessä: Minä näin ne fiksut luonnontieteiden opiskelijat. Minä näin opiskelijat. *Minä näin ne fiksut luonnontieteiden. *Minä näin fiksut. *Minä näin luonnontieteiden.?minä näin ne. Pekka näki [kognitiotieteen opiskelijan]. Saara Huhmarniemi 8

Konstituenttimalli Konstituenttimalli! Konstituenttimalli esitetään puurakenteena tai hakasulkein. [ [ Pekka ] [ nukkuu ] ]! Konstituentit voivat pitää sisällään lisää rakennetta: [ [ Pitkä poika ] [ nukkuu ] ]! Puu päättyy aina terminaalisymboleihin, jotka poimitaan sanastosta.! Kieli voidaan kuvata käyttämällä uudelleenkirjoitussääntöjä: S ---> N V N ---> Pekka, Merja,... V ---> nukkuu syö,...! Tässä mallissa kielen luovuus voidaan esittää rekursion avulla. Konstituenttimalli Konstituenttimalli Jos [ sinä haluat mennä ulos tai sinulla on tylsää], niin [voin ottaa sinut mukaan]. S ---> Jos S niin S S ---> S tai S S ---> N V N ---> sinä,... V ---> haluat,... S ---> NP VP NP ---> (A) N VP ---> V S* VP ---> V NP S* ---> C S N ---> Pekka, Merja, poika,... A ---> pieni, suuri,... V ---> rakasti, etsi,... C ---> että, vaikka, mutta,... Saara Huhmarniemi 9

Tehtävä Pieni poika etsi Merjaa. Pieni poika nauroi koska Merja rakasti häntä. S ---> NP VP NP ---> (A) N VP ---> V S* VP ---> V NP S* ---> C S N ---> Pekka, Merja, poika,... A ---> pieni, suuri,... V ---> rakasti, etsi,... C ---> että, vaikka, mutta,... Saara Huhmarniemi 10