ΛΟΓΙΚΗ ΚΑΙ ΠΛΗΡΟΦΟΡΙΚΗ ΙΙ: ΛΟΓΙΚΗ, ΑΥΤΟΜΑΤΑ ΚΑΙ ΠΑΙΓΝΙΑ (ΗΜΜΥ, ΕΜΕ), Ειδικά Θέματα Λογικής: Δυναμική Επιστημική Λογική (ΑΛΜΑ)
Weekly outline
- General
General
Δυναμική Επιστημική Λογική
Με χρήση της Τροπικής Λογικής θα μελετήσουμε πώς αλλάζει το μοντέλο, άρα
και η γνώση, όταν υπάρχει ροή πληροφορίας σε ένα σύστημα πολλών πρακτόρων.Το μάθημα περιλαμβάνει:
1. Βασικά προαπαιτούμενα Τροπικής Λογικής: η γλώσσα της Τροπικής Λογικής και
Σημασιολογία (μοντέλα Κripke)
2. Συντακτικό και σημασιολογία της Επιστημικής Λογικής
3. Λογική των δημόσιων ανακοινώσεων (Public Announcement Logic)
4. Aναθεώρηση πεποιθήσεων (Belief Revision)
5. Επιστημικές δράσεις (Epistemic Actions)
Θα ακολουθήσουμε το βιβλίο Dynamic Epistemic Logic (Hans van Ditmarsch,
Wiebe van der Hoek, Barteld Kooi).
Προαπαιτούμενα: Τουλάχιστον ένα μάθημα Μαθηματικής Λογικής
Διδάσκοντες: Στάθης Ζάχος (zachos@cs.ntua.gr), Πέτρος Ποτίκας (ppotik@cs.ntua.gr), Γιάννης Κοκκίνης (ykokkinis@gmail.com)Βοηθοί: Αγγέλα Χαλκή (achalki@corelab.ntua.gr)
Έναρξη μαθήματος: Δευτέρα 1/3
Διαλέξεις: Κάθε Δευτέρα 13:00-15:00 και Τρίτη 19:00-21:00, εξ'αποστάσεως
(μέσω ψηφιακής πλατφόρμας)Πληροφορίες για τη σύνδεση στο μάθημα:
Meeting link Δευτέρας: https://centralntua.webex.com/centralntua/j.php?MTID=m24466a01d0583b962ad9b74ab5a9e368
Meeting number: 121 184 8240
Password: goedel@xxxx_2021 (όπου xxxx το ακρωνύμιο του ΕΜΠ στα αγγλικά, όλα με πεζά)
Meeting link Τρίτης: https://centralntua.webex.com/centralntua/j.php?MTID=m1754e6f438b54ed42a257e344bf44b57
Meeting number: 121 305 9167
Password: goedel@xxxx_2021 (όπου xxxx το ακρωνύμιο του ΕΜΠ στα αγγλικά, όλα με πεζά)
- 24 February - 2 March
- 3 March - 9 March
- 10 March - 16 March
- 17 March - 23 March
- 24 March - 30 March
- 31 March - 6 April
- 7 April - 13 April
- 14 April - 20 April
- 21 April - 27 April
21 April - 27 April
- Easter holidays!
- 28 April - 4 May
28 April - 4 May
Easter holidays!
- 5 May - 11 May
- 12 May - 18 May
- 19 May - 25 May
- 26 May - 1 June
- 2 June - 8 June