Το μάθημα ασχολείται με τις θεμελιώδεις έννοιες και αλγορίθμους της παραδοσιακής, άλλως συμβολικής, Τεχνητής Νοημοσύνης. Ειδικότερα εμβαθύνει σε επίλυση προβλημάτων με αλγορίθμους αναζήτησης, ανταγωνιστικά παίγνια, προβλήματα ικανοποίησης περιορισμών, προτασιακή λογική και λογική πρώτης τάξης. Προετοιμάζει έτσι τον φοιτητή να προχωρήσει σε πιο σύγχρονα θέματα της Τεχνητής Νοημοσύνης, όπως η πιθανοτική συλλογιστική και η μηχανική μάθηση.
Βασικές αρχές. Ιστορία της ΤΝ. Σύγχρονη τεχνολογία. Ευφυείς πράκτορες. Επίλυση προβλημάτων με αναζήτηση.
Αλγόριθμοι απληροφόρητης αναζήτησης. Αναζήτηση πρώτα σε πλάτος, αναζήτηση πρώτα σε βάθος, επαναληπτική εκβάθυνση, αναζήτηση διπλής κατεύθυνσης. Αποφυγή επαναλαμβανόμενων καταστάσεων.
Αναζήτηση πρώτα στο καλύτερο. Αναζήτηση Α*. Ευρετικές συναρτήσεις. Χαλαρά προβλήματα.
Προβλήματα βελτιστοποίησης. Αναρρίχηση λόφων. Προσομοιωμένη ανόπτηση.
Ανάθεση 1ης εργασίας.
Διάδοση περιορισμών. Έλεγχος συνέπειας. Τοπική αναζήτηση.
Αλγόριθμος minimax.
Κλάδεμα άλφα-βήτα. Ευρετικές συναρτήσεις. Παιχνίδια τύχης.
Ο κόσμος του Wumpus. Πρότυπα συλλογιστικής. Τρόπος του θέτειν. Τεχνική της ανάλυσης. Κανονική συζευκτική μορφή.
Αλγόριθμος DPLL. Αλγόριθμοι τοπικής αναζήτησης.
Κατηγορήματα. Αντικείμενα. Ποσοδείκτες. Αναπαράσταση γνώσης.
Προς τα εμπρός αλυσίδα εκτέλεσης. Προς τα πίσω αλυσίδα εκτέλεσης. Ανάλυση.