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

Τεχνητή Νοημοσύνη [09h]

08-10-2014 Εισαγωγή σε βασικά γνωρίσματα της 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

Τεχνητή Νοημοσύνη [10h]

Sliding blocks.

CSPs Tutorial 2: Algorithms

CSPs Tutorial 1: Modeling Examples

Προτασιακή Λογική.

Παρουσίαση: propositional.pdf. Διαφάνειες: 64 - 84.

Παρουσίαση: propositional.pdf. Διαφάνειες: 23 - 63.

Βασικές έννοιες.

Παρουσίαση: propositional.pdf. Διαφάνειες: 1 - 23.

Παρουσίαση: propositional.pdf. Διαφάνειες: 85 - τέλος.

- Αλγόριθμοι τοπικής αναζήτησης για CSP
- O ευρετικός μηχανισμός των ελάχιστων συγκρούσεων
- Προβλήματα χρονοπρογραμματισμού
- On-line περιβάλλοντα
- Η δομή ενός CSP

Παρουσίαση: csp1spp.pdf .

- Ευφυής υπαναχώρηση
- Αδιέξοδο - σύνολο συγκρούσεων
- Υβριδικοί αλγόριθμοι
- Αξιολόγηση αλγόριθμων υπαναχώρησης
Παρουσίαση: csp1spp.pdf .

- Αλγόριθμοι υπαναχώρησης, αλγόριθμος BT
- Ευρετικοί μηχανισμοί επιλογής μεταβλητών
- Διάδοση περιορισμών
- Πρώιμος έλεγχος (FC)
- Συνέπεια ακμής
- Αλγόριθμος AC-3
- Άλλες και ισχυρότερες έννοιες συνέπειας, k-συνέπεια
- Ευφυής υπαναχώρηση

Παρουσίαση: csp1spp.pdf. Διαφάνειες: 35 - 49.

- Ευρετικοί μηχανισμοί επιλογής μεταβλητών
- Διάδοση περιορισμών
- Πρώιμος έλεγχος (FC)
- Συνέπεια ακμής
Παρουσίαση: csp1spp.pdf.pdf. Διαφάνειες: 35 - 49.

- Δυαδικοί - Μη δυαδικοί περιορισμοί
- Αλγόριθμοι αναζήτησης για CSP
- Αλγόριθμοι υπαναχώρησης, αλγόριθμος BT
- Ευρετικοί μηχανισμοί επιλογής μεταβλητών

Παρουσίαση: csp1spp.pdf.pdf. Διαφάνειες: 19 - 34.

Το πρόβλημα ήχου διορθώνεται μετά το 00:35:40.

- Προβλήματα ικανοποίησης περιορισμών (CSP)
- Προβλήματα αναζήτησης
- Γράφοι περιορισμών (Constraint Graphs)
- Κρυπταριθμητική - Τυπικός ορισμός
- Είδη περιορισμών σε πραγματικές εφαρμογές
- Άλλα παραδείγματα CSP
- Τεχνολογία CSP
- Μια ταξινόμηση των CSP
???Δυαδικοί - Μη δυαδικοί περιορισμοί

Παρουσίαση: csp1spp.pdf.pdf. Διαφάνειες: 1 - 18.

Παρουσίαση:heuristic1spp.pdf. Διαφάνειες: 35- τέλος.

- Στρατηγικές Πληροφορημένης (Ευρετικής) Αναζήτησης
- Ευρετικές Συναρτήσεις
- Αναζήτηση Πρώτα στον Καλύτερο
Παρουσίαση:heuristic1spp.pdf. Διαφάνειες: 1 - 7.

ΠΡΟΒΛΗΜΑ ΗΧΟΥ. Χρησιμοποιούμε του 2015.

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

Παρουσίαση: fol-syntax1spp.pdf. Διαφάνειες: 13 - τέλος.

Παρουσίαση: fol-syntax1spp.pdf. Διαφάνειες: 17 - .
ΠΡΟΒΛΗΜΑ ΗΧΟΥ. Χρησιμοποιούμε του 2015.

- Οντολογικές υποθέσεις της Λογικής Πρώτης Τάξης

Παρουσίαση: fol-syntax1spp.pdf. Διαφάνειες 1 - 13.

Παρουσίαση: fol-syntax1spp.pdf. Διαφάνειες: 1 - 17.
ΠΡΟΒΛΗΜΑ ΗΧΟΥΠΡΟΒΛΗΜΑ ΗΧΟΥ. Χρησιμοποιούμε του 2015.

- Παραδείγματα Datalog: Μονοπάτια σε ένα Γράφο
- Προτυποποίηση μεταβλητών
- Προς τα εμπρός και πίσω αλυσίδες εκτέλεσης

Παρουσίαση: inference1spp.pdf . Διαφάνειες: 63 - τέλος.

- Ημιαποφασιμότητα της λογικής κάλυψης

Παρουσίαση: inference1spp.pdf . Διαφάνειες: 33 - 38.

- Κανόνες συμπερασμού - Η έννοια της παραγωγής ή απόδειξης - Ορθές και πλήρεις μέθοδοι συμπερασμού - Η έννοια της αντικατάστασης - Η εύρεση απόδειξης ως πρόβλημα αναζήτησης - Αναγωγή σε προτασιακή λογική - Θεώρημα του Herbrand Παρουσίαση: inference1spp.pdf . Διαφάνειες: 1 - 32.

- Ημιαποφασιμότητα της λογικής κάλυψης
- Η έννοια της ενοποίησης (Unification)
- Γενικευμένος τρόπος του Θέτειν
- Ορθότητα του GMP, λεκτικά, φράσεις Horn, Γεγονότα, Κανόνες, Datalog

Παρουσίαση: inference1spp.pdf . Διαφάνειες: 35 - 63.

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

Παρουσίαση: fol-semantics1spp.pdf . Διαφάνειες: 48 - τέλος.

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

Παρουσίαση: fol-semantics1spp.pdf . Διαφάνειες: 28 - 47.

- Η έννοια της ερμηνείας στη λογική πρώτης τάξης
- Άλλες θεμελιώδεις έννοιες: ικανοποίηση, ικανοποιησιμότητα, αλήθεια, μοντέλο, λογική κάλυψη, εγκυρότητα, ισοδυναμία
Παρουσίαση: fol-semantics1spp.pdf . Διαφάνειες: 1 - 27.

- Αποφυγή επαναλαμβανομένων καταστάσεων
- Ο Γενικός Αλγόριθμος Αναζήτησης σε γράφους
Παρουσίαση: blind1spp.pdf. Διαφάνειες: 51 - τέλος.

- Υπολογιστική πολυπλοκότητα
- Αναζήτηση λύσεων
- Ο Γενικός Αλγόριθμος Αναζήτησης σε Δένδρο
- Κόμβοι του Δένδρου Αναζήτησης
- Το Σύνορο
- Αλγόριθμοι αναζήτησης
- Στρατηγικές απληροφόρητης αναζήτησης

Παρουσίαση: blind1spp.pdf. Διαφάνειες: 24 - 33.

Επίλυση προβλημάτων με αναζήτηση, Πράκτορες, Πως πρέπει να ενεργούν οι πράκτορες

- Πράκτορες επίλυσης προβλημάτων
- Παράδειγμα: Εύρεση διαδρομής στη Ρουμανία
- Το πρώτο μας Πρόγραμμα Πράκτορα
- Η δομή ενός Πράκτορα
- Προβλήματα ή προβλήματα αναζήτησης
- Η διατύπωση σαν πρόβλημα αναζήτησης
- Το πρόβλημα των 8 πλακιδίων
- Το πρόβλημα των 8 Βασιιλισσών
- Προβλήματα αναζήτησης στον πραγματικό κόσμο
- Υπολογιστική πολυπλοκότητα

Παρουσίαση: blind1spp.pdf. Διαφάνειες: 7 - 23.

Η ιστορία της Τεχνητής Νοημοσύνης, Σύγχρονες τεχνολογίες βασισμένες στη ΤΝ, Μελέτη.

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

- Η ιστορία της Λογικής

Παρουσίαση: resolution1spp.pdf . Διαφάνειες: 69 - τέλος.

- Ανάλυση με ισότητα
- Οι κανόνες της Αποδιαμόρφωσης και της Παραδιαμόρφωσης
- Η γλώσσα Prolog και δένδρο απόδειξης

Παρουσίαση: resolution1spp.pdf . Διαφάνειες: 50 - 68.

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

Παρουσίαση: resolution1spp.pdf . Διαφάνειες: 28 - 49.

- Ο κανόνας συμπερασμού της Ανάλυσης στην προτασιακή λογική και τη λογική πρώτης τάξης
- Συζευτική κανονική μορφή
- Φράσεις, ένας ισοδύναμος ορισμός. Αναθεωρημένος ορισμός της Ανάλυσης.
- Ιδιότητες και εφαρμογές της Ανάλυσης.

Παρουσίαση: resolution1spp.pdf . Διαφάνειες: 1 - 27.

- Επαναληπτική βελτίωση
- Αλγόριθμοι τοπικής αναζήτησης
- Τοπική ή Εξαντλητική αναζήτηση
- Ο αλγόριθμος 2-Opt
- Εναλλαγή 2 ακμών
- Το τοπίο του χώρου καταστάσεων
- Αναζήτηση με Αναρρίχηση Λόφων.

Παρουσίαση:local-search1spp.pdf. Διαφάνειες: 1 - 16.

- Γενετικοί Αλγόριθμοι
Παρουσίαση:local-search1spp.pdf. Διαφάνειες: 35 - .

- Αναζήτηση Πρώτα στον Καλύτερο
- Συναρτήσεις αξιολόγησης και ευρετικές συναρτήσεις
- Άπληστη αναζήτηση Πρώτα στον Καλύτερο. Παράδειγμα και αποτίμηση.
- Αναζήτηση Ομοιόμορφου Κόστους

Παρουσίαση:heuristic1spp.pdf. Διαφάνειες: 1 - 18.

Σύνδεση Προτασιακής Λογικής με την Λογική Πρώτης Τάξης: Σημασιολογία.

- Αναζήτηση πρώτα σε πλάτος (BFS) και αποτίμηση
- Αναζήτηση Ομοιόμορφου Κόστους (UCS), αποτίμηση και παράδειγμα
- Σύγκριση UCS με τον BFS και με τον αλγόριθμο του Dijkstra
- Αναζήτηση πρώτα σε βάθος (DLS)
- Αναζήτηση Επαναληπτικής Εκβάθυνσης (IDS), παράδειγμα και αποτίμηση IDS
- Αμφίδρομη αναζήτηση, αποτίμηση
- Αποφυγή επαναλαμβανομένων καταστάσεων
- Ο Γενικός Αλγόριθμος Αναζήτησης σε γράφους

Παρουσίαση: blind1spp.pdf. Διαφάνειες: 33 - 51.

- Αναζήτηση με Αναρρίχηση Λόφων
- Ο αλγόριθμος της Προσομοιωμένης Ανόπτησης
- Τοπική Ακτινική Αναζήτηση (Local Beam Search)

Παρουσίαση:local-search1spp.pdf. Διαφάνειες: 16 - 35.

Συνεπείς Ευρετικές συναρτήσεις
Το πρόβλημα των 8 πλακιδίων

Παρουσίαση:heuristic1spp.pdf. Διαφάνειες: 21-34.

Αναζήτηση Ομοιόμορφου Κόστου

Παρουσίαση:heuristic1spp.pdf. Διαφάνειες: 18-24.