Kognitiiivinenmallintaminen1. Tiedon esittäminen, logiikkaa
|
|
- Esa Manninen
- 6 vuotta sitten
- Katselukertoja:
Transkriptio
1 Kognitiiivinenmallintaminen1 Tiedon esittäminen, logiikkaa
2 Mitenihmisaivotesittävättietoa? Language of Thought (LOT) hypoteesi(fodor). Mentaaliset representaatiot ovat jotain kielen tapaista(niillä on jokin muoto, niihin liittyy säännönmukaisuuksia, sallivat monimutkaisten konseptien rakentamisen yksinkertaisista etc..) Esim. Ajatus kahvion hyvää sisältääkonseptinkahvista(juomaa), jakonseptinsiitämitäon olla hyvää. Predikaattilogiikan kielellä voidaan myös ajatella, että ajatus liittää kahviin predikaatin hyvää. Sapir-Whorf hypoteesi (linguistic relativity) Käyttämämme kieli määriittää ajatteluamme ja päättelyämme(eri kieltä puhuvat kulttuurit jäsentäisivät maailmaa eri tavalla) Wittgenstein: kielenrajat= maailmanrajat? Joskielessäeiole sanaajollekinkäsitteelle(esim. numero4) estääköse ymmärtämästä/havaitsemasta/käyttämästä käsitettäsinänsä? Empiriaa Ihmisetmuistavatlukemastaanyleensäajatuksen, muttaeivätsanatarkkaalausetta(esim. synonyymejä tai samaa tarkoittavia lauseita ei erotella) -> ei-verbaalinen koodaus Lukusanojenpuutekielessä(esim. piraha) vaikeuttaalukujenmuistamistajakäsittelyä, muttaeiilmeisestikäänestähavaintoa/ideanymmärrystä. Paljonavoimiakysymyksiä.
3 Tiedonesittäminenjapäättely (knowledge representation) Mallinnetaan älykästä systeemiä formaalisti, mitä yleisiä piirteitä mallilla on? Tiedon esitys(millaista tietoa malli voi esittää ja miten?) Päättely(miten ja mitä malli voi tehdä tiedolla?) Valittu tiedon esitystapa ja päättelysäännöt(logiikka) määräävät kuinkailmaisukykyinenmallion. Mallinolisihyväolla mahdollisimman analoginen kohteensa kanssa. Mitä ilmaisukykyisempi malli on, sitä monimutkaisempi ja raskaampise yleensäon. -> model should be simple but not too simple Esitystapaan ja loogiikkaan tulee kiinnittää huomiota
4 Logiikan rooli Formaali logiikka on yleisin tiedon esitystapa tekoälyssä Älykäs systeemi sisältää tai käyttää tietoa. Tieto esitetään tietorakenteina, tiedon representaatioina. -> MUOTO (syntax) Jotta systeemin tieto olisi hyödyllistä, sen täytyy olla suhteessa ulkomaailmaan. Ainakin osalla representaatioista on oltava totuusarvoinen semantiikka.-> MERKITYS (meaning) Logiikan (matemaattisen logiikan, malliteorian) avulla voidaan määritellä systemaattinen relaatio tiedon esitystavan ja merkityksen välille.
5 Merkitys Kieli viittaa jollain tavalla kielen ulkoiseen todellisuuteen. Lauseen kirjaimellinen merkitys kertoo, mihin asiaan, ilmiöön tai tapahtumaan lause viittaa. Kielen teorian lisäksi tarvitsemme teorian kielen ulkoisesta todellisuudesta, "maailmasta" teorian kielen suhteesta kielen ulkoiseen todellisuuteen
6 Merkitys Merkitysteoria jakaantuu kahteen komponenttiin: primitiivisten ilmaisujen merkitys monimutkaisten ilmaisujen merkitys Mitä ovat primitiiviset ilmaisut? sanat? morfeemit?
7 Kompositionaalisuus Kompleksisen ilmauksen merkitys on sen osien merkitysten ja niiden yhdistämiseen käytetyn syntaktisen säännön funktio. (Frege) Gottlob Frege ( ), Alfred Tarski (1901/2-83), Richard Montague ( ).. Lisäksi: merkitykseen ei vaikuta mikään muu seikka. Esimerkiksi lausekonnektiivien (ja, tai, jos-niin, että, jotta,..) semantiikka voidaan kuvata kompositionaalisesti. Esimerkiksi termin "ruskea lehmä" merkitys määräytyy termien "ruskea" ja "lehmä" merkitysten perusteella: RUSKEA_LEHMÄ(x) jos ja vain jos LEHMÄ(x) ja RUSKEA(x)
8 "ruskea lehmä" syntaktinen sääntö, joka yhdistää AP:n nominipääsanaansa (yksinkertaisesti: [A N]) semanttinen sääntö, joka vastaa loogista ja-funktiota. Tässä esimerkissä syntaktinen ja semanttinen sääntö yhdistyvät.
9 Kompositionaalisuus Montaguen mukaan syntaksi ja semantiikka ovat homomorfisessa suhteessa keskenään. Ajatus on, että jokaista syntaktista operaatiota vastaa jokin semanttinen operaatio. Kielioppi on merkityksen "peilikuva".
10 Kompositionaalisuus Semantiikka ilman kompositionaalisuusperiaatetta? Kompleksisen ilmaisun merkitykseen vaikuttaa myös jokin muu kuin ainoastaan sen osien merkitykset ja yhdistelysäännöt Ilmaisun merkitys voi riippua esimerkiksi kontekstista. Tällöin lauseen totuusarvo eli merkitys voi muuttua vaikka ilmaisu olisi korvattu synonyymillään.
11 Semantiikka Logiikassa semantiikka määrittelee lauseen totuusarvon suhteessa jokaiseen mahdolliseen maailmaan esim: aritmetiikansemantiikkamäärittää, ettälausex+y=4 on tosimaailmassa, jossa esim: x=2, y=2, mutta epätosi maailmassa, jossa x=1, y=1 Mahdollista maailmaa tarkastellaan yleensä abstraktisti, jolloin puhutaan mallista. m on a:n malli tarkoittaa, ettälausea on tosimallissam. Malli kiinnittää soveltuvien lauseiden totuusarvot Loogisella päättelyllä lauseista voi johtaa loogisia seurauksia : josjavain joskaikissamalleissa, missäa on tosi, a =b b on myöstosi.
12 Kielijamaailma lause Looginen seuraus lause representaatio maailma seman ntiikka Maailman ominaisuus seuraus seman ntiikka Maailman ominaisuus
13 Logiikoidensitoumukset On useitaloogisiarakennelmia: propositiologiikka, predikaattilogiikka, korkeamman asteen logiikat jne.. Keskeinen ero on millaisia oletuksia todellisuudesta tehdään. Ontologinensitoutuminen: millainenon maailmanrakenne, mistäse koostuu? Esim: propositiologiikassa oletetaan maailman koostuvan faktoista, jotka pätevät tai eivät. Ensimmäisenasteenlogiikka: maailmakoostuuobjekteistajaniidensuhteista. Epistemologinen sitoutuminen: millaista tietoa maailmasta ja sen olioista voi olla? Propositio-japredikaattilogiikassalauseellavoiolla 3 totuusarvoa: totta, epätotta, tai määrittelemätön. Todennäköisyysteoriassa lauseilla voi olla liukuva totuusarvo 0..1 välillä.
14 Logiikoidensitoumuksia Kieli Ontologinen sitoumus Epistemologinen sitoumus Propositiologiikka Faktat Totta/epätotta/tuntematon 1-asteen logiikka Faktat, objektit, relaatiot Totta/epätotta/tuntematon Temporaalilogiikka Faktat, objektit, relaatiot, ajanhetket Totta/epätotta/tuntematon Todennäköisyysteoria Faktat Liukuva totuusarvo[0..1] Sumea logiikka Sumeita faktoja(liukuva pätevyyden aste[0..1] ) [0..1]
15 (non)monotoninenlogiikka Yleensä logiikan systeemit(prositio,1.asteen) ovat monotonisia, s.o. Joslausejoukosta S seuraajohtopäätösa, eimikäänlisäysjoukkoons voi enää muuttaa a:ta. (mahdollisten seurausten joukko kasvaa monotonisesti tiedon lisääntyessä) Nonmonotonisessa logiikassa tämä ei päde Arkipäättelyon useinnonmonotonista, esim. (linnutyleensälentää, q on lintu) -> q lentää Lisäinformaatiovoimuuttaatilannetta(pingviiniteilennä, q on pingviini) -> q eilennäkään. Oletus, ettämielivaltainenlintuq lentäävoikuitenkinkäytännössäolla hyödyllinen.
16 Nonmonotoninenlogiikka Nonmonotoninenlogiikkaon vahvempaasiinämielessä, että voidaan päätellä enemmän. Heikompaa sikäli, että lisäjohtopäätökset eivät välttämättä ole oikein. Edellisen kaltainen tilanne voidaan määritellä formaalisti monellakin tapaa. Default logiikka: Default sääntö: Lintu(x): Lentää(x) / Lentää(x) Josx on lintujax:n lentämisestäeitiedetämuuta-> x lentää Yleisesti P: J1,, JN / C P: esivaatimus, C: johtopäätös, J1..JN: oikeutuksia.. Jos jokin oikeutus voidaan osoittaa vääräksi, johtopäätös ei seuraa.
17 Tiedonesittäminen Millainen esityssysteemi pitäisi valita? Tarkastellaan millaisista konsepteista maailma(tai mallinnettavakohde) rakentuujamillaisiasuhteitaniilläon (ontological engineering) Yksi mahdollinen ylimmän tason ontologia maailmasta: Kaikki Abstraktit Objektit tapahtumat aikaväli objektit joukot kategoriat numerot paikat yksilöitävät eläimet
18 2. esim: pienempi osa maailmaa, LaTeX-dokumentin ontologia
19 Kategoriat Esitettävienasioidenjakaminenkategorioihinon yleisesti hyvä idea Paljon päättelyä voidaan suorittaa kategorioiden tasolla Kategoriolle voidaan määritellä ominaisuuksia, jotka periytyvät alemmille tasoille Yksinkertainen tapa esittää esimerkkien tapaista hierarkista tietoa on käyttää 1. asteen predikaattilogiikkaa ja tallentaa lauseet johonkin tietokantaan
20 Tiedonesitys(esim) Esitetäänhierarkiapredikaattilogiikassa. Kaikki kissat ovat nisäkkäitä: Nisäkäs Kissa Kurmo Kurmoon kissa: K(kurmo)
21 Tiedonesitys Predikaattilogiikalla ilmaistu maailmaa koskeva tieto voidaan tallettaa tietokantaan(kb=knowledge base) TELL(KB, Kissa(Kurmo)) TELL(KB, Kissa(x) --> Nisäkäs(x)) Tietokannalle voi sitten tehdä kysymyksiä ASK(KB, Nisäkäs(Kurmo)) ASK(KB, Kissa(Kurmo)) ASK(KB, Omituinen(Kurmo)) Jos tietokannan aksioomat kokonaan ja oikein kuvaavat maailman toiminnan ja havainnot, niin loogisen päättelyn avulla saavutetaan vahvin kuvaus maailman tilasta annetuilla havainnoilla.
22 Päättely Logiikassa kolme päättelyn muotoa: induktiivinen päättely Tunnetuista faktoista yleistetään sääntö. Voi johtaa epätosiin lopputuloksiin. Aurinko on tähän asti noussut idästä-> aurinko nousee huomenna idästä deduktiivinen päättely Tunnetuista faktoista tehdään johtopäätös säilyttäen totuus. Kaikkiihmisetovatkuolevaisia. Sokrateson ihminen-> sokrateson kuolevainen. abduktiivinen päättely Lopputuloksesta johdetaan sitä selittäviä alkuehtoja, parasta selitystä. Ei säilytä totuutta. Hammasta särkee-> hampaassa on reikä.
23 Ihmisen deduktiivinen päättely Tarkastellaan muutamaa päättelyyn liittyvää ongelmatyyppiä Transitiivinen päättely taller(a,b) & shorter(c,b) -->???(A,C) Päättely ehtolauseista IF pimeää THEN katuvalot ovat päällä & katuvalot ovat päällä -->??? Syllogistinen päättely Kaikki leijonat ovat petoja & Kaikki leijonat ovat kissoja --> onko petojen ja kissojen välillä relaatiota
24 Transitiivinen päättely visuaalista vai verbaalista päättele A:n ja C:n suhde: A on parempi kuin B ja C on huonompi kuin B B on huonompi kuin A ja B on parempi kuin C C on huonompi kuin B ja B on huonompi kuin A A on parempi kuin B ja B on parempi kuin C Järjestyksellä ja käytetyillä sanoilla on väliä.
25 Päättely ehtolauseesta Jos P niin Q piirrä totuustaulu Jos P niin Q ymmärretään yleensä muodossa: Jos P niin Q & jos Q niin P Eri asioiden päättely vie ihmisiltä eri ajan: Jos P niin Q & P on totta --> Q? Jos P niin Q & Q on epätotta --> P?
26 Syllogistinen päättely kahdesta joukko-opillisesti hyvinmääritellystä alkuehdosta päätellään vastaavanlainen lopputulos, esim: Jotkut taiteilijat ovat baarimikkoja Kukaan baarimikko ei ole kemisti Jotkut taiteilijat eivät ole kemistejä Syllogismi on varhaisin looginen systeemi (Aristoteles)
27 Syllogistinen päättely Syllogismien ratkaisu ei vaadi harjoittelua, joten niitä voidaan helposti tutkia. Ihmiselle osa syllogismeista on helppoja kaikki A:t ovat B:tä kaikki B:t ovat C:tä ---- kaikki A:t ovat C:tä. osa vaikeita mikään A ei ole B kaikki B:t ovat C:tä ----??
28 Syllogistinen päättely Myös tässä jokin päättely tehdään helpommin kuin toinen: jotkut A:t ovat B:tä kaikki B:t ovat C:tä --- jotkut A:t ovat C:tä Sen sijaan yleensä ei päätellä yhtä validia johtopäätöstä: jotkut C:t ovat A:ta Vaikeus voi riippua ongelmasta, johon syllogismi liittyy
29 Ihmisen syllogistisen päättelyn mallit Mentaaliset mallit ympyrädiagrammit (Euler circles) symbolitaulukot Sääntöpohjaiset mallit sama lähestymistapa kuin loogisessa päättelyssä Tekevät vain valideja johtopäätöksiä ja kattavat koko päättelykyvyn. Päättelyvirheet selitetään muistirajoituksilla ja sopivalla vinoumalla (bias)
30 Ympyrädiagrammit Ympyrät, jotka esittävät joukkoa yksilöitä. (Euler Circles, Leonhard Euler , Gottlieb Wilhelm von Leibniz ) Diagrammin eri alueet esittävät yksilöitä, jotka ovat mahdollisia alkuehtojen perusteella. Ovat olemassa ainakin yhdessä loogisessa mallissa. Lisäksi merkitään niitä alueita, jotka ovat välttämättömiä Ovat olemassa kaikissa malleissa.
31 Ympyrädiagrammit
32 Ympyrädiagrammit
Tiedon esittäminen ja päättely. Kognitiivinen mallintaminen I. Merkitys. Merkitys. Kognitiivinen mallintaminen I, kevät /13/07
Tiedon esittäminen ja päättely Kognitiivinen mallintaminen I Symbolinen mallintaminen 3. luento Tiedon esittäminen ja päättely Merkitys: kompositionaalisuus Malliteoria Loogisen päättelyn malleja Tiedon
LisätiedotKieli merkitys ja logiikka
Luento 8 Kieli merkitys ja logiikka Luento 8: Merkitys ja logiikka Luku 10: Luennon 7 kertaus: propositiologiikka predikaattilogiikka Kvanttorit ja looginen muoto Määritelmät, analyyttisyys ja synteettisyys
LisätiedotKieli merkitys ja logiikka
Luento 7 Kieli merkitys ja logiikka Luennot 7 ja 8: sivut 237-274 Luento 7: Merkitys ja kieli Merkitys ja kieli Merkitys ja kieli Kompositionaalisuus Propositiologiikka Kieli ja tulkinta Predikaattilogiikka
LisätiedotKieli merkitys ja logiikka. Luento 6: Merkitys ja kieli
Kieli merkitys ja logiikka Luento 6: Merkitys ja kieli Merkitys ja kieli Merkitys ja kieli Sanat ja käsitteet Kompositionaalisuus Propositiologiikka Kysymykset Merkityksen luonne Miten ihminen hahmottaa
LisätiedotFI3 Tiedon ja todellisuuden filosofia LOGIIKKA. 1.1 Logiikan ymmärtämiseksi on tärkeää osata erottaa muoto ja sisältö toisistaan:
LOGIIKKA 1 Mitä logiikka on? päättelyn tiede o oppi muodollisesti pätevästä päättelystä 1.1 Logiikan ymmärtämiseksi on tärkeää osata erottaa muoto ja sisältö toisistaan: sisältö, merkitys: onko jokin premissi
LisätiedotPikapaketti logiikkaan
Pikapaketti logiikkaan Tämän oppimateriaalin tarkoituksena on tutustua pikaisesti matemaattiseen logiikkaan. Oppimateriaalin asioita tarvitaan projektin tekemisessä. Kiinnostuneet voivat lukea lisää myös
Lisätiedot811120P Diskreetit rakenteet
811120P Diskreetit rakenteet 2017-2018 Yhteenveto Yleistä kurssista Kurssin laajuus 5 op Luentoja 30h Harjoituksia 21h Itsenäistä työskentelyä n. 80h 811120P Diskreetit rakenteet, Yhteenveto 2 Kurssin
Lisätiedot-Matematiikka on aksiomaattinen järjestelmä. -uusi tieto voidaan perustella edellisten tietojen avulla, tätä kutsutaan todistamiseksi
-Matematiikka on aksiomaattinen järjestelmä -uusi tieto voidaan perustella edellisten tietojen avulla, tätä kutsutaan todistamiseksi -mustavalkoinen: asia joko on tai ei (vrt. humanistiset tieteet, ei
LisätiedotKieli merkitys ja logiikka
Luento 7 Kieli merkitys ja logiikka Kompositionaalisuus Predikaattilogiikka Käsitteellis-intentionaaliset järjestelmät Luento 7: Merkitys ja logiikka Lause ja propositio Propositiot ja kompositionaalisuus
LisätiedotLAUSELOGIIKKA (1) Sanalliset ilmaisut ovat usein epätarkkoja. On ilmaisuja, joista voidaan sanoa, että ne ovat tosia tai epätosia, mutta eivät molempia. Ilmaisuja, joihin voidaan liittää totuusarvoja (tosi,
LisätiedotLOGIIKKA johdantoa
LOGIIKKA johdantoa LUKUTEORIA JA TO- DISTAMINEN, MAA11 Logiikan tehtävä: Logiikka tutkii ajattelun ja päättelyn sääntöjä ja muodollisten päättelyiden oikeellisuutta, ja pyrkii erottamaan oikeat päättelyt
LisätiedotPredikaattilogiikkaa
Predikaattilogiikkaa UKUTEORIA JA TO- DISTAMINEN, MAA11 Kertausta ogiikan tehtävä: ogiikka tutkii ajattelun ja päättelyn sääntöjä ja muodollisten päättelyiden oikeellisuutta, ja pyrkii erottamaan oikeat
LisätiedotTIEA241 Automaatit ja kieliopit, syksy Antti-Juhani Kaijanaho. 8. syyskuuta 2016
TIEA241 Automaatit ja kieliopit, syksy 2016 Antti-Juhani Kaijanaho TIETOTEKNIIKAN LAITOS 8. syyskuuta 2016 Sisällys a https://tim.jyu.fi/view/kurssit/tie/ tiea241/2016/videoiden%20hakemisto Matemaattisen
LisätiedotLoogiset konnektiivit
Loogiset konnektiivit Tavallisimmat loogiset konnektiivit ovat negaatio ei konjunktio ja disjunktio tai implikaatio jos..., niin... ekvivalenssi... jos ja vain jos... Sulkeita ( ) käytetään selkeyden vuoksi
LisätiedotMikä on tieteenfilosofinen positioni ja miten se vaikuttaa tutkimukseeni?
Mikä on tieteenfilosofinen positioni ja miten se vaikuttaa tutkimukseeni? Jyväskylä 31.5.2017 Petteri Niemi Relativismi ja Sosiaalinen konstruktivismi Relativismi (Swoyer 2010) Relativismi on näkemysten
LisätiedotPropositiot: Propositiot ovat väitelauseita. Totuusfunktiot antavat niille totuusarvon T tai E.
Propositiot: Propositiot ovat väitelauseita. Totuusfunktiot antavat niille totuusarvon T tai E. Perusaksioomat: Laki 1: Kukin totuusfunktio antaa kullekin propositiolle totuusarvoksi joko toden T tai epätoden
LisätiedotInsinöörimatematiikka A
Insinöörimatematiikka A Mika Hirvensalo mikhirve@utu.fi Matematiikan ja tilastotieteen laitos Turun yliopisto 2018 Mika Hirvensalo mikhirve@utu.fi Luentoruudut 3 1 of 23 Kertausta Määritelmä Predikaattilogiikan
LisätiedotTieteenfilosofia 2/4. Heikki J. Koskinen, FT, Dos. Helsingin yliopisto / Suomen Akatemia
Tieteenfilosofia 2/4 Heikki J. Koskinen, FT, Dos. Helsingin yliopisto / Suomen Akatemia 1 Viisauden sanoja Aristoteleelta Aristoteles (De int. 1.): Ääneen puhutut sanat ovat sielullisten vaikutusten symboleja
LisätiedotLogiikka 1/5 Sisältö ESITIEDOT:
Logiikka 1/5 Sisältö Formaali logiikka Luonnollinen logiikka muodostaa perustan arkielämän päättelyille. Sen käyttö on intuitiivista ja usein tiedostamatonta. Mikäli logiikka halutaan täsmällistää esimerkiksi
Lisätiedot811120P Diskreetit rakenteet
811120P Diskreetit rakenteet 2016-2017 3. Logiikka 3.1 Logiikka tietojenkäsittelyssä Pyritään formalisoimaan terveeseen järkeen perustuva päättely Sovelletaan monella alueella tietojenkäsittelyssä, esim.
LisätiedotTodistusmenetelmiä Miksi pitää todistaa?
Todistusmenetelmiä Miksi pitää todistaa? LUKUTEORIA JA TO- DISTAMINEN, MAA11 Todistus on looginen päättelyketju, jossa oletuksista, määritelmistä, aksioomeista sekä aiemmin todistetuista tuloksista lähtien
LisätiedotTieteenfilosofia 3/4. Heikki J. Koskinen, FT, Dos. Helsingin yliopisto / Suomen Akatemia
Tieteenfilosofia 3/4 Heikki J. Koskinen, FT, Dos. Helsingin yliopisto / Suomen Akatemia 1 Keskeisiä peruskäsitteitä Päättely on sellaista ajattelutoimintaa, joka etenee premisseistä eli oletuksista johtopäätökseen
Lisätiedot13. Loogiset operaatiot 13.1
13. Loogiset operaatiot 13.1 Sisällys Loogiset operaatiot AND, OR, XOR ja NOT. Operaatioiden ehdollisuus. Bittioperaatiot. Loogiset operaatiot ohjausrakenteissa. Loogiset operaatiot ja laskentajärjestys.
LisätiedotNimitys Symboli Merkitys Negaatio ei Konjuktio ja Disjunktio tai Implikaatio jos..., niin... Ekvivalenssi... jos ja vain jos...
2 Logiikkaa Tässä luvussa tutustutaan joihinkin logiikan käsitteisiin ja merkintöihin. Lisätietoja ja tarkennuksia löytyy esimerkiksi Jouko Väänäsen kirjasta Logiikka I 2.1 Loogiset konnektiivit Väitelauseen
Lisätiedotb) Määritä myös seuraavat joukot ja anna kussakin tapauksessa lyhyt sanallinen perustelu.
Johdatus yliopistomatematiikkaan Helsingin yliopisto, matematiikan ja tilastotieteen laitos Kurssikoe 23.10.2017 Ohjeita: Vastaa kaikkiin tehtäviin. Ratkaisut voi kirjoittaa samalle konseptiarkille, jos
LisätiedotKieli merkitys ja logiikka. 2: Helpot ja monimutkaiset. Luento 2. Monimutkaiset ongelmat. Monimutkaiset ongelmat
Luento 2. Kieli merkitys ja logiikka 2: Helpot ja monimutkaiset Helpot ja monimutkaiset ongelmat Tehtävä: etsi säkillinen rahaa talosta, jossa on monta huonetta. Ratkaisu: täydellinen haku käy huoneet
LisätiedotKieli merkitys ja logiikka
Luento 9 Kieli merkitys ja logiikka Luento 9: Merkitys ja logiikka, kertaus Luku 10 loppuun (ei kausatiiveja) Ekstensio, intensio ja käsitteet Primitiivisten ilmaisujen merkitys Käsitteellis-intentionaaliset
LisätiedotPredikaattilogiikan malli-teoreettinen semantiikka
Predikaattilogiikan malli-teoreettinen semantiikka February 4, 2013 Muistamme, että predikaattilogiikassa aakkosto L koostuu yksilövakioista c 0, c 1, c 2,... ja predikaattisymboleista P, R,... jne. Ekstensionaalisia
LisätiedotLogiikan kertausta. TIE303 Formaalit menetelmät, kevät Antti-Juhani Kaijanaho. Jyväskylän yliopisto Tietotekniikan laitos.
TIE303 Formaalit menetelmät, kevät 2005 Logiikan kertausta Antti-Juhani Kaijanaho antkaij@mit.jyu.fi Jyväskylän yliopisto Tietotekniikan laitos TIE303 Formaalit mentetelmät, 2005-01-27 p. 1/17 Luento2Luentomoniste
LisätiedotTodistusteoriaa. Kun kielen syntaksi on tarkasti määritelty, voidaan myös määritellä täsmällisesti, mitä pätevällä päättelyllä tarkoitetaan.
Todistusteoriaa Kun kielen syntaksi on tarkasti määritelty, voidaan myös määritellä täsmällisesti, mitä pätevällä päättelyllä tarkoitetaan. Todistusteoriassa annetaan joukko aksioomia ja päättely- sääntöjä,
LisätiedotKielellisten merkitysten tilastollinen ja psykologinen luonne: Kognitiivisia ja filosofisia näkökulmia. Timo Honkela.
Kielellisten merkitysten tilastollinen ja psykologinen luonne: Kognitiivisia ja filosofisia näkökulmia Timo Honkela timo.honkela@helsinki.fi Helsingin yliopisto 29.3.2017 Merkityksen teoriasta Minkälaisista
LisätiedotIlpo Halonen 2005. 1.3 Päätelmistä ja niiden pätevyydestä. Luonnehdintoja logiikasta 1. Johdatus logiikkaan. Luonnehdintoja logiikasta 2
uonnehdintoja logiikasta 1 Johdatus logiikkaan Ilpo Halonen Syksy 2005 ilpo.halonen@helsinki.fi Filosofian laitos Humanistinen tiedekunta "ogiikka on itse asiassa tiede, johon sisältyy runsaasti mielenkiintoisia
LisätiedotEero Hyvönen. Semanttinen web. Linkitetyn avoimen datan käsikirja
Eero Hyvönen Semanttinen web Linkitetyn avoimen datan käsikirja WSOY:n kirjallisuussäätiö on tukenut teoksen kirjoittamista Copyright 2018 Eero Hyvönen & Gaudeamus Gaudeamus Oy www.gaudeamus.fi Kansi:
LisätiedotPerinnöllinen informaatio ja geneettinen koodi.
Tehtävä A1 Kirjoita essee aiheesta: Perinnöllinen informaatio ja geneettinen koodi. Vastaa esseemuotoisesti, älä käytä ranskalaisia viivoja. Piirroksia voi käyttää. Vastauksessa luetaan ansioksi selkeä
LisätiedotThe OWL-S are not what they seem
The OWL-S are not what they seem...vai ovatko? Verkkopalveluiden koostamisen ontologia OWL-S Seminaariesitelmä 15.4.2013 Emilia Hjelm Internet on hankala Nykyinternet on dokumenttien verkko Asiat, joita
LisätiedotJohdatus rakenteisiin dokumentteihin
-RKGDWXVUDNHQWHLVLLQGRNXPHQWWHLKLQ 5DNHQWHLQHQGRNXPHQWWL= rakenteellinen dokumentti dokumentti, jossa erotetaan toisistaan dokumentin 1)VLVlOW, 2) UDNHQQHja 3) XONRDVX(tai esitystapa) jotakin systemaattista
LisätiedotT Syksy 2004 Logiikka tietotekniikassa: perusteet Laskuharjoitus 2 (opetusmoniste, lauselogiikka )
T-79.144 Syksy 2004 Logiikka tietotekniikassa: perusteet Laskuharjoitus 2 opetusmoniste, lauselogiikka 2.1-3.5) 21 24.9.2004 1. Määrittele lauselogiikan konnektiivit a) aina epätoden lauseen ja implikaation
LisätiedotKäyttöliittymä. Ihmisen ja tuotteen välinen rajapinta. ei rajoitu pelkästään tietokoneisiin
Käyttöliittymä Ihmisen ja tuotteen välinen rajapinta ei rajoitu pelkästään tietokoneisiin Tasot: 1. Teknis-fysiologis-ergonimen 2. Käsitteellis-havainnoillinen 3. Toiminnallis-kontekstuaalinen, käyttötilanne
LisätiedotLogiikka I. Kaarlo Reipas 17. huhtikuuta 2012 Ψ. Tämä materiaali on vielä keskeneräinen. 1 Johdanto Mitä logiikka on?... 3
Φ Logiikka I Kaarlo Reipas 17. huhtikuuta 2012 Ψ Tämä materiaali on vielä keskeneräinen. Sisältö 1 Johdanto 3 1.1 Mitä logiikka on?.............................. 3 2 ropositiologiikka 4 2.1 Lauseet...................................
LisätiedotTIETOINEN HAVAINTO, TIETOINEN HAVAINNOINTI JA TULKINTA SEKÄ HAVAINNOLLISTAMINEN
TIETOINEN HAVAINTO, TIETOINEN HAVAINNOINTI JA TULKINTA SEKÄ HAVAINNOLLISTAMINEN Hanna Vilkka Mikä on havainto? - merkki (sana, lause, ajatus, ominaisuus, toiminta, teko, suhde) + sen merkitys (huom. myös
LisätiedotMS-A0401 Diskreetin matematiikan perusteet Yhteenveto, osa I
MS-A0401 Diskreetin matematiikan perusteet Yhteenveto, osa I G. Gripenberg Aalto-yliopisto 30. syyskuuta 2015 G. Gripenberg (Aalto-yliopisto) MS-A0401 Diskreetin matematiikan perusteet Yhteenveto, 30.
LisätiedotLuento 12: XML ja metatieto
Luento 12: XML ja metatieto AS-0.110 XML-kuvauskielten perusteet Janne Kalliola XML ja metatieto Metatieto rakenne sanasto Resource Description Framework graafikuvaus XML Semanttinen Web agentit 2 1 Metatieto
LisätiedotInsinöörimatematiikka IA
Isiöörimatematiikka IA Harjoitustehtäviä. Selvitä oko propositio ( p q r ( p q r kotradiktio. Ratkaisu: Kirjoitetaa totuustaulukko: p q r ( p q r p q r ( p q r ( p q r 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
LisätiedotKieli merkitys ja logiikka. 4: Luovuus, assosiationismi. Luovuus ja assosiationismi. Kielen luovuus. Descartes ja dualismi
Luovuus ja assosiationismi Kieli merkitys ja logiikka 4: Luovuus, assosiationismi Käsittelemme ensin assosiationismin kokonaan, sen jälkeen siirrymme kombinatoriseen luovuuteen ja konstituenttimalleihin
LisätiedotFORMAALI SYSTEEMI (in Nutshell): aakkosto: alkeismerkkien joukko kieliopin määräämä syntaksi: sallittujen merkkijonojen rakenne, formaali kuvaus
FORMAALI SYSTEEMI (in Nutshell): Formaali kieli: aakkosto: alkeismerkkien joukko kieliopin määräämä syntaksi: sallittujen merkkijonojen rakenne, formaali kuvaus esim. SSM:n tai EBNF:n avulla Semantiikka:
Lisätiedot815338A Ohjelmointikielten periaatteet
815338A Ohjelmointikielten periaatteet 2015-2016 VII Logiikkaohjelmointi Sisältö 1. Johdanto 2. Predikaattilogiikan käsitteistöä 3. Prolog 815338A Ohjelmointikielten periaatteet, Logiikkaohjelmointi 2
LisätiedotT Syksy 2005 Logiikka tietotekniikassa: perusteet Laskuharjoitus 8 (opetusmoniste, kappaleet )
T-79.144 Syksy 2005 Logiikka tietotekniikassa: perusteet Laskuharjoitus 8 (opetusmoniste, kappaleet 2.3-3.4) 2 5.11.2005 1. Olkoon R kaksipaikkainen predikaattisymboli, jonka tulkintana on relaatio R A
LisätiedotLisää kvanttoreista ja päättelyä sekä predikaattilogiikan totuustaulukot 1. Negaation siirto kvanttorin ohi
Lisää kvanttoreista ja päättelyä sekä predikaattilogiikan totuustaulukot 1. Negaation siirto kvanttorin ohi LUKUTEORIA JA TODISTAMINEN, MAA11 Esimerkki a) Lauseen Kaikki johtajat ovat miehiä negaatio ei
Lisätiedot3. Predikaattilogiikka
3. Predikaattilogiikka Muuttuja mukana lauseessa. Ei yksikäsitteistä totuusarvoa. Muuttujan kiinnittäminen määrän ilmaisulla voi antaa yksikäsitteisen totuusarvon. Esimerkki. Lauseella x 3 8 = 0 ei ole
LisätiedotDiskreetin matematiikan perusteet Malliratkaisut 2 / vko 38
Diskreetin matematiikan perusteet Malliratkaisut 2 / vko 38 Tuntitehtävät 11-12 lasketaan alkuviikon harjoituksissa ja tuntitehtävät 15-16 loppuviikon harjoituksissa. Kotitehtävät 13-14 tarkastetaan loppuviikon
LisätiedotKieli merkitys ja logiikka
Kielentutkimuksen eri osa-alueet Kieli merkitys ja logiikka Luento 3 Fonetiikka äänteiden (fysikaalinen) tutkimus Fonologia kielen äännejärjestelmän tutkimus Morfologia sananmuodostus, sanojen rakenne,
LisätiedotTutkimuksen logiikka ja strategiset valinnat
Tutkimuksen logiikka ja strategiset valinnat Päättelyn logiikat Tieteenfilosofian keskeinen käsite on päättely. On kolme erilaista päättelyn lajia: deduktiivinen päättely induktiivinen päättely abduktiivinen
LisätiedotJorma Joutsenlahti / 2008
Jorma Joutsenlahti opettajankoulutuslaitos, Hämeenlinna Latinan communicare tehdä yleiseksi, jakaa Käsitteiden merkitysten rakentaminen ei ole luokassa kunkin oppilaan yksityinen oma prosessi, vaan luokan
Lisätiedot1. Logiikan ja joukko-opin alkeet
1. Logiikan ja joukko-opin alkeet 1.1. Logiikkaa 1. Osoita totuusarvotauluja käyttäen, että implikaatio p q voidaan kirjoittaa muotoon p q, ts. että propositio (p q) ( p q) on identtisesti tosi. 2. Todista
LisätiedotTietoteoria. Tiedon käsite ja logiikan perusteita. Monday, January 12, 15
Tietoteoria Tiedon käsite ja logiikan perusteita Tietoteoria etsii vastauksia kysymyksiin Mitä tieto on? Miten tietoa hankitaan? Mitä on totuus? Minkälaiseen tietoon voi luottaa? Mitä voi tietää? Tieto?
Lisätiedot5/20: Algoritmirakenteita III
Ohjelmointi 1 / syksy 2007 5/20: Algoritmirakenteita III Paavo Nieminen nieminen@jyu.fi Tietotekniikan laitos Informaatioteknologian tiedekunta Jyväskylän yliopisto Ohjelmointi 1 / syksy 2007 p.1/17 Tämän
Lisätiedot1 Logiikkaa. 1.1 Logiikan symbolit
1 Logiikkaa Tieteessä ja jokapäiväisessä elämässä joudutaan tekemään päätelmiä. Logiikassa tutkimuskohteena on juuri päättelyt. Sen sijaan päätelmien sisältöön ei niinkäään kiinnitetä huomiota. Päätelmät
LisätiedotMatematiikan perusteista logiikkaa ja joukko-oppia LaMa 1U syksyllä 2010
Ensimmäisen viikon luennot Matematiikan perusteista logiikkaa ja joukko-oppia LaMa 1U syksyllä 2010 Perustuu osittain kirjan Poole: Linear Algebra lukuihin Appendix A ja Appendix B ja Trench in verkkokirjaan,
LisätiedotFILOSOFIAN KUOHUVAT VUODET KATSAUS 1900-LUVUN ALUN FILOSOFIAAN SIRKKU IKONEN
FILOSOFIAN KUOHUVAT VUODET KATSAUS 1900-LUVUN ALUN FILOSOFIAAN SIRKKU IKONEN 27.10. Miten tietoisuus rakentuu? Husserlin fenomenologiaa 3.11. Elämänfilosofian nousu ja tuho 10.11. Mitä on inhimillinen
LisätiedotFakta- ja näytenäkökulmat. Pertti Alasuutari Tampereen yliopisto
Fakta- ja näytenäkökulmat Pertti Alasuutari Tampereen yliopisto Mikä on faktanäkökulma? sosiaalitutkimuksen historia: väestötilastot, kuolleisuus- ja syntyvyystaulut. Myöhemmin kysyttiin ihmisiltä tietoa
Lisätiedot13. Loogiset operaatiot 13.1
13. Loogiset operaatiot 13.1 Sisällys Loogiset operaatiot AND, OR, XOR ja NOT. Operaatioiden ehdollisuus. Bittioperaatiot. Loogiset operaatiot ohjausrakenteissa. Loogiset operaatiot ja laskentajärjestys.
LisätiedotKieli merkitys ja logiikka
Luento 10 Kieli merkitys ja logiikka Predikaattilogiikka Kielen oppimisen ongelma Ärsykkeen heikkous Luento 10: Kielen oppimisen ongelma Merge Merge Kombinatorinen luovuus: symboleita yhdistelemällä voidaan
LisätiedotOpintomoniste logiikan ja joukko-opin perusteista
TAMPEREEN YLIOPISTO Pro gradu -tutkielma Kari Lammi Opintomoniste logiikan ja joukko-opin perusteista Luonnontieteiden tiedekunta Matematiikka Toukokuu 2018 2 Tampereen yliopisto Luonnontieteiden tiedekunta
LisätiedotRatkaisu. Ensimmäinen kuten P Q, toinen kuten P Q. Kolmas kuten P (Q R):
Diskreetti matematiikka, sks 2010 Harjoitus 2, ratkaisuista 1. Seuraavassa on kuvattu kolme virtapiiriä, joissa on paristo, sopiva lamppu L ja katkaisimia P, Q, R, joiden läpi virta kulkee (1) tai ei kulje
LisätiedotLOGIIKKA, TIETÄMYS JA PÄÄTTELY
36 LOGIIKKA, TIETÄMYS JA PÄÄTTELY Ryhdymme nyt tarkastelemaan tietämyskannan (knowledge base, KB omaavia agentteja KB:n avulla agentti pyrkii pitämään yllä tietoa vain osittain havainnoimastaan maailmasta
LisätiedotIlpo Halonen 2005 LISÄÄ KIRJALLISUUTTA. 5. Logiikan rooli argumentaatiossa LISÄÄ KIRJALLISUUTTA LISÄÄ KIRJALLISUUTTA. Mitä logiikka on?
5. Logiikan rooli argumentaatiossa KIRJALLISUUTTA: Allwood Jens, Lars-Gunnar Andersson, Östen Dahl 1980, Logiikka ja kieli, Gaudeamus, Helsinki. Haaparanta Leila 1995, "Modernin logiikan synty", teoksessa
LisätiedotMatematiikan tukikurssi, kurssikerta 2
Matematiikan tukikurssi kurssikerta 1 Relaatioista Oletetaan kaksi alkiota a ja b. Näistä kumpikin kuuluu johonkin tiettyyn joukkoon mahdollisesti ne kuuluvat eri joukkoihin; merkitään a A ja b B. Voidaan
Lisätiedoton rekursiivisesti numeroituva, mutta ei rekursiivinen.
6.5 Turingin koneiden pysähtymisongelma Lause 6.9 Kieli H = { M pysähtyy syötteellä w} on rekursiivisesti numeroituva, mutta ei rekursiivinen. Todistus. Todetaan ensin, että kieli H on rekursiivisesti
LisätiedotHY / Matematiikan ja tilastotieteen laitos Johdatus logiikkaan I, syksy 2018 Harjoitus 5 Ratkaisuehdotukset
HY / Matematiikan ja tilastotieteen laitos Johdatus logiikkaan I, syksy 2018 Harjoitus 5 Ratkaisuehdotukset 1. Päättele resoluutiolla seuraavista klausuulijoukoista: (a) {{p 0 }, {p 1 }, { p 0, p 2 },
LisätiedotOngelma(t): Voiko älykkyyden määritellä ja voiko sitä mitata, myös objektiivisesti? Onko älykkyyttä ilman (näkyvää) toimintaa? Voiko kone olla älykäs
Ongelma(t): Voiko älykkyyden määritellä ja voiko sitä mitata, myös objektiivisesti? Onko älykkyyttä ilman (näkyvää) toimintaa? Voiko kone olla älykäs ja jos voi, niin tulisiko sellainen rakentaa? 2012-2013
LisätiedotTietämisestä ja uskomisesta
Tietämisestä ja uskomisesta MS-E2142 Optimointiopin seminaari: Peliteoria ja tekoäly 23112016 Kasper Apajalahti Sisältö Johdanto Tietämys Arvoitus: mutaiset lapset Partitiomalli (partition model) Mutaiset
LisätiedotT kevät 2007 Laskennallisen logiikan jatkokurssi Laskuharjoitus 1 Ratkaisut
T-79.5101 kevät 2007 Laskennallisen logiikan jatkokurssi Laskuharjoitus 1 Ratkaisut 1. Jokaiselle toteutuvalle lauselogiikan lauseelle voidaan etsiä malli taulumenetelmällä merkitsemällä lause taulun juureen
LisätiedotMika Hirvensalo. Insinöörimatematiikka A 2014
Mika Hirvensalo Insinöörimatematiikka A 014 Sisältö 1 Johdanto.................................................................... 5 1.1 Matematiikasta ja sen opiskelusta...........................................
LisätiedotRatkaisu: Käytetään induktiota propositiolauseen A rakenteen suhteen. Alkuaskel. A = p i jollain i N. Koska v(p i ) = 1 kaikilla i N, saadaan
HY / Matematiikan ja tilastotieteen laitos Johdatus logiikkaan I, syksy 2018 Harjoitus 2 Ratkaisuehdotukset 1. Olkoon totuusjakauma v sellainen että v(p i ) = 1 kaikilla i N ja A propositiolause, jossa
LisätiedotT Logiikka tietotekniikassa: perusteet Kevät 2008 Laskuharjoitus 5 (lauselogiikka ) A ( B C) A B C.
T-79.3001 Logiikka tietotekniikassa: perusteet Kevät 2008 Laskuharjoitus 5 (lauselogiikka 6.1 7.2) 27. 29.2.2008 Ratkaisuja demotehtäviin Tehtävä 6.1 a) A (B C) Poistetaan lauseesta ensin implikaatiot.
LisätiedotTAMPEREEN YLIOPISTO Pro gradu -tutkielma. Roosa Niemi. Riippuvuuslogiikkaa
TAMPEREEN YLIOPISTO Pro gradu -tutkielma Roosa Niemi Riippuvuuslogiikkaa Informaatiotieteiden yksikkö Matematiikka Syyskuu 2011 Tampereen yliopisto Informaatiotieteiden yksikkö ROOSA NIEMI: Riippuvuuslogiikkaa
LisätiedotDiskreetit rakenteet. 3. Logiikka. Oulun yliopisto Tietojenkäsittelytieteiden laitos 2015 / 2016 Periodi 1
811120P 3. 5 op Oulun yliopisto Tietojenkäsittelytieteiden laitos 2015 / 2016 Periodi 1 ja laskenta tarkastelemme terveeseen järkeen perustuvaa päättelyä formaalina järjestelmänä logiikkaa sovelletaan
LisätiedotHAVAINTO LÄhde: Vilkka 2006, Tutki ja havainnoi. Helsinki: Tammi.
HAVAINTO LÄhde: Vilkka 2006, Tutki ja havainnoi. Helsinki: Tammi. 1 MIKÄ ON HAVAINTO? Merkki (sana, lause, ajatus, ominaisuus, toiminta, teko, suhde) + sen merkitys (huom. myös kvantitatiivisessa, vrt.
LisätiedotArgumenteista ja niiden arvioinnista TIES542 Ohjelmointikielten periaatteet, kevät 2016
Argumenteista ja niiden arvioinnista TIES542 Ohjelmointikielten periaatteet, kevät 2016 Antti-Juhani Kaijanaho 14. tammikuuta 2016 1 Argumentin käsite Tässä monisteessa argumentti on kielellinen viesti,
LisätiedotYhtälönratkaisusta. Johanna Rämö, Helsingin yliopisto. 22. syyskuuta 2014
Yhtälönratkaisusta Johanna Rämö, Helsingin yliopisto 22. syyskuuta 2014 Yhtälönratkaisu on koulusta tuttua, mutta usein sitä tehdään mekaanisesti sen kummempia ajattelematta. Jotta pystytään ratkaisemaan
LisätiedotVaihtoehtoinen tapa määritellä funktioita f : N R on
Rekursio Funktio f : N R määritellään yleensä antamalla lauseke funktion arvolle f (n). Vaihtoehtoinen tapa määritellä funktioita f : N R on käyttää rekursiota: 1 (Alkuarvot) Ilmoitetaan funktion arvot
LisätiedotRekursio. Funktio f : N R määritellään yleensä antamalla lauseke funktion arvolle f (n). Vaihtoehtoinen tapa määritellä funktioita f : N R on
Rekursio Funktio f : N R määritellään yleensä antamalla lauseke funktion arvolle f (n). Vaihtoehtoinen tapa määritellä funktioita f : N R on käyttää rekursiota: Rekursio Funktio f : N R määritellään yleensä
LisätiedotJohdatus logiikkaan (Fte170)
Johdatus logiikkaan (Fte170) Teoreettinen filosofia, 5 op, periodit I ja II, 2010 Markus Pantsar 1. Johdanto 1.1 Filosofinen logiikka Logiikkaa tutkitaan pääasiallisesti kolmen tieteen piirissä: filosofian,
LisätiedotTieteenfilosofia 4/4. Heikki J. Koskinen, FT, Dos. Helsingin yliopisto / Suomen Akatemia
Tieteenfilosofia 4/4 Heikki J. Koskinen, FT, Dos. Helsingin yliopisto / Suomen Akatemia 1 Tieteellinen selittäminen Tieteellisen tutkimuksen perustehtävä on maailmaa koskevan uuden ja totuudenmukaisen
Lisätiedot8. Kieliopit ja kielet
8. Kieliopit ja kielet Suomen kielen sanoja voidaan yhdistellä monella eri tavalla. Kielioppi määrää sen, milloin sanojen yhdistely antaa oikein muodostetun lauseen. "Mies räpyttää siipiään" on kieliopillisesti
LisätiedotLauselogiikka Tautologia
Lauselogiikka Tautologia Hannu Lehto Tautologia Annetuista lauseista loogisilla konnektiiveillä saatu yhdistetty lause on on tautologia(pätevä), jos se on aina tosi siis riippumatta annettujen lauseiden
Lisätiedot811120P Diskreetit rakenteet
811120P Diskreetit rakenteet 2016-2017 4. Joukot, relaatiot ja funktiot Osa 3: Funktiot 4.3 Funktiot Olkoot A ja B joukkoja. Funktio joukosta A joukkoon B on sääntö, joka liittää yksikäsitteisesti määrätyn
LisätiedotDFA:n käyttäytyminen ja säännölliset kielet
säännölliset kielet TIEA241 Automaatit ja kieliopit, syksy 2015 Antti-Juhani Kaijanaho TIETOTEKNIIKAN LAITOS 9. marraskuuta 2015 Sisällys toiminta formaalisti Olkoon M = (Q, Σ, δ, q 0, F) deterministinen
LisätiedotTietorakenteet, laskuharjoitus 1,
Tietorakenteet, laskuharjoitus 1, 19.-22.1 Huom: laskarit alkavat jo ensimmäisellä luentoviikolla 1. Taustaa http://wiki.helsinki.fi/display/mathstatkurssit/matukurssisivu Halutaan todistaa, että oletuksesta
LisätiedotLuonnollisen päättelyn luotettavuus
Luonnollisen päättelyn luotettavuus Luotettavuuden todistamiseksi määrittelemme täsmällisesti, milloin merkkijono on deduktio. Tässä ei ole sisällytetty päättelysääntöihin iteraatiosääntöä, koska sitä
LisätiedotTietojenkäsittelyteorian alkeet, osa 2
TIEA241 Automaatit ja kieliopit, syksy 2016 Antti-Juhani Kaijanaho TIETOTEKNIIKAN LAITOS 12. syyskuuta 2016 Sisällys vs Ovat eri asioita! Älä sekoita niitä. Funktiot Funktio f luokasta A luokkaan B, merkitään
LisätiedotItseorganisoituvat hermoverkot: Viitekehys mielen ja kielen, aivokuoren ja käsitteiden tarkasteluun
Itseorganisoituvat hermoverkot: Viitekehys mielen ja kielen, aivokuoren ja käsitteiden tarkasteluun Timo Honkela Kognitiivisten järjestelmien tutkimusryhmä Adaptiivisen informatiikan tutkimuskeskus Tietojenkäsittelytieteen
LisätiedotEi-yhteydettömät kielet [Sipser luku 2.3]
Ei-yhteydettömät kielet [Sipser luku 2.3] Yhteydettömille kielille pätee samantapainen pumppauslemma kuin säännöllisille kielille. Siinä kuitenkin pumpataan kahta osamerkkijonoa samaan tahtiin. Lause 2.25
LisätiedotLOGIIKAN PERUSKURSSI. Veikko Rantala Ari Virtanen
LOGIIKAN PERUSKURSSI Veikko Rantala Ari Virtanen Matematiikan, tilastotieteen ja filosofian laitos Tampereen yliopisto Kokeilumoniste, elokuu 2003 ESIPUHE Tämä kokeilumoniste perustuu Tampereen yliopistossa
Lisätiedot8. Kieliopit ja kielet 1 / 22
8. Kieliopit ja kielet 1 / 22 Luonnollinen kieli Suomen kielen sanoja voidaan yhdistellä monella eri tavalla. Kielioppi määrää sen, milloin sanojen yhdistely antaa oikein muodostetun lauseen. "Mies räpyttää
LisätiedotMatematiikan tukikurssi
Matematiikan tukikurssi Kurssikerta 1 Määrittelyjoukoista Tarkastellaan funktiota, jonka määrittelevä yhtälö on f(x) = x. Jos funktion lähtöjoukoksi määrittelee vaikkapa suljetun välin [0, 1], on funktio
LisätiedotRakenteiset päättelyketjut ja avoin lähdekoodi
Rakenteiset päättelyketjut ja avoin lähdekoodi Mia Peltomäki Kupittaan lukio ja Turun yliopiston IT-laitos http://crest.abo.fi /Imped Virtuaalikoulupäivät 24. marraskuuta 2009 1 Taustaa Todistukset muodostavat
LisätiedotT Kevät 2006 Logiikka tietotekniikassa: perusteet Laskuharjoitus 8 (opetusmoniste, kappaleet )
T-79.3001 Kevät 2006 Logiikka tietotekniikassa: perusteet Laskuharjoitus 8 (opetusmoniste, kappaleet 2.3 3.4) 21. 24.3.2006 1. Olkoon R kaksipaikkainen predikaattisymboli, jonka tulkintana on relaatio
LisätiedotModus Ponens. JosAjaA B ovat tosia, niin välttämättä myösb on tosi 1 / 15. Modus Ponens. Ketjusääntö. Päättelyketju.
JosAjaA B ovat tosia, niin välttämättä myösb on tosi 1 / 15 JosAjaA B ovat tosia, niin välttämättä myösb on tosi (A (A B)) B on tautologia eli (A (A B)) B. 1 / 15 JosAjaA B ovat tosia, niin välttämättä
LisätiedotJava-kielen perusteita
Java-kielen perusteita valintalauseet 1 Johdantoa kontrollirakenteisiin Tähän saakka ohjelmissa on ollut vain peräkkäisyyttä eli lauseet on suoritettu peräkkäin yksi kerrallaan Tarvitsemme myös valintaa
Lisätiedot