Τεχνητή Νοημοσύνη

• Tι είναι Τεχνητή Νοημοσύνη (ΤΝ),
• Ανθρώπινη δράση: Η δοκιμασία Turing,
• Aνθρώπινη σκέψη: Η προσέγγιση με Γνωστικά Μοντέλα,
• Ορθολογική σκέψη: Η προσέγγιση με τους Νόμους της Σκέψης,
• Ορθολογική δράση: Η προσέγγιση με τους ορθολογικούς πράκτορες,
• Πράκτορες,
• Παραδείγματα πρακτόρων,
• Βασικές αρχές της ΤΝ,
• Ιστορία της ΤΝ. 
• Σύγχρονες τεχνολογίες βασισμένες στη ΤΝ,
• Περαιτέρω μελέτη για την ΤΝ.

• Επίλυση προβλημάτων με αναζήτηση
• Πράκτορες
• Πως πρέπει να ενεργούν οι πράκτορες
• Υποθέσεις
• Πράκτορες βασισμένοι στο στόχο
• Πράκτορες επίλυσης προβλημάτων
• Παράδειγμα: Εύρεση διαδρομής στη Ρουμανία
• Το πρώτο μας Πρόγραμμα Πράκτορα
• Η δομή ενός Πράκτορα
• Προβλήματα ή προβλήματα αναζήτησης
• Η διατύπωση σαν πρόβλημα αναζήτησης
• Το πρόβλημα των 8 πλακιδίων
• Το πρόβλημα των 8 Βασιιλισσών
• Προβλήματα αναζήτησης στον πραγματικό κόσμο
• Υπολογιστική πολυπλοκότητα
• Αναζήτηση λύσεων
• Ο Γενικός Αλγόριθμος Αναζήτησης σε Δένδρο
• Κόμβοι του Δένδρου Αναζήτησης 
• Το Σύνορο
• Αλγόριθμοι αναζήτησης
• Στρατηγικές απληροφόρητης αναζήτησης
• Αναζήτηση πρώτα σε πλάτος (BFS) και αποτίμηση
• Αναζήτηση Ομοιόμορφου Κόστους (UCS), αποτίμηση και παράδειγμα
• Σύγκριση UCS με τον BFS και με τον αλγόριθμο του Dijkstra
• Αναζήτηση πρώτα σε βάθος (DLS)
• Αναζήτηση Επαναληπτικής Εκβάθυνσης (IDS), παράδειγμα και αποτίμηση IDS
• Αμφίδρομη αναζήτηση, αποτίμηση
• Αποφυγή επαναλαμβανομένων καταστάσεων
• Ο Γενικός Αλγόριθμος Αναζήτησης σε γράφους

• Στρατηγικές Πληροφορημένης (Ευρετικής) Αναζήτησης
• Ευρετικές Συναρτήσεις
• Αναζήτηση Πρώτα στον Καλύτερο
• Συναρτήσεις αξιολόγησης και ευρετικές συναρτήσεις
• Άπληστη αναζήτηση Πρώτα στον Καλύτερο. Παράδειγμα και αποτίμηση.
• Αναζήτηση Ομοιόμορφου Κόστους
• Συνεπείς Ευρετικές συναρτήσεις
• Το πρόβλημα των 8 πλακιδίων
• Χαλαρωμένες εκδοχές ενός προβλήματος
• Υποπροβλήματα και βάσεις προτύπων
• Εκμάθηση Ευρετικών Μηχανισμών

• Επαναληπτική βελτίωση
• Αλγόριθμοι τοπικής αναζήτησης
• Τοπική ή Εξαντλητική αναζήτηση
• Ο αλγόριθμος 2-Opt
• Εναλλαγή 2 ακμών
• Το τοπίο του χώρου καταστάσεων
• Αναζήτηση με Αναρρίχηση Λόφων
• Ο αλγόριθμος της Προσομοιωμένης Ανόπτησης
• Τοπική Ακτινική Αναζήτηση (Local Beam Search)
• Γενετικοί Αλγόριθμοι

• Προβλήματα ικανοποίησης περιορισμών (CSP)
• Προβλήματα αναζήτησης
• Γράφοι περιορισμών (Constraint Graphs)
• Κρυπταριθμητική - Τυπικός ορισμός
• Είδη περιορισμών σε πραγματικές εφαρμογές
• Άλλα παραδείγματα CSP
• Τεχνολογία CSP
• Μια ταξινόμηση των CSP
• Δυαδικοί - Μη δυαδικοί περιορισμοί
• Αλγόριθμοι αναζήτησης για CSP
• Αλγόριθμοι υπαναχώρησης, αλγόριθμος BT
• Ευρετικοί μηχανισμοί επιλογής μεταβλητών
• Διάδοση περιορισμών
• Πρώιμος έλεγχος (FC)
• Συνέπεια ακμής
• Αλγόριθμος AC-3
• Άλλες και ισχυρότερες έννοιες συνέπειας, k-συνέπεια
• Ευφυής υπαναχώρηση
• Αδιέξοδο - σύνολο συγκρούσεων
• Υβριδικοί αλγόριθμοι
• Αξιολόγηση αλγόριθμων υπαναχώρησης
• Αλγόριθμοι τοπικής αναζήτησης για CSP
• O ευρετικός μηχανισμός των ελάχιστων συγκρούσεων
• Προβλήματα χρονοπρογραμματισμού
• On-line περιβάλλοντα
• Η δομή ενός CSP

• Βασικές έννοιες
• Γλώσσες αναπαράστασης γνώσης βασισμένες στη Λογική
• Προτασιακή λογική

• Οντολογικές υποθέσεις της Λογικής Πρώτης Τάξης
• Συντακτικό
• Σύμβολα
• Η έννοια του λεξιλογίου, όροι, ατομικοί τύποι, καλά ορισμένοι τύποι
• Κανόνες προτεραιότητας
• Εμφανίσεις μεταβλητών, ελεύθερες και δεσμευμένες
• Αναπαράσταση Γνώσης και Φυσικές Γλώσσες

• Η έννοια της ερμηνείας στη λογική πρώτης τάξης
• Άλλες θεμελιώδεις έννοιες: ικανοποίηση, ικανοποιησιμότητα, αλήθεια, μοντέλο,  λογική κάλυψη, εγκυρότητα, ισοδυναμία
• Μερικά θεωρήματα που θεμελιώνουν τις παραπάνω έννοιες
• Παραδείγματα

• Κανόνες συμπερασμού
• Η έννοια της παραγωγής ή απόδειξης
• Ορθές και πλήρεις μέθοδοι συμπερασμού
• Η έννοια της αντικατάστασης
• Η εύρεση απόδειξης ως πρόβλημα αναζήτησης
• Αναγωγή σε προτασιακή λογική
• Θεώρημα του Herbrand
• Ημιαποφασιμότητα της λογικής κάλυψης
• Η έννοια της ενοποίησης (Unification)
• Γενικευμένος τρόπος του Θέτειν
• Ορθότητα του GMP, λεκτικά, φράσεις Horn, Γεγονότα, Κανόνες, Datalog
• Παραδείγματα Datalog: Μονοπάτια σε ένα Γράφο
• Προτυποποίηση μεταβλητών
• Προς τα εμπρός και πίσω αλυσίδες εκτέλεσης

• Ο κανόνας συμπερασμού της Ανάλυσης στην προτασιακή λογική και τη λογική πρώτης τάξης
• Συζευτική κανονική μορφή
• Φράσεις, ένας ισοδύναμος ορισμός. Αναθεωρημένος ορισμός της Ανάλυσης.
• Ιδιότητες και εφαρμογές της Ανάλυσης.
• Διατύπωση σε Λογική Πρώτης Τάξεως
• Συζευτική κανονική μορφή και παραδείγματα
• Ανάλυση, Εγκυρότητα, Μη-Ικανοποιησιμότητα
• Χρήση της Ανάλυσης για απάντηση Ερωτημάτων
• Ανάλυση με ισότητα
• Οι κανόνες της Αποδιαμόρφωσης και της Παραδιαμόρφωσης
• Η γλώσσα Prolog και δένδρο απόδειξης
• Η ιστορία της Λογικής

Εισαγωγή σε βασικά γνωρίσματα της Python, όπως:

• Variable declarations
• Flow control
• Input (Standar input & Command line arguments)
• Function definitions, generators, value vs reference
• Mutable/immutable objects
• Lists, tuples, dictionaries, sets
• List comprehensions
• Files manipulation

Διαφάνειες φροντιστηρίου

• A star διαφάνειες
• Missionaries And Canibals

Παραδειγματικά αρχεία φροντιστηρίου:

• framework.zip

Sliding blocks.

CSPs Tutorial 1: Modeling Examples

CSPs Tutorial 2: Algorithms

Διαφάνειες: Propositional Logic

Εργασίες - Ασκήσεις