Ajakava

Loengute ja seminaride ajaline kava

Kuupäev Teemad Lugemisviited
E 5.4. Sissejuhatus kursusesse. Agentloogikad, mis nad on ja milleks. Ülevaade kursuse sisust. Ettevalmistav osa: Sissejuhatus modaalloogikasse. Mis modaalloogika on. Motiveeriv näide teadmiste loogikast. (Ühe)modaalsed loogikad: Süntaks. Relatsioonilised semantikad.
K 7.4. Relatsioonilised semantikad (jätk). Olulisemad relatsioonilise semantikaga loogikad.
R 9.4. Naabrussemantikad. Olulisemad naabrussemantikaga loogikad. Mitmemodaalsed loogikad.
E 19.4. Dünaamiline loogika. Pealiin: Agentloogikad. Teadmiste ja tõekspidamiste loogikad. Traditsiooniline lähenemine: Teadmiste ja tõekspidamiste loogikad a la Hintikka. Loogilise kõikteadvuse probleem.
K 21.4. Üldteadmised ja hajutatud teadmised. Rafineeritumaid lähenemisi: Fagini ja Halperni teadlikkuse loogika. Kõrvalliin: Filos alused ja rakendused agentpõhises arvutamises. Sloman ja McCarthy AI ja filosoofia vahekorrast (Eik). Dennetti "intentional stance" ja Newelli "knowledge level" (Ants).
R 23.4. Rafineeritumaid lähenemisi: Fagini ja Halperni lokaalse arutlemise loogika. Levesque'i ainult-tõekspidamise loogika (Duci versioon).
E 3.5. Tegutsemise loogikad. Hooltkandmine vs saavutamine konkreetse toimingu teostamise teel. Von Wrighti käsitlus esilekutsumise kohta. Chellase hooltkandmisloogika.
K 5.5. Belnapi ja Perloffi hooltkandmisloogika. Elgesemi agentsusloogika (Marko). Duci algoritmilise teadmise loogika (Kristiina).
R 7.5. Segerbergi esilekutsumisloogika. Israeli tegude loogika (Margus O).
E 10.5. Kavatsuslikkuse loogikad. Soovid vs kavatsused. Coheni ja Levesque'i ratsionaalse tegutsemise teooria. BDI-arhitektuurid (Raul).
K 12.5. Kommunikatsiooni loogikad. Coheni ja Levesque'i ratsionaalse interaktsiooni teooria. Tarkvaraagendid ja KIF/KQML (Margus F). Shohami agentorienteeritud programmeerimine ja Agent0 (Juhan).
R 14.5. McCarthy situatsiooniarvutus ja Elephant 2000 (Martin). Turgorienteeritud programmeerimine (Tõnis). Ohte agentpõhises süsteemiarenduses (Fred).

Kuupäev	Teemad	Lugemisviited
E 5.4.	Sissejuhatus kursusesse. Agentloogikad, mis nad on ja milleks. Ülevaade kursuse sisust. Ettevalmistav osa: Sissejuhatus modaalloogikasse. Mis modaalloogika on. Motiveeriv näide teadmiste loogikast. (Ühe)modaalsed loogikad: Süntaks. Relatsioonilised semantikad.
K 7.4.	Relatsioonilised semantikad (jätk). Olulisemad relatsioonilise semantikaga loogikad.
R 9.4.	Naabrussemantikad. Olulisemad naabrussemantikaga loogikad. Mitmemodaalsed loogikad.
E 19.4.	Dünaamiline loogika. Pealiin: Agentloogikad. Teadmiste ja tõekspidamiste loogikad. Traditsiooniline lähenemine: Teadmiste ja tõekspidamiste loogikad a la Hintikka. Loogilise kõikteadvuse probleem.
K 21.4.	Üldteadmised ja hajutatud teadmised. Rafineeritumaid lähenemisi: Fagini ja Halperni teadlikkuse loogika. Kõrvalliin: Filos alused ja rakendused agentpõhises arvutamises. Sloman ja McCarthy AI ja filosoofia vahekorrast (Eik). Dennetti "intentional stance" ja Newelli "knowledge level" (Ants).
R 23.4.	Rafineeritumaid lähenemisi: Fagini ja Halperni lokaalse arutlemise loogika. Levesque'i ainult-tõekspidamise loogika (Duci versioon).
E 3.5.	Tegutsemise loogikad. Hooltkandmine vs saavutamine konkreetse toimingu teostamise teel. Von Wrighti käsitlus esilekutsumise kohta. Chellase hooltkandmisloogika.
K 5.5.	Belnapi ja Perloffi hooltkandmisloogika. Elgesemi agentsusloogika (Marko). Duci algoritmilise teadmise loogika (Kristiina).
R 7.5.	Segerbergi esilekutsumisloogika. Israeli tegude loogika (Margus O).
E 10.5.	Kavatsuslikkuse loogikad. Soovid vs kavatsused. Coheni ja Levesque'i ratsionaalse tegutsemise teooria. BDI-arhitektuurid (Raul).
K 12.5.	Kommunikatsiooni loogikad. Coheni ja Levesque'i ratsionaalse interaktsiooni teooria. Tarkvaraagendid ja KIF/KQML (Margus F). Shohami agentorienteeritud programmeerimine ja Agent0 (Juhan).
R 14.5.	McCarthy situatsiooniarvutus ja Elephant 2000 (Martin). Turgorienteeritud programmeerimine (Tõnis). Ohte agentpõhises süsteemiarenduses (Fred).

Kirjanduse loetelu

...

Tagasi kursuse pealehele

Tarmo Uustalu
Viimane uuendus 17.5.1999