Περιγραφή εβδομάδας

• Γενικά
  

  Γενικά

  Δυναμική Επιστημική Λογική
  
  

  Με χρήση της Τροπικής Λογικής θα μελετήσουμε πώς αλλάζει το μοντέλο, άρα
  και η γνώση, όταν υπάρχει ροή πληροφορίας σε ένα σύστημα πολλών πρακτόρων. 

  Το μάθημα περιλαμβάνει:

  
  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 το ακρωνύμιο του ΕΜΠ στα αγγλικά, όλα με πεζά)

  • Ανακοινώσεις Φόρουμ
  • Schedule of Presentations Αρχείο
• 24 February - 2 March
  

  24 February - 2 March

  • 01.03.2021_Introduction_to_Modal_Logic Αρχείο
  • 02.03.2021_Semantics(Continued)_and_Validity Αρχείο
• 3 March - 9 March
  

  3 March - 9 March

  • 08.03.2021_Properties_of_Frames_and_Bisimulation Αρχείο
  • 09.03.2021_An_Axiomatic_System_for_Modal_Logic Αρχείο
• 10 March - 16 March
  

  10 March - 16 March

  • 16.03.2021_Systems_of_Modal_Logic (slides 3-25) Αρχείο
• 17 March - 23 March
  

  17 March - 23 March

  • 22.03.2021_Soundness_and_completeness_of_K (slides 26-56) Αρχείο
  • 23.03.2021_Reasoning_about_knowledge (slides 57-73) Αρχείο
• 24 March - 30 March
  

  24 March - 30 March

  • 2021_03_29_Group_Notions_of_Knowledge Αρχείο
  • 2021_03_30_System_S5C Αρχείο
  • Exercises_in_Group Notions of Knowledge And Logics of Belief Αρχείο
• 31 March - 6 April
  

  31 March - 6 April

  • 2021_04_05_Belief_Revision Αρχείο
  • 2021_04_06_Belief Revision Αρχείο
• 7 April - 13 April
  

  7 April - 13 April

  • 2021_04_12_and_13_Public Anouncements (4.1-4.7) Αρχείο
• 14 April - 20 April
  

  14 April - 20 April

  • 2021_04_19_and_21_Public_Announcements_(4.8-4.12) Αρχείο
  • Sum and Product Puzzle (Definition, Explanation and Solution) Διεύθυνση URL
  • Aces and Eights Puzzle Διεύθυνση URL
• 21 April - 27 April
  

  21 April - 27 April

  • Easter holidays!
• 28 April - 4 May
  

  28 April - 4 May

  • Easter holidays!
    

• 5 May - 11 May
  

  5 May - 11 May

  • 2021_05_10_and_11_Epistemic Actions Αρχείο
• 12 May - 18 May
  

  12 May - 18 May

  • 2021_05_17_and_18_Action_Models_(6.1-6.4) Αρχείο
  • 2021_05_17_and_18_Action_Models_(6.1-6.4)_Board_Notes Αρχείο
• 19 May - 25 May
  

  19 May - 25 May

  • 2021_05_24_and_25_Action_Models_(6.5-6-9) Αρχείο
• 26 May - 1 June
  

  26 May - 1 June

  • Complteness_(7.3-7.8) Αρχείο
  • Completeness_(7.3-7.8) Αρχείο
• 2 June - 8 June
  

  2 June - 8 June