To: Cc: Subject: Agentloogikate kursus: Osalemiskutse From: Tarmo Uustalu Date: Wed, 24 Mar 1999 17:09:09 +0100 TTÜ teoreetilise informaatika õppetool korraldab aprillis-mais, so nüüdsama kursuse agentloogikatest ja alljärgnev on kutse kuulama-osalema. Kursus tuleb 4-punktine ning on mõeldud LAS ja LAP valdkondade kraadiõppuritele, aga ka LDS ja LDP erialade vanematele diplomiõppuritele ja üldse igaühele, kel on huvi pead murda selle üle, mis agentsus on ja mida ta ei ole. Fookuses on agentsuse eri aspekte formaliseerivad teoreetiliselt tõsised ja praktiliselt tululikud loogilised süsteemid, nende alused ja rakendused, ning motiveerivaks taustaks agentpõhise arvutamise ümber toimuv häälekas tegevus. Põhirõhk kursuses on agentsuse atribuutide (tõekspidamised, teod, kavatsused, kommunikatsioon jm) adekvaatsel modelleerimisel ja modelleeriva aparatuuri potentsiaalsetel rakendustel. Aparatuuri praktilise töölerakendamisega seonduvat problemaatikat eriti ei käsitleta. Kirjandus koosneb valikust ülevaate- ja tehnilistest artiklitest (mõnedsajad lk, tasuta koopiad saab iga osaleja õppejõult esimesel loengul) ning õppejõu slaididest (tekivad kursuse käigus; vastavas taktis tekivad ka koopiad). Lisamaterjali leidmist on mõeldud hõlbustama spetsiaalne portaali tüüpi www-leht, millele on koondatud arvukalt viitu olulisematele asjakohastele www-ressurssidele. Kursuse maht on 32 tundi loenguid/seminare ning teist samapalju iseseisvat tööd. Mingeid spetsiifilisi konkreetseid eelteadmisi ei ole rangelt võttes tarvis; mõningane üldine ettekujutus loogikast ja loogikate tüüpilistest rakendustest arvutiteaduses (loogiline programmeerimine, formaalsed meetodid) on tululik, aga olulisemad on elementaarne matemaatiline ja üldine kriitilise mõtlemise kultuur. Kursus sisaldab sissejuhatuse modaalloogikasse. Eksaminatsioon koosneb suulisest referatiivsest ettekandest seminaril ja suulisest eksamist. Õppejõud on Tarmo Uustalu. Loengud/seminarid toimuvad aprillis-mais nelja nädala vältel; need on nädal 14 (5.-9.4.), nädal 16 (19.-23.4.), nädal 18 (3.-7.5.) ja nädal 19 (10.-14.5.). [Kontrollige kuupäevi! Suures osas käesoleva aasta kalendrites on nädalad nummerdatud valesti.] Aegadeks on esialgu planeeritud E 14-17, K 14-17 ja R 14-16 TTÜ peahoone auditooriumis VI-224, kuid vajadusel saab neid arvatavasti ümber teha. Alustame igal juhul *** E 5.4.1999 kl 14-17 ***. Registreerumiseks palun hiljemalt N 1.4.1999 (aga soovitavalt kohe, kui otsus tehtud) võtta ühendust Monika Perkmanniga meiliaadressil monika@cs.ioc.ee või telefonil 620 4216 ning teatada oma nimi, kontaktandmed (meiliaadress või telefoninr) ja matr nr (registreerimine on kohustuslik; hiliseid sooviavaldusi arvestatakse). Oodatud on paraja suurusega entusiastlik ja aktiivne punt. Lähemat teavet kursuse kohta (sh loenguteemad) võib lugeda kursuse kodulehelt aadressiga www.cs.ioc.ee/~tarmo/agency/. Infot võib loomulikult pärida ka õppejõult, meiliaadress on tarmo@cs.ioc.ee. Tarmo Uustalu