Ενότητα Α: Τεχνητή Νοημοσύνη
- Επισκόπηση της Τεχνητής Νοημοσύνης.
- Περιγραφή προβλημάτων σε χώρο καταστάσεων.
- Μελέτη αλγόριθμων τυφλής αναζήτησης (π.χ. αναζήτηση Πρώτα σε Βάθος, Πρώτα σε Πλάτος, Επαναληπτική Εκβάθυνση, κλπ.). Μελέτη αλγόριθμων ευριστικής συνάρτησης (π.χ. αναζήτηση με Αναρρίχηση Λόφων, Πρώτα στο Καλύτερο, Άλφα-Άστρο (Α*), κλπ.). Αλγόριθμοι αναζήτησης σε παιγνίδια δύο αντιπάλων (π.χ. ο αλγόριθμος Minimax).
- Μελέτη προβλημάτων ικανοποίησης περιορισμών.
- Αναπαράσταση γνώσης και συλλογιστικές. Λογική, δομημένες αναπαραστάσεις γνώσης, συστήματα κανόνων.
- Χειρισμός της αβεβαιότητας με χρήση πιθανοτήτων, με προσέγγιση Dempster-Shafer, κλπ.
- Στοιχεία ασαφούς λογικής. Στοιχεία μη συμβολικών μεθόδων που περιλαμβάνουν νευρωνικά δίκτυα και γενετικούς αλγόριθμους.
Ενότητα Β: Λογικός Προγραμματισμός
- Αρχές λογικού προγραμματισμού
- Ανασκόπηση στον προτασιακό και κατηγορηματικό λογισμό.
- Η αρχή της απόφασης (resolution principle), αντικατάσταση και ενοποίηση.
- Εισαγωγή στην Prolog
- Σχέση της Prolog με τον κατηγορηματικό λογισμό.
- Βασικές έννοιες λογικών προγραμμάτων, γεγονότα, κανόνες, ερωτήσεις, όροι.
- Αναδρομικές δομές δεδομένων, αποκοπή, άρνηση ως αποτυχία.
- Διαδικασίες εισόδου/εξόδου, αριθμητικές ενσωματωμένες διαδικασίες, ορισμός τελεστών.
- Μεθοδολογία προγραμματισμού.
- Εφαρμογές της Prolog σε προβλήματα της Τεχνητής Νοημοσύνης.
- Teacher: Χρήστος Λυτρίδης