ΛΟΓΙΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ

Εαρινό Εξάμηνο 2011-12

Γενικά Στοιχεία

Βασικό μάθημα 2ης κατεύθυνσης (Υπολογιστικών Συστημάτων και Εφαρμογών)

Τόπος και χρόνος διαλέξεων: Τρίτη 11:00 - 13:00, Παρασκευή 11:00-13:00 (αίθουσα ΣΤ'), έναρξη: Τρίτη 6/3/2012

Διδάσκοντες: Παναγιώτης Σταματόπουλος, Ιζαμπώ Καράλη
Συνεργάτης: Νίκος Ποθητός

Ηλεκτρονική Λίστα

Για εγγραφή στην ηλεκτρονική λίστα του μαθήματος επισκεφθείτε την ιστοσελίδα http://www.di.uoa.gr/~mailman/listinfo.cgi/lp. Η διεύθυνση της λίστας, για αποστολή μηνυμάτων σ' αυτήν, είναι: lp@di.uoa.gr. Παραλαβή μηνυμάτων από τη λίστα γίνεται μέσω του ηλεκτρονικού ταχυδρομείου (στη διεύθυνση που δηλώθηκε κατά την εγγραφή). Διαγραφή από τη λίστα, αλλά και ανάγνωση των μηνυμάτων που έχουν σταλεί σ' αυτήν, μπορεί να γίνει επίσης μέσω της ιστοσελίδας της λίστας.

Περιεχόμενο Μαθήματος

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

Βιβλιογραφία

I. Bratko, "Prolog Programming for Artficial 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.

Ενδιαφέροντες Σύνδεσμοι

Ανασκοπήσεις Διαλέξεων

Διαφάνειες

Ασκήσεις

Α' ομάδα ασκήσεων

Β' ομάδα ασκήσεων

Προθεσμία παράδοσης 1ης άσκησης: Παρασκευή 23/3/2012
Προθεσμία παράδοσης 2ης άσκησης: Παρασκευή 13/4/2012
Προθεσμία παράδοσης 3ης άσκησης: Παρασκευή 11/5/2012
Προθεσμία παράδοσης 4ης άσκησης: Παρασκευή 18/5/2012
Προθεσμία παράδοσης 5ης άσκησης: Παρασκευή 1/6/2012
Προθεσμία παράδοσης 6ης άσκησης: Παρασκευή 15/6/2012

Σημαντικό μήνυμα στη λίστα σχετικά με την υλοποίηση ασκήσεων σε Eclipse

Η υποβολή των ασκήσεων γίνεται μέσω της πλατφόρμας που φιλοξενείται στην ιστοσελίδα http://hwadm.di.uoa.gr. Τα βήματα είναι τα εξής:

Εγγραφή στην πλατφόρμα με την e-mail διεύθυνση sdiXX00YYY@di.uoa.gr
Επιβεβαίωση της εγγραφής με εισαγωγή του κωδικού ενεργοποίησης που αποστέλλεται στη δηλωθείσα e-mail διεύθυνση
Εγγραφή στο μάθημα
Υποβολή της εκάστοτε άσκησης μέσα στην προθεσμία που έχει τεθεί

Διαθέσιμα Συστήματα Prolog

Πληροφορίες στο αρχείο "~takis/lp/README" στα Suns/Linux του Τμήματος (δεν υπάρχει πρόσβαση μέσω του Web).

Προηγούμενα Θέματα Εξετάσεων

1997-2011

Βαθμολογία

Γραπτή εξέταση:	75%
Εργασίες:	25%