Programm

	Teema
I. 1.	Intellektitehnika kujunemine ja põhiküsimused. Mis on intellektitehnika ja mis on tehisintellekt?
2.	Tehisintellektisüsteemide põhiliigid ja ehitus.
3.	Tehisintellekti põhiküsimused.
4.	Mis on tehisintellekti tehnika?
5.	Probleemid ja probleemilahendus.
II. 6.	Teadmuse esitus. Teadmuse mõiste. Teadmuse esituse meetodid.
7.	Produktsiooniline teadmuse esitus.
8.	Semantilised võrgud.
9.	Freimid.
10.	Esimest järku predikaatarvutus teadmuse esitusel.
11.	Mittetäielik teadmus ja mittemonotoonsed loogikad.
12.	Hägus teadmus. Hägusad hulgad ja loogikad.
13.	Teadmuse esituse meetodite võrdlus.
III. 14.	Probleemilahendus. Probleemilahendusmeetodite liigitus.
III.A 15.	Otsing. Pime otsing puul.
16.	Pime otsing graafil.
17.	Heuristiline otsing graafil.
18.	Heuristilise otsingu algoritme.
19.	Otsing mängupuul.
III.B. 20.	Osandamine. Probleemilahendus osandamise teel.
III.C. 21.	Teoreemide automaatne tõestamine. 1. järku predikaatarvutuse valemi teisendamine disjunktide hulgaks.
22.	Resolutsioonimeetod.
23.	Teoreemide automaatne tõestamine resolutsioonimeetodil.
24.	Küsimustele vastamine kui teoreemide tõestamine.
III.D. 25.	Teisi probleemilahendusmeetodeid. Tuletused semantilises võrgus ja freimide süsteemis.
26.	Kitsenduste rahuldamine.
IV. 27.	Tehisintellekti teisi küsimusi. Suhtlus loomulikus keeles: teksti analüüs ja süntees.
28.	Kõnekommunikatsioon ja -tehnoloogia.(Einar Meister.)  Vt. ka eestikeelse kõnesünteesi tarkvara http://www.eki.ee/tarkvara/synt.html
29.	Tehisnägemine.
30.	Masinõpe.
31.	Tehisintellekti programmeerimiskeeled.
32.	Tehisintellekti riistvara.

Kirjandus
M. Koit, T. Roosmaa. Tehisintellekt. Tartu, TÜ Kirjastus, 2011. TASUTA saadaval arvutiteaduse instituudi kantseleis, Liivi 2-217.

Täiendav kirjandus
1. M. Ginsberg. Essentials of Artificial Intelligence. Morgan Kaufmann Publ., 1993.
2. E. Rich, K. Knight. Artificial Intelligence. Mc Graw Hill, 1991.
3. S. Russell, P. Norvig. Artificial Intelligence: A Modern Approach. Prentice Hall, 2010, 2003.
4. Resolutsioonimeetod. Koost. M. Koit. Tartu Ülikool, 1989.
5. T. Tamme, T. Tammet, R. Prank. Loogika: mõtlemisest tõestamiseni. Tartu, TÜ, 1997 (2002).

2012./2013. õ.-a. sügissemester

Vt ka http://www.ai-class.com/

Loengud kolmapäeval kell 16.15-18 ja reedel kell 10.15-12 Liivi 2-405.
Loengumaterjalid: http://moodle.ut.ee/

Kordamisküsimused

Hinde kujunemine
• Kontrolltöö nr. 1 reedel, 19. oktoobril (10 punkti). Teemad: tehisintellekti tehnika, teadmuse esituse meetodid, pimeotsing (kokku 5 ülesannet). Eeskujuna vt harjutusülesandeid http://moodle.ut.ee. Järeltööd (max 8 punkti) saab kirjutada eksamieelse konsultatsiooni lõpul. Arvesse läheb ainult enne eksamit sooritatud töö.
• Kontrolltöö nr. 2 reedel, 14. detsembril (15 punkti). Teemad: heuristiline otsing, minimax, teoreemide automaatne tõestamine. Kokku 5 ülesannet.
  Eeskujuna vt harjutusülesandeid loenguslaididel ja veebikonspektis. Vt ka loengumaterjalid http://moodle.ut.ee. Järeltööd (max 12 punkti) saab kirjutada eksamieelse konsultatsiooni lõpul. Arvesse läheb ainult enne eksamit sooritatud töö.

• Kodused programmeerimisülesanded (5 ülesannet kindlateks tähtaegadeks, igaüks 5 punkti).
  

• Kirjalik eksam (50 punkti).



1) N, 10.01.13 kell 9.00-12.00 L206 (konsultatsioon T, 08.01.13 kl 16.15 L403)
2) N, 17.01.13 kell 9.00-12.00 L404 (konsultatsioon T, 15.01.13 kl 16.15 L403)
3) N, 24.01.13 kell 9.00-12.00 L403 (konsultatsioon T, 22.01.13 kl 16.15 L403)
Korduseksam R, 01.02.13 kell 9.00-12.00 L403