5/10/2004	Διαδικαστικά θέματα. Περιεχόμενο του μαθήματος. Γενικά περί τεχνητής νοημοσύνης. Προβλήματα αναζήτησης. Επιδείξεις γρίφων. Αναπαράσταση γνώσης και αυτόματη εξαγωγή συμπερασμάτων. Εφαρμογές της τεχνητής νοημοσύνης. Πείραμα του Turing.
7/10/2004	Διάφοροι ορισμοί της τεχνητής νοημοσύνης από τη βιβλιογραφία. Είδη προβλημάτων αναζήτησης. Παράγοντας διακλάδωσης.
12/10/2004	Γενική μέθοδος αναζήτησης και εξειδικεύσεις της στην πρώτα-κατά-βάθος μέθοδο και στην πρώτα-κατά-πλάτος μέθοδο. Πλεονεκτήματα και μειονεκτήματα της πρώτα-κατά-βάθος σε σχέση με την πρώτα-κατά-πλάτος.
14/10/2004	Γενική συνέλευση φοιτητών. Δεν έγινε μάθημα.
19/10/2004	Επανάληψη πλεονεκτημάτων και μειονεκτημάτων των πρώτα-κατά-βάθος και πρώτα-κατά-πλάτος μεθόδων. Ευριστική αναζήτηση. Χρονολογική οπισθοδρόμηση. Οπισθοδρόμηση βασισμένη στην εξάρτηση. Κατεύθυνση αναζήτησης.
21/10/2004	Τυφλή αναζήτηση. Ποσοτική μελέτη απαιτήσεων μνήμης και χρόνου της πρώτα-κατά-πλάτος αναζήτησης. Προσεγγίσεις. Ποσοτική μελέτη απαιτήσεων μνήμης και χρόνου της πρώτα-κατά-βάθος αναζήτησης. Προσεγγίσεις. Συγκριτική μελέτη. Επαναληπτική εμβάθυνση. Ποσοτική μελέτη απαιτήσεων μνήμης και χρόνου της επαναληπτικής εμβάθυνσης. Συγκριτική μελέτη. Βέλτιστες απαιτήσεις μνήμης και χρόνου στις μεθόδους τυφλής αναζήτησης.
26/10/2004	Επαναληπτική διεύρυνση. Ποσοτική μελέτη απαιτήσεων μνήμης και χρόνου της επαναληπτικής διεύρυνσης. Συγκριτική μελέτη. Μη-συστηματική αναζήτηση. Γενικά περί ευριστικής αναζήτησης. Ευριστικές συναρτήσεις. Συζήτηση για την εργασία υλοποίησης.
28/10/2004	Αργία 28ης Οκτωβρίου. Δεν έγινε μάθημα.
2/11/2004	Πρώτα-ο-καλύτερος αναζήτηση. Αναρρίχηση λόφου. Προβλήματα της αναρρίχησης λόφου. Γενικά περί τοπικής αναζήτησης. Παράδειγμα εφαρμογής της αναρρίχησης λόφου.
4/11/2004	Προσομοιωμένη ανόπτηση. Μέθοδος αναζήτησης A*. Παραδεκτές ευριστικές συναρτήσεις. Εγγύηση της A*. Σχολιασμός της μεθόδου A*. Μέθοδος αναζήτησης IDA*. Εφαρμογή της μεθοδου A* για την εύρεση της βέλτιστης λύσης στο πρόβλημα των 5 βασιλισσών με κόστος.
9/11/2004	Αναζήτηση σε παιγνίδια. Μέθοδος minimax. Διάδοση τιμών νίκης με την minimax. Πρώτα-κατά-πλάτος εκδοχή της minimax. Πρώτα-κατά-βάθος εκδοχή της minimax. Αλγοριθμική διατύπωσή της.
11/11/2004	Εκδοχή της minimax με μερική ανάπτυξη του χώρου αναζήτησης μέχρι συγκεκριμένο βάθος. Ευριστικές συναρτήσεις. Έλλειψη σταθερότητας και σύνδρομο του ορίζοντα στις ευριστικές συναρτήσεις. Εισαγωγή στις α- και β-αποκοπές. Παραδείγματα με α- και β-αποκοπές.
16/11/2004	Κλειστό Πανεπιστήμιο με εντολή Πρύτανη (παραμονή επετείου Πολυτεχνείου). Δεν έγινε μάθημα.
18/11/2004	Αλγοριθμική διατύπωση της μεθόδου α-β. Οφέλη της μεθόδου α-β σε σχέση με τη minimax. Εισαγωγή στη λογική σαν γλώσσας αναπαράστασης γνώσης. Προτασιακή λογική και λογική πρώτης τάξης. Περί σύνταξης και σημασιολογίας. Τιμές αλήθειας, άτομα, καλοσχηματισμένοι τύποι, λογικοί σύνδεσμοι και πίνακες αλήθειας. Αναπαράσταση γενικών νόμων του κόσμου με καθολικά ποσοτικοποιημένες συνεπαγωγές και υπαρξιακών δηλώσεων του κόσμου με υπαρξιακά ποσοτικοποιημένες συζεύξεις.
23/11/2004	Σταθερές, όροι και κατηγορήματα στην κατηγορηματική λογική. Μεταβλητές και ποσοδείκτες στη λογική πρώτης τάξης. Ερμηνείες. Ισοδύναμοι τύποι. Ταυτολογίες και αντιφάσεις. Παραδείγματα. Λογική συνέπεια.
25/11/2004	Κανόνες συμπερασμού. Ορθότητα και πληρότητα των κανόνων συμπερασμού. Ημι-αποφασισιμότητα της λογικής πρώτης τάξης. Αναπαράσταση γνώσης με λογική πρώτης τάξης μέσω του κόσμου του δικηγόρου Γιάννη. Σκολεμοποίηση. Εισαγωγή στους μετασχηματισμούς τύπων λογικής πρώτης τάξης.
30/11/2004	Εξειδίκευση του παραδείγματος του κόσμου του δικηγόρου Γιάννη σε προτασιακή λογική. Διάφορες εκδοχές του modus ponens. Ορθότητα του modus ponens. Εφαρμογή του modus ponens στο παράδειγμα. Βάσεις Horn. Πληρότητα του modus ponens για βάσεις Horn. Κανόνας της ανάλυσης. Κανονική μορφή τύπων. Εμπρόσθιος και οπίσθιος τρόπος απόδειξης. Μετασχηματισμός τύπων προτασιακής λογικής σε κανονική μορφή. Εφαρμογή.
2/12/2004	Επιστροφή στην αναπαράσταση σε λογική πρώτης τάξης του κόσμου του δικηγόρου Γιάννη. Λίστες δεσμεύσεων. Ενοποιητές. Ενοποίηση και γενικότερος ενοποιητής. Απάντηση ερωτήσεων με εισαγωγή της άρνησης του αποδεικτέου στη βάση γνώσης. Κανόνας της ανάλυσης στη λογική πρώτης τάξης. Ορθότητα και πληρότητα του κανόνα της ανάλυσης. Εφαρμογή.
7/12/2004	Μετασχηματισμός τύπων λογικής πρώτης τάξης σε κανονική μορφή. Εφαρμογή. Περί "δηλητηριωδών μανιταριών".
9/12/2004	Λυμένες ασκήσεις. "Ένα μήλο την ημέρα το γιατρό τον κάνει πέρα". "Υπάρχουν άρρητοι αριθμοί x και y τέτοιοι ώστε το x^y να είναι ρητός". "Η σχέση του Μότσαρτ με τη Βιέννη".
14/12/2004	Έλεγχος στη συλλογιστική. Γενική στρατηγική εφαρμογής της ανάλυσης. Στρατηγική του συνόλου υποστήριξης. Στρατηγική της διατεταγμένης ανάλυσης. Κανόνας "το-φθηνότερο-πρώτα". Επιτυχές παράδειγμα. Συσχέτιση του προβλήματος του σταυρολέξου με την εφαρμογή της ανάλυσης. Ανεπιτυχές παράδειγμα εφαρμογής του κανόνα "το-φθηνότερο-πρώτα". Πρόβλεψη. Συσχέτιση με το πρόβλημα του σταυρολέξου.
16/12/2004	Συντήρηση της αλήθειας βασισμένη σε υποθέσεις. Εξηγήσεις. Τροποποποιημένη στρατηγική του συνόλου υποστήριξης για παραγωγή εξηγήσεων. Κοινή γνώση και υποθέσεις. Μη-χρήσιμες εξηγήσεις. Συστήματα συντήρησης της αλήθειας βασισμένης σε υποθέσεις. Εφαρμογές. Διατήρηση συνέπειας σε βάσεις γνώσης μέσω συστημάτων συντήρησης της αλήθειας βασισμένης σε υποθέσεις. Ελάχιστα σύνολα κρούσης. Εφαρμογή των συστημάτων συντήρησης της αλήθειας βασισμένης σε υποθέσεις στη διάγνωση.
21/12/2004	Μη μονότονη συλλογιστική. "Ελλείψει" συλλογιστική. Μη μονότονες θεωρίες. Επεκτάσεις "ελλείψει" θεωριών. Συνετές και ενθουσιώδεις συνέπειες μη μονότονων θεωριών. Κληρονόμηση αντιφατικών ιδιοτήτων από υπερκλάσεις. Συσχέτιση της μη μονότονης συλλογιστικής με τα συστήματα συντήρησης της αλήθειας βασισμένης σε υποθέσεις. Εφαρμογή της μη μονότονης συλλογιστικής στη διάγνωση.
23/12/2004	Επίλυση προηγούμενων θεμάτων εξετάσεων.
11/1/2005	Γενικά περί συλλογιστικής με αβεβαιότητα. Θεωρία βεβαιότητας του MYCIN. Παράγοντας βεβαιότητας, μέτρο πίστης και μέτρο δυσπιστίας. Αριθμητική της θεωρίας βεβαιότητας. Παραδείγματα. Γενικά περί συλλογιστικής με αβεβαιότητα μέσω θεωρίας πιθανοτήτων.
13/1/2005	Δεσμευμένη πιθανότητα. Θεώρημα του Bayes. Ανεξαρτησία ενδεχομένων (απλή και υπό συνθήκη). Πιθανότητα διάξευξης ενδεχομένων. Νόμος της ολικής πιθανότητας. Γενίκευση θεωρήματος Bayes. Παράδειγμα. Διαγράμματα επιρροής (δίκτυα Bayes). Ανεξαρτησία μέσω διαγραμμάτων επιρροής. Τοπολογική ταξινόμηση. Συνδετικά-της-εξάρτησης μονοπάτια. Γραμμικοί, συγκλίνοντες και αποκλίνοντες κόμβοι. Γενικότερη διατυπωση ανεξαρτησίας μέσω διαγραμμάτων επιρροής.