Προαιρετικό μάθημα κατεύθυνσης Α, βασικό ειδίκευσης S2

Δευτέρα 11:00-13:00 (Αίθουσα Ζ) και Παρασκευή 9:00-11:00 (Αίθουσα Ζ)

Διδάσκων: Μανώλης Πιτσικάλης manolispi [AT] di.uoa.gr

Συνεργάτες: (TBA)

Για την άμεση επικοινωνία των φοιτητών με τους διδάσκοντες, τους συνεργάτες, και μεταξύ τους, θα χρησιμοποιηθεί η πλατφόρμα piazza (signup).

• Γενικά περί διαδικαστικού και δηλωτικού προγραμματισμού
• Ο λογικός προγραμματισμός σαν μία εκδοχή του δηλωτικού προγραμματισμού
• Η γλώσσα προγραμματισμού Prolog
  • Σύνταξη προγραμμάτων
  • Λίστες
  • Τελεστές
  • Αριθμητική
  • Έλεγχος οπισθοδρόμησης
  • Άρνηση στην Prolog
  • Ενσωματωμένα κατηγορήματα
  • Χειρισμός δομών δεδομένων
  • Απλές εφαρμογές της Prolog σε προβλήματα αναζήτησης, συμβολική επεξεργασία, κατανόηση φυσικής γλώσσας και μεταπρογραμματισμό
• Θεωρία λογικού προγραμματισμού
  • Ερμηνείες και μοντέλα
  • Μοντελοθεωρητική σημασιολογία
  • Σημασιολογία σταθερού σημείου
  • Ενοποίηση
  • SLD-επίλυση
  • Λειτουργική σημασιολογία
• Λογικός προγραμματισμός με περιορισμούς
• Λογικός προγραμματισμός για συλλογισμό πάνω σε μεγάλες ροές δεδομένων
• Τεχνικές υλοποίησης συστημάτων λογικού προγραμματισμού
• Παράλληλος λογικός προγραμματισμός
• Λογικός προγραμματισμός για αναπαράσταση γνώσης
  • Αναπαράσταση γνώσης - μεθοδολογίες και υλοποιήσεις τους με χρήση της Prolog
  • Συστήματα βασισμένα σε γνώση - η περίπτωση των εμπείρων συστημάτων
  • Συμπερασματικές βάσεις δεδομένων - η περίπτωση της Datalog
  • Λογικός προγραμματισμός και παγκόσμιος ιστός

• Π. Σταματόπουλος, "Λογικός και Συναρτησιακός Προγραμματισμός", Σύνδεσμος Ελληνικών Ακαδημαϊκών Βιβλιοθηκών, 2016. http://hdl.handle.net/11419/3587 (με διορθωμένα παροράματα εδώ)
• Η. Σακελλαρίου, Ν. Βασιλειάδης, Π. Κεφαλάς, Δ. Σταμάτης, "Τεχνικές Λογικού Προγραμματισμού", Σύνδεσμος Ελληνικών Ακαδημαϊκών Βιβλιοθηκών, 2016. http://hdl.handle.net/11419/777
• I. Bratko, "Prolog Programming for Artificial Intelligence", Third Edition, Addison-Wesley, 2000.
• L. Sterling, E. Shapiro, "The Art of Prolog", The MIT Press, 1994.
• C. F. Mellish, W. F. Clocksin, "Programming in Prolog: Using the ISO Standard", Springer Verlag, 2003.
• J. W. Lloyd, "Foundations of Logic Programming", Springer Verlag, 1993.
• K. R. Apt, M. G. Wallace, "Constraint Logic Programming Using ECLiPSe", Cambridge University Press, 2007.
• P. Deransart, A. Ed-Dbali, L. Cervoni, "Prolog: The Standard - Reference Manual", Springer Verlag, 1996.

• Γραπτό 30 %
• Εργασίες 70 %