Λογικός Προγραμματισμός
Πολυμέσα
Γενικά πολυμεσικά αρχεία | Ημερομηνία | |
---|---|---|
01. Εισαγωγή Δημιουργός: Παναγιώτης Σταματόπουλος, Εκδότης: ΕΘΝΙΚΟ ΚΑΙ ΚΑΠΟΔΙΣΤΡΙΑΚΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΘΗΝΩΝ Λίγα λόγια για το μάθημα. Γενικά στοιχεία, ενδιαφέροντες σύνδεσμοι. Εισαγωγή στην γλώσσα προγραμματισμού Prolog. |
18/2/15 | |
02. Κατηγορίες προβλημάτων που μπορούν να λυθούν με λογικό προγραμματισμό Δημιουργός: Παναγιώτης Σταματόπουλος, Εκδότης: ΕΘΝΙΚΟ ΚΑΙ ΚΑΠΟΔΙΣΤΡΙΑΚΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΘΗΝΩΝ Προβλήματα αναζήτησης: πρώτα κατά βάθος αναζήτηση. Προβλήματα ικανοποίησης περιορισμών. Προβλήματα συμβολικής παραγώγισης. |
18/2/15 | |
03. Απλό πρόγραμμα σε Prolog Δημιουργός: Παναγιώτης Σταματόπουλος, Εκδότης: ΕΘΝΙΚΟ ΚΑΙ ΚΑΠΟΔΙΣΤΡΙΑΚΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΘΗΝΩΝ Συνθετες ερωτήσεις, επέκταση προγράμματος. |
19/2/15 | |
04. Απλό πρόγραμμα σε Prolog, συνέχεια Δημιουργός: Παναγιώτης Σταματόπουλος, Εκδότης: ΕΘΝΙΚΟ ΚΑΙ ΚΑΠΟΔΙΣΤΡΙΑΚΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΘΗΝΩΝ Περεταίρω κανόνες, αναδρομικοί κανόνες. |
19/2/15 | |
05. Αναδρομικοί κανόνες Δημιουργός: Παναγιώτης Σταματόπουλος, Εκδότης: ΕΘΝΙΚΟ ΚΑΙ ΚΑΠΟΔΙΣΤΡΙΑΚΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΘΗΝΩΝ Ανακατατάξεις προτάσεων και στόχων. Δένδρα αναπαράστασης. |
25/2/15 | |
06. Αλφάβητο της Prolog Δημιουργός: Παναγιώτης Σταματόπουλος, Εκδότης: ΕΘΝΙΚΟ ΚΑΙ ΚΑΠΟΔΙΣΤΡΙΑΚΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΘΗΝΩΝ Άτομα, αριθμοί, μεταβλητές, αναπαράσταση. |
25/2/15 | |
07. Δομή λίστας Δημιουργός: Παναγιώτης Σταματόπουλος, Εκδότης: ΕΘΝΙΚΟ ΚΑΙ ΚΑΠΟΔΙΣΤΡΙΑΚΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΘΗΝΩΝ Λίστες, παραδείγματα λιστών (απλές εώς σύνθετες). |
26/2/15 | |
08. Δομή λίστας, συνέχεια Δημιουργός: Παναγιώτης Σταματόπουλος, Εκδότης: ΕΘΝΙΚΟ ΚΑΙ ΚΑΠΟΔΙΣΤΡΙΑΚΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΘΗΝΩΝ Συνένωση λιστών. Ενσωματωμένα κατηγορήματα. |
26/2/15 | |
09. Κατηγορήματα reverse και sublist Δημιουργός: Παναγιώτης Σταματόπουλος, Εκδότης: ΕΘΝΙΚΟ ΚΑΙ ΚΑΠΟΔΙΣΤΡΙΑΚΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΘΗΝΩΝ Τα κατηγόρημα reverse και sublist: παραδείγματα. |
4/3/15 | |
10. Αναδιάταξη λίστας Δημιουργός: Παναγιώτης Σταματόπουλος, Εκδότης: ΕΘΝΙΚΟ ΚΑΙ ΚΑΠΟΔΙΣΤΡΙΑΚΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΘΗΝΩΝ Συνέχεια στο παράδειγμα της sublist. Εισαγωγή στοιχείου στην αρχή της λίστας. Διαγραφή στοιχείου από τη λίστα. |
4/3/15 | |
11. Παράδειγμα της flatten Δημιουργός: Παναγιώτης Σταματόπουλος, Εκδότης: ΕΘΝΙΚΟ ΚΑΙ ΚΑΠΟΔΙΣΤΡΙΑΚΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΘΗΝΩΝ Συνέχεια από το προηγούμενο μάθημα. Παράδειγμα της flatten στην ECLIPSE. |
5/3/15 | |
12. Τελεστές Δημιουργός: Παναγιώτης Σταματόπουλος, Εκδότης: ΕΘΝΙΚΟ ΚΑΙ ΚΑΠΟΔΙΣΤΡΙΑΚΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΘΗΝΩΝ Προτεραιότητα ορίσματος, προσεταιριστικότητα (associativity). Μερικοί προκαθορισμένοι τελεστές. Παραδείγματα από παλιά θέματα. |
5/3/15 | |
13. Μήκος λίστας Δημιουργός: Παναγιώτης Σταματόπουλος, Εκδότης: ΕΘΝΙΚΟ ΚΑΙ ΚΑΠΟΔΙΣΤΡΙΑΚΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΘΗΝΩΝ Το κατηγόρημα length. |
11/3/15 | |
14. Και άλλα κατηγορήματα αριθμητικής Δημιουργός: Παναγιώτης Σταματόπουλος, Εκδότης: ΕΘΝΙΚΟ ΚΑΙ ΚΑΠΟΔΙΣΤΡΙΑΚΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΘΗΝΩΝ Παραδείγματα κατηγορημάτων: max, maxlist, ordered. |
11/3/15 | |
15. Και άλλα κατηγορήματα αριθμητικής, συνέχεια Δημιουργός: Παναγιώτης Σταματόπουλος, Εκδότης: ΕΘΝΙΚΟ ΚΑΙ ΚΑΠΟΔΙΣΤΡΙΑΚΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΘΗΝΩΝ Παραδείγματα κατηγορημάτων: subsum, between. Μερικά εσωματωμένα κατηγορήματα. |
12/3/15 | |
16. Άρνηση στην Prolog Δημιουργός: Παναγιώτης Σταματόπουλος, Εκδότης: ΕΘΝΙΚΟ ΚΑΙ ΚΑΠΟΔΙΣΤΡΙΑΚΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΘΗΝΩΝ Εισαγωγή, παραδείγματα. |
12/3/15 | |
17. Ανασκόπηση: ενσωματωμένα κατηγορήματα Δημιουργός: Παναγιώτης Σταματόπουλος, Εκδότης: ΕΘΝΙΚΟ ΚΑΙ ΚΑΠΟΔΙΣΤΡΙΑΚΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΘΗΝΩΝ Το κατηγόρημα name. Kατηγορήματα ελέγχου τύπων, χειρισμού όρων, χειρισμού προγράμματος. |
18/3/15 | |
18. Το πρόβλημα των 8 βασιλισσών Δημιουργός: Παναγιώτης Σταματόπουλος, Εκδότης: ΕΘΝΙΚΟ ΚΑΙ ΚΑΠΟΔΙΣΤΡΙΑΚΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΘΗΝΩΝ Λύση του προβλήματος. Προγραμματισμός με περιορισμούς. |
18/3/15 | |
19. Το πρόβλημα των 8 βασιλισσών, συνέχεια Δημιουργός: Παναγιώτης Σταματόπουλος, Εκδότης: ΕΘΝΙΚΟ ΚΑΙ ΚΑΠΟΔΙΣΤΡΙΑΚΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΘΗΝΩΝ 2ος και 3ος τρόπος επίλυσης του προβλήματος. |
26/3/15 | |
20. Το πρόβλημα των N βασιλισσών Δημιουργός: Παναγιώτης Σταματόπουλος, Εκδότης: ΕΘΝΙΚΟ ΚΑΙ ΚΑΠΟΔΙΣΤΡΙΑΚΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΘΗΝΩΝ Γενίκευση για Ν βασίλισσες. Επίλυση με την ECLPSE. |
26/3/15 | |
21. Κρυπταριθμητικοί γρίφοι Δημιουργός: Παναγιώτης Σταματόπουλος, Εκδότης: ΕΘΝΙΚΟ ΚΑΙ ΚΑΠΟΔΙΣΤΡΙΑΚΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΘΗΝΩΝ Συνέχεια στα παραδείγματα προγραμματισμού με περιορισμούς. |
1/4/15 | |
22. Πρόβλημα βελτιστοποίησης Δημιουργός: Παναγιώτης Σταματόπουλος, Εκδότης: ΕΘΝΙΚΟ ΚΑΙ ΚΑΠΟΔΙΣΤΡΙΑΚΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΘΗΝΩΝ Επίλυση με δύο τρόπους. |
1/4/15 | |
23. Θεωρία λογικού προγραμματισμού Δημιουργός: Παναγιώτης Σταματόπουλος, Εκδότης: ΕΘΝΙΚΟ ΚΑΙ ΚΑΠΟΔΙΣΤΡΙΑΚΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΘΗΝΩΝ Ορισμός όρου (term), ορισμός ατομικού τύπου (atomic formula) ή ατόμου (atom), ορισμός καλοσχηματισμένου τύπου (well-formed formula) ή τύπου, κλειστός τύπος (closed formula). Προτάσεις, σύνταξη και σημασιολογία (syntax and semantics). |
2/4/15 | |
24. Θεωρία λογικού προγραμματισμού, συνέχεια Δημιουργός: Παναγιώτης Σταματόπουλος, Εκδότης: ΕΘΝΙΚΟ ΚΑΙ ΚΑΠΟΔΙΣΤΡΙΑΚΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΘΗΝΩΝ Σύμπαν Herbrand, Μοντελοθεωρητική σημασιολογία. |
2/4/15 | |
25. Περίπτωση τύπων οι οποίοι είναι προτάσεις Δημιουργός: Παναγιώτης Σταματόπουλος, Εκδότης: ΕΘΝΙΚΟ ΚΑΙ ΚΑΠΟΔΙΣΤΡΙΑΚΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΘΗΝΩΝ Σημασιολογία σταθερού σημείου, απεικόνιση σε ένα σύνολο. |
22/4/15 | |
26. Περίπτωση τύπων οι οποίοι είναι προτάσεις, συνέχεια Δημιουργός: Παναγιώτης Σταματόπουλος, Εκδότης: ΕΘΝΙΚΟ ΚΑΙ ΚΑΠΟΔΙΣΤΡΙΑΚΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΘΗΝΩΝ Παραδείγματα: επίλυση παλαιών θεμάτων. |
22/4/15 | |
27. Λειτουργική σημασιολογία Δημιουργός: Παναγιώτης Σταματόπουλος, Εκδότης: ΕΘΝΙΚΟ ΚΑΙ ΚΑΠΟΔΙΣΤΡΙΑΚΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΘΗΝΩΝ Στιγμιότυπο (instance), Παραλλαγή (variant), Σύνθεση (composition) αντικαταστάσεων, Ενοποίηση (unification). |
23/4/15 | |
28. Παράδειγμα Ενοποίησης Δημιουργός: Παναγιώτης Σταματόπουλος, Εκδότης: ΕΘΝΙΚΟ ΚΑΙ ΚΑΠΟΔΙΣΤΡΙΑΚΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΘΗΝΩΝ Κανόνας συμπερασμού της SLD-ανάλυσης. |
23/4/15 | |
29. Έμπειρα Συστήματα και Λογικός Προγραμματισμός Δημιουργός: Ιζαμπώ Καράλη, Εκδότης: ΕΘΝΙΚΟ ΚΑΙ ΚΑΠΟΔΙΣΤΡΙΑΚΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΘΗΝΩΝ Μεθοδολογία αναπαράστασης της γνώσης. Ένα πρόβλημα διάγνωσης. Οπίσθια συλλογιστική με απλή Prolog. |
30/4/15 | |
30. Έμπειρα Συστήματα και Λογικός Προγραμματισμός, συνέχεια Δημιουργός: Ιζαμπώ Καράλη, Εκδότης: ΕΘΝΙΚΟ ΚΑΙ ΚΑΠΟΔΙΣΤΡΙΑΚΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΘΗΝΩΝ Αρχιτεκτονική των εμπείρων συστημάτων και δομικά στοιχεία. If-then κανόνες. |
29/4/15 | |
31. Εμπρόσθια συλλογιστική σε μέτα-επίπεδο με απλή Prolog Δημιουργός: Ιζαμπώ Καράλη, Εκδότης: ΕΘΝΙΚΟ ΚΑΙ ΚΑΠΟΔΙΣΤΡΙΑΚΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΘΗΝΩΝ Παραδείγματα |
30/4/15 | |
32. Ανακεφαλαίωση προηγούμενου μαθήματος Δημιουργός: Ιζαμπώ Καράλη, Εκδότης: ΕΘΝΙΚΟ ΚΑΙ ΚΑΠΟΔΙΣΤΡΙΑΚΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΘΗΝΩΝ Λογικός προγραμματισμός για την αναπαράσταση γνώσης, έμπειρα συστήματα. Παροχή εξηγήσεων, πως αποδείχθηκε κάτι. |
6/5/15 | |
33. Χειρισμός αβέβαιης πληροφορίας Δημιουργός: Ιζαμπώ Καράλη, Εκδότης: ΕΘΝΙΚΟ ΚΑΙ ΚΑΠΟΔΙΣΤΡΙΑΚΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΘΗΝΩΝ Εισαγωγή ποσοτικού μέτρου βεβαιότητας σε γεγονότα και if-then κανόνες. Επέκταση του μέτα-διερμηνέα για οπίσθια συλλογιστική. |
6/5/15 | |
34. Αναπαράσταση γνώσης και συλλογιστική Δημιουργός: Ιζαμπώ Καράλη, Εκδότης: ΕΘΝΙΚΟ ΚΑΙ ΚΑΠΟΔΙΣΤΡΙΑΚΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΘΗΝΩΝ Αναπαράσταση Γνώσης μέσω Σημασιολογικών Δικτύων. Κληρονόμηση ιδιοτήτων σε σημασιολογικά δίκτυα: στοιχειώδης προσέγγιση. |
7/5/15 | |
35. Κληρονόμηση ιδιοτήτων σε σημασιολογικά δίκτυα: στοιχειώδης προσέγγιση, γενικευμένη προσέγγιση Δημιουργός: Ιζαμπώ Καράλη, Εκδότης: ΕΘΝΙΚΟ ΚΑΙ ΚΑΠΟΔΙΣΤΡΙΑΚΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΘΗΝΩΝ Κώδικας, παραδείγματα ερωτημάτων. Πλαίσια. |
7/5/15 | |
36. Απλός υπολογισμός των τιμών των σχισμών Δημιουργός: Ιζαμπώ Καράλη, Εκδότης: ΕΘΝΙΚΟ ΚΑΙ ΚΑΠΟΔΙΣΤΡΙΑΚΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΘΗΝΩΝ Υπολογισμός των τιμών των σχισμών καλύπτοντας και την περίπτωση των διαδικασιών. |
14/5/15 | |
37. Εισαγωγή στις επαγωγικές βάσεις βάσεις δεδομένων - datalog Δημιουργός: Ιζαμπώ Καράλη, Εκδότης: ΕΘΝΙΚΟ ΚΑΙ ΚΑΠΟΔΙΣΤΡΙΑΚΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΘΗΝΩΝ Δεδομένα (απλά ή σύνθετα) VS γνώση, σύνταξη προγραμμάτων datalog. Προτάσεις datalog, κατηγορήματα IDB – κατηγορήματα EDB, παραδείγματα. |
14/5/15 | |
38. Υλοποίηση συστημάτων λογικού προγραμματισμού Δημιουργός: Παναγιώτης Σταματόπουλος, Εκδότης: ΕΘΝΙΚΟ ΚΑΙ ΚΑΠΟΔΙΣΤΡΙΑΚΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΘΗΝΩΝ Διερμηνέας, μεταγλωτιστής. Αναπαράσταση στην περιοχή προγράμματος των προτάσεων. Εισαγωγή στον παράλληλο λογικό προγραμματισμό. |
20/5/15 | |
39. Δυαδικά δένδρα Δημιουργός: Παναγιώτης Σταματόπουλος, Εκδότης: ΕΘΝΙΚΟ ΚΑΙ ΚΑΠΟΔΙΣΤΡΙΑΚΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΘΗΝΩΝ Στοιχείο μέλος ενός δυαδικού δέντρου, δυαδικό λεξικό. |
20/5/15 | |
40. Επαγωγικές βάσεις βάσεις δεδομένων - datalog Δημιουργός: Ιζαμπώ Καράλη, Εκδότης: ΕΘΝΙΚΟ ΚΑΙ ΚΑΠΟΔΙΣΤΡΙΑΚΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΘΗΝΩΝ Σημασιολογία των προγραμμάτων datalog. Παραδείγματα. Επεκτάσεις της datalog. |
21/5/15 | |
41. Semantic web Δημιουργός: Ιζαμπώ Καράλη, Εκδότης: ΕΘΝΙΚΟ ΚΑΙ ΚΑΠΟΔΙΣΤΡΙΑΚΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΘΗΝΩΝ Semantic web, αναπαράσταση γνώσης, τεχνολογίες και ο λογικός προγραμματισμός. |
21/5/15 | |
42. Εισαγωγή κόμβου Δημιουργός: Παναγιώτης Σταματόπουλος, Εκδότης: ΕΘΝΙΚΟ ΚΑΙ ΚΑΠΟΔΙΣΤΡΙΑΚΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΘΗΝΩΝ Εισαγωγή και διαγραφή κόμβων σε δυαδικό λεξικό, διαγραφή κόμβου από φύλλο, διαγραφή κόμβου από οπουδήποτε. Εισαγωγή κόμβου στη ρίζα. Εισαγωγή κόμβου οπουδήποτε (μη ντετερμινιστικά). |
27/5/15 | |
43. Γράφοι Δημιουργός: Παναγιώτης Σταματόπουλος, Εκδότης: ΕΘΝΙΚΟ ΚΑΙ ΚΑΠΟΔΙΣΤΡΙΑΚΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΘΗΝΩΝ Αναπαραστάσεις γράφων, αναπαραστάσεις κατευθυνόμενων γράφων (με κόστος ακμών). Εύρεση μονοπατιού σε γράφο, εύρεση μονοπατιού Hamilton (μονοπάτι χωρίς κύκλους που περιλαμβάνει όλους τους κόμβους του γράφου). |
27/5/15 | |
44. Εύρεση μονοπατιού με κόστος Δημιουργός: Παναγιώτης Σταματόπουλος, Εκδότης: ΕΘΝΙΚΟ ΚΑΙ ΚΑΠΟΔΙΣΤΡΙΑΚΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΘΗΝΩΝ Συνέσεια στους γράφους. Εύρεση μονοπατιού ελαχίστου κόστους από node1 σε node2. Παραδείγματα. |
28/5/15 | |
45. Επίλυση παλαιών θεμάτων Δημιουργός: Παναγιώτης Σταματόπουλος, Εκδότης: ΕΘΝΙΚΟ ΚΑΙ ΚΑΠΟΔΙΣΤΡΙΑΚΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΘΗΝΩΝ Μεταβλητές, κατηγορήματα επεξεργασίας λιστών, άρνηση, προγραμματισμός με περιορισμούς. |
28/5/15 |