ΛΟΓΙΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ
Εαρινό Εξάμηνο 2012-13
Γενικά Στοιχεία
Βασικό μάθημα 2ης κατεύθυνσης (Υπολογιστικών Συστημάτων και Εφαρμογών)
Τόπος και χρόνος διαλέξεων: Τρίτη 11:00 - 13:00, Παρασκευή 11:00-13:00
(αίθουσα ΣΤ'), έναρξη: Τρίτη 19/2/2013
Διδάσκοντες: Παναγιώτης Σταματόπουλος (takis
di.uoa.gr),
Ιζαμπώ Καράλη (izambodi.uoa.gr)
Συνεργάτες: Νίκος Ποθητός (pothitosdi.uoa.gr),
Νίκος Κατζούρης (nkatziit.demokritos.gr)
Ηλεκτρονική Λίστα
Για εγγραφή στην ηλεκτρονική λίστα
του μαθήματος επισκεφθείτε την ιστοσελίδα
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ης άσκησης: Παρασκευή 8/3/2013
Προθεσμία παράδοσης 2ης άσκησης: Παρασκευή 22/3/2013
Προθεσμία παράδοσης 3ης άσκησης: Παρασκευή 12/4/2013
Προθεσμία παράδοσης 4ης άσκησης: Παρασκευή 19/4/2013
Προθεσμία παράδοσης 5ης άσκησης: Παρασκευή 17/5/2013
Προθεσμία παράδοσης 6ης άσκησης: Παρασκευή 31/5/2013
Προθεσμία παράδοσης 7ης άσκησης: Παρασκευή 7/6/2013
Σημαντικό μήνυμα στη λίστα σχετικά με την υλοποίηση ασκήσεων σε Eclipse και άλλα συστήματα Prolog
Η υποβολή των ασκήσεων γίνεται μέσω της πλατφόρμας που φιλοξενείται στην
ιστοσελίδα
http://hwadm.di.uoa.gr.
Τα βήματα είναι τα εξής:
- Εγγραφή στην πλατφόρμα με την e-mail διεύθυνση sdiXX00YYY@di.uoa.gr
- Επιβεβαίωση της εγγραφής με εισαγωγή του κωδικού ενεργοποίησης που
αποστέλλεται στη δηλωθείσα e-mail διεύθυνση
- Είσοδος στο σύστημα με όνομα χρήστη το sdiXX00YYY και συνθηματικό
αυτό που ορίσατε κατά την εγγραφή σας
- Εγγραφή στο μάθημα
- Υποβολή της εκάστοτε άσκησης μέσα στην προθεσμία που έχει τεθεί
Διαθέσιμα Συστήματα Prolog
Πληροφορίες στο αρχείο "~takis/lp/README" στα Suns/Linux του
Τμήματος (δεν υπάρχει πρόσβαση μέσω του Web).
Προηγούμενα Θέματα Εξετάσεων
1997-2012
Βαθμολογία
| Γραπτή εξέταση: | 75%
|
| Εργασίες: | 25% (+ 5% + ...)
|