Παρουσίαση/Προβολή

Επιλέχθηκε εικόνα

Λογικός Προγραμματισμός

(DI117) -  Παναγιώτης Σταματόπουλος, Ιζαμπώ Καράλη

Περιγραφή Μαθήματος

  • Το μάθημα εντάσσεται στα προαιρετικά μαθήματα του Προγράμματος Σπουδών του Τμήματος Πληροφορικής και Τηλεπικοινωνιών. Εντάσσεται στην Α κατεύθυνση και είναι βασικό της 2ης ειδίκευσης (Διαχείριση Δεδομένων και Γνώσης). Διδάσκεται στο 6ο εξάμηνο. Η διδασκαλία του θεωρητικού μέρους διαρκεί 39 ώρες και τα φροντιστήρια (επίδειξη συγκεκριμένων προγραμμάτων) 13 ώρες.
  • Δίνονται προγραμματιστικές ασκήσεις για κατ’ οίκον επίλυση από τους φοιτητές, ο βαθμός των οποίων συμμετέχει κατά 25% στον τελικό βαθμό. Το υπόλοιπο 75% προκύπτει από τη γραπτή εξέταση.
  • Στις διαλέξεις του μαθήματος, αρχικά γίνεται μία σύντομη εισαγωγή στη φιλοσοφία του λογικού προγραμματισμού και στη συνέχεια παρουσιάζεται αναλυτικά η γλώσσα προγραμματισμού Prolog. Καλύπτονται θέματα που σχετίζονται με τη θεωρία του λογικού προγραμματισμού, τον λογικό προγραμματισμό με περιορισμούς, τις τεχνικές υλοποίησης συστημάτων λογικού προγραμματισμού και τον παράλληλο λογικό προγραμματισμό.
  • Τέλος, συζητάται η χρήση του λογικού προγραμματισμού για την αναπαράσταση γνώσης, τα έμπειρα συστήματα, οι συμπερασματικές βάσεις δεδομένων και η εφαρμογή του λογικού προγραμματισμού σε θέματα που σχετίζονται με τον παγκόσμιο ιστό.

Ημερομηνία δημιουργίας

Δευτέρα 20 Ιουλίου 2015

Σελίδα μαθήματος

  • Περίγραμμα

    Διδάσκοντες

    Παναγιώτης Σταματόπουλος

    περισσότερα για τον διδάσκοντα

     

    Ιζαμπώ Καράλη

    περισσότερα για την διδάσκουσα

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

    Γενικά περί διαδικαστικού και δηλωτικού προγραμματισμού. Ο λογικός προγραμματισμός σαν μία εκδοχή του δηλωτικού προγραμματισμού. Η γλώσσα προγραμματισμού Prolog. Σύνταξη προγραμμάτων. Λίστες. Τελεστές. Αριθμητική.

    Έλεγχος οπισθοδρόμησης. Άρνηση στην Prolog. Ενσωματωμένα κατηγορήματα. Χειρισμός δομών δεδομένων. Απλές εφαρμογές της Prolog σε προβλήματα αναζήτησης, συμβολική επεξεργασία, κατανόηση φυσικής γλώσσας και μεταπρογραμματισμό.

    Θεωρία λογικού προγραμματισμού. Ερμηνείες και μοντέλα. Μοντελοθεωρητική σημασιολογία. Σημασιολογία σταθερού σημείου. Ενοποίηση. SLD-επίλυση. Λειτουργική σημασιολογία.

    Λογικός προγραμματισμός με περιορισμούς. Τεχνικές υλοποίησης συστημάτων λογικού προγραμματισμού. Παράλληλος λογικός προγραμματισμός. Λογικός προγραμματισμός για αναπαράσταση γνώσης.

    Αναπαράσταση γνώσης - μεθοδολογίες και υλοποιήσεις τους με χρήση της Prolog. Συστήματα βασισμένα σε γνώση - η περίπτωση των εμπείρων συστημάτων. Συμπερασματικές βάσεις δεδομένων - η περίπτωση της Datalog. Λογικός προγραμματισμός και παγκόσμιος ιστός.

    Μαθησιακοί στόχοι

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

    Βασικός στόχος του μαθήματος είναι κάνει το αντικείμενο ενδιαφέρον και χρήσιμο, τόσο για φοιτητές που έχουν δει στο παρελθόν σχετικά θέματα από άλλα μαθήματα, όσο για εκείνους που βλέπουν για πρώτη φορά αυτή τη διαφορετική προγραμματιστική φιλοσοφία.

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

    Ομάδα στόχος

    Υποψήφιοι και εν ενεργεία φοιτητές/φοιτήτριες, και απόφοιτοι Τμημάτων Πολυτεχνικών Σχολών και Σχολών Θετικών Επιστημών.

    Ενδιαφερόμενοι για τη θεματική περιοχή του προγραμματισμού υπολογιστών.

    Μέθοδοι διδασκαλίας

    Διαλέξεις, Φροντιστήριο, Συγγραφή εργασίας / εργασιών

    Μέθοδοι αξιολόγησης

    Γραπτή εξέταση (ερωτήσεις πολλαπλής επιλογής, ερωτήσεις σύντομης απάντησης, ερωτήσεις ανάπτυξης, επίλυση προβλημάτων), γραπτή εργασία

    Προαπαιτούμενα

    Προαπαιτούμενη γνώση αποτελούν στοιχειώδεις γνώσεις μαθηματικής λογικής.