Αντικείμενο της τεχνητής νοημοσύνης. Μέθοδοι αναζήτησης. Τυφλή και ευριστική αναζήτηση. Αναζητήσεις πρώτα κατά βάθος και πρώτα κατά πλάτος. Επαναληπτική εμβάθυνση και επαναληπτική διεύρυνση. Αναζήτηση πρώτα ο καλύτερος. Αναρρίχηση λόφου και προσομοιωμένη ανόπτηση. Μέθοδοι A* και IDA*. Παιγνίδια δύο παικτών. Μέθοδοι minimax και α-β. Αναπαράσταση γνώσης και διαδικασία εξαγωγής συμπερασμάτων μέσω λογικής. Προτασιακή λογική και λογική πρώτης τάξης. Προτάσεις Horn και κανονική μορφή τύπων. Skolemization. Κανόνες συμπερασμού. Modus ponens και κανόνας της επίλυσης. Εφαρμογές παραγωγής νέας γνώσης από υπάρχουσα γνώση. Έλεγχος στη συλλογιστική. Συστήματα διατήρησης της αλήθειας. Μη μονότονη συλλογιστική. Συλλογιστική με αβεβαιότητα. Δίκτυα Bayes. Πλαίσια και σημασιολογικά δίκτυα.
