Tekoäly (58066-7) syyslukukaudella 2005

6.9.-13.10. ja 1.11.-8.12. TI 12-14, TO 10-12 CK112

Kurssi antaa perustiedot tekoälyn (Artificial Intelligence, AI) keskeisistä ongelmista ja ratkaisumenetelmistä erityisesti perinteisen tekoälyn ("Good Old-Fashioned AI" eli GOFAI) näkökulmasta, jossa korostetaan symbolista tiedon esitystä ja käsittelyä erotuksena neuraaliverkkoihin ja muuhun numeeriseen laskentaan perustuvista alisymbolisista tekniikoista. Käsiteltäviä aihepiirejä ovat esimerkiksi etsintäalgoritmit peleissä ja muussa ongelmanratkaisussa, loogispohjainen tiedon esittäminen ja päättely, suunnitelmien laatiminen ja päättely epävarman tietämyksen perusteella.

1. Asema opetuksessa

Tietojenkäsittelytieteen syventäviin opintoihin kuuluva neljän opintoviikon tai kahdeksan opintopisteen laajuinen opintojakso. Älykkäiden järjestelmien erikoistumislinjan pakollinen kurssi.

2. Esitiedot

Varsinaisina esitietoina vaaditaan opintojakso Tietorakenteet (58131-8).

Hyötyä on myös kurssin Symbolinen ohjelmointi (582305) (tai sen edeltäjän Tekoälykielet (581241-3)) sekä (matemaattisen tai filosofisen) logiikan tiedoista. Näitä ei kuitenkaan vaadita.

3. Oppimateriaali

Stuart Russell ja Peter Norvig: Artificial Intelligence: A Modern Approach. Prentice Hall, 2. painos, 2003. Kirja löytyy kirjastomme kurssikirjahyllystä, mutta se kannattaa hankkia omaksi. Kirjasta on myös olemassa vanha painos (vuodelta 1995), mutta se ei kata kaikkea kurssilla käsiteltävää asiaa.

Uutisryhmä

hy.opiskelu.tktl.ai

Luentokalvot

Kalvot perustuvat pääasiassa kurssikirjaan ja osittain myös kurssikirjan kotisivulta saataviin opetusmateriaaleihin. Lisäksi olen käyttänyt apuna Matti Nykäsen, Eero Hyvösen ja Tapio Elomaan luennoimien kurssien kalvoja. Erityiskiitos Tapio Elomaalle, jonka lähettämää LaTeX-lähdekoodia käytin kalvoissa suoraan aina kun aika oli tiukalla.

• Osa 1: Johdanto
• Osa 2: Älykkäät agentit
• Osa 3: Ongelmanratkaisu ja etsintä (päivitetty 21.9.)
• Osa 4: Informoitu etsintä (päivitetty 28.9.)
• Osa 5: Rajoiteongelmat
• Osa 6: Pelit
• Osa 7: Loogiset agentit (päivitetty 13.10.)
• Osa 8: Predikaattilogiikka
• Osa 9: Päättely predikaattilogiikassa (päivitetty 10.11.)
• Osa 10: Tietämyksen esittäminen
• Osa 11: Toimintojen suunnittelu
• Osa 12: Kehittyneitä suunnittelumenetelmiä
• Osa 13: Epävarmuus
• Osa 14: Päätöksenteko (päivitetty 8.12.)

4. Suoritus

Kurssi suoritetaan tenttimällä sen luennot ja kirjasta ilmoitettu osuus joko kahdella (2) kurssikokeella syksyn 2005 aikana tai myöhemmin yhdellä (1) erilliskokeella. Kurssikokeet pidetään seuraavasti:

1. ma 17.10. klo 16-19, sali B123. Koealue: kirjan luvut 1-7, niitä vastaavat luennot ja laskuharjoitukset 1-5.
2. to 15.12. klo 9-12, sali B123. Koealue: kirjan luvut 8-13, 14.1-14.2, 14.7, 16.1-16.3, 26, luennot 1.11.-8.12. ja harjoitukset 6-11.

Kurssin luennoi yliopistonlehtori Raul Hakli.

Kurssin laskuharjoitukset ovat vapaaehtoisia, mutta niistä saa lisäpisteitä (max. 6). Harjoitukset pitää tuntiopettaja Olaf Laczak.

Harjoitusryhmät 12.09.- 09.12.:

1. TI 14-16 BK106
2. TO 12-14 CK111
3. TO 14-16 CK111

Harjoitustehtävät ja muuta harjoituksiin liittyvää tietoa löydät harjoitustehtäväsivulta. Voit kirjautua sivulle tunnuksella TWikiGuest ja salasanalla guest (kirjaudu automaattisesti tästä) tai rekisteröidyttyäsi omalla TWiki-tunnuksellasi.

Kurssi on päättynyt ja koe korjattu. Tulokset löytyvät ilmoitustaululta ja harjoitustehtäväsivulta. Kiitokset kurssille osallistumisesta ja hyvää kevättä kaikille!

---