Loengutel kaetavad teemad

Tegemist on kavandiga, tegelikkus võib erinev välja kukkuda. Kursuse eesmärgiks ei ole võimalikult suure hulga materjali kuidagi läbivõtmine, vaid mingi hulga materjali maksimaalselt tululik läbitöötamine.

• modaalloogika elementaarteooria
  • ühemodaalsed loogikad: süntaks, relatsioonilised (ehk Kripke) semantikad, relatsioonsemantikaga loogikate aksiomatisatsioonist, naabrussemantikad, naabrussemantikaga loogikate aksiomatisatsioonist
  • mitmemodaalsed loogikad
  • dünaamiline loogika PDL
  • lineaaraja ja hargneva aja loogikad PLTL ja CTL*
• agentsuse fenomeni filosoofilisi käsitlusi
  • propositsioonid vs hoiakud
  • teadmised ja tõekspidamised
  • tegutsemine
  • kavatsuslikkus, ratsionaalsus
  • kommunikatsioon, kooperatiivsus, kõneaktide teooria
• teadmise ja tõekspidamise (knowledge and belief) loogikad
  • klassikaline, so Kripke struktuuridel (võimalikud maailmad, ligipääsetavuse seos) põhinev lähenemine: Hintikka jt
  • loogilise kõikteadvuse probleem
  • ühised ja hajutatud teadmised multiagentsüsteemis
  • "süntaktilised" lähenemised: ilmutatud teadmise loogikad
  • kombineeritud lähenemine: Fagini ja Halperni üldise teadlikkuse (general awareness) loogika
  • Montague-Scotti struktuuridel (naabrusseos) põhinev lähenemine
  • mitmesugust liiki laiendatud Kripke struktuuridel (võimatud maailmad) põhinevad lähenemised
• tegutsemise (action) loogikad
  • Browni võimete (abilities) ja tegude (actions) loogika
  • Belnap ja Perloffi hooltkandmise (seeing to it that ...) loogika
  • Pörni agentsusloogika
  • Segerbergi esilekutsumise (bringing ... about) loogika
  • Singhi reaktiivse ja strateegilise know-how loogikad
• kavatsuste (intentions) loogikad
  • Coheni ja Levesque'i ratsionaalse tegutsemise (rational action) teooria
  • Rao ja Georgeffi BDI-, so tõekspidamiste (beliefs), soovide (desires) ja kavatsuste (intentions) loogika
  • Singhi ja Asheri kavatsuste ja tõekspidamiste loogika
• kommunikatsiooni (communication) loogikad
  • Searle'i ja Vandervekeni illokutiivne loogika
  • Coheni ja Levesque'i ratsionaalse interaktsiooni teooria
  • Singhi teooria
• rakendusi
  • multiagentsüsteemide spetsifitseerimine ja verifitseerimine a la Wooldridge
  • BDI-agentide süsteemide konstrueerimine
  • Shohami agentorienteeritud programmeerimine

Tagasi kursuse pealehele