Τεχνητή Νοημοσύνη
Πολυμέσα
Γενικά πολυμεσικά αρχεία | Ημερομηνία | |
---|---|---|
Πληροφορημένη αναζήτηση και εξερεύνηση. Μέρος Γ΄ Δημιουργός: Σταματόπουλος Παναγιώτης, Εκδότης: ΕΘΝΙΚΟ ΚΑΙ ΚΑΠΟΔΙΣΤΡΙΑΚΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΘΗΝΩΝ Αναζήτηση Ομοιόμορφου Κόστου |
21/10/14 | |
Πληροφορημένη αναζήτηση και εξερεύνηση. Μέρος Δ΄. Δημιουργός: Σταματόπουλος Παναγιώτης, Εκδότης: ΕΘΝΙΚΟ ΚΑΙ ΚΑΠΟΔΙΣΤΡΙΑΚΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΘΗΝΩΝ Συνεπείς Ευρετικές συναρτήσεις |
22/10/14 | |
Αλγόριθμοι τοπικής αναζήτησης. Μέρος Β΄. Δημιουργός: Σταματόπουλος Παναγιώτης, Εκδότης: ΕΘΝΙΚΟ ΚΑΙ ΚΑΠΟΔΙΣΤΡΙΑΚΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΘΗΝΩΝ - Αναζήτηση με Αναρρίχηση Λόφων |
4/11/14 | |
Επίλυση προβλημάτων με αναζήτηση, Μέρος Δ΄ Δημιουργός: Σταματόπουλος Παναγιώτης, Εκδότης: ΕΘΝΙΚΟ ΚΑΙ ΚΑΠΟΔΙΣΤΡΙΑΚΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΘΗΝΩΝ - Αναζήτηση πρώτα σε πλάτος (BFS) και αποτίμηση |
14/10/14 | |
Λογική Πρώτης Τάξης: Σημασιολογία. Εισαγωγή. Δημιουργός: Σταματόπουλος Παναγιώτης, Εκδότης: ΕΘΝΙΚΟ ΚΑΙ ΚΑΠΟΔΙΣΤΡΙΑΚΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΘΗΝΩΝ Σύνδεση Προτασιακής Λογικής με την Λογική Πρώτης Τάξης: Σημασιολογία. |
16/12/14 | |
Πληροφορημένη αναζήτηση και εξερεύνηση. Μέρος B΄ Δημιουργός: Σταματόπουλος Παναγιώτης, Εκδότης: ΕΘΝΙΚΟ ΚΑΙ ΚΑΠΟΔΙΣΤΡΙΑΚΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΘΗΝΩΝ - Αναζήτηση Πρώτα στον Καλύτερο |
21/10/14 | |
Αλγόριθμοι τοπικής αναζήτησης. Μέρος Γ' Δημιουργός: Σταματόπουλος Παναγιώτης, Εκδότης: ΕΘΝΙΚΟ ΚΑΙ ΚΑΠΟΔΙΣΤΡΙΑΚΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΘΗΝΩΝ - Γενετικοί Αλγόριθμοι |
5/11/14 | |
Αλγόριθμοι τοπικής αναζήτησης. Μέρος Α΄ Δημιουργός: Σταματόπουλος Παναγιώτης, Εκδότης: ΕΘΝΙΚΟ ΚΑΙ ΚΑΠΟΔΙΣΤΡΙΑΚΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΘΗΝΩΝ - Επαναληπτική βελτίωση |
4/11/14 | |
Ανάλυση. Μέρος Α΄ Δημιουργός: Σταματόπουλος Παναγιώτης, Εκδότης: ΕΘΝΙΚΟ ΚΑΙ ΚΑΠΟΔΙΣΤΡΙΑΚΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΘΗΝΩΝ - Ο κανόνας συμπερασμού της Ανάλυσης στην προτασιακή λογική και τη λογική πρώτης τάξης |
7/1/15 | |
Ανάλυση. Μέρος Β΄ Δημιουργός: Σταματόπουλος Παναγιώτης, Εκδότης: ΕΘΝΙΚΟ ΚΑΙ ΚΑΠΟΔΙΣΤΡΙΑΚΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΘΗΝΩΝ - Ιδιότητες και εφαρμογές της Ανάλυσης. |
7/1/15 | |
Ανάλυση. Μέρος Γ΄ Δημιουργός: Σταματόπουλος Παναγιώτης, Εκδότης: ΕΘΝΙΚΟ ΚΑΙ ΚΑΠΟΔΙΣΤΡΙΑΚΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΘΗΝΩΝ - Ανάλυση με ισότητα |
13/1/15 | |
Ανάλυση. Μέρος Δ΄ Δημιουργός: Σταματόπουλος Παναγιώτης, Εκδότης: ΕΘΝΙΚΟ ΚΑΙ ΚΑΠΟΔΙΣΤΡΙΑΚΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΘΗΝΩΝ - Η ιστορία της Λογικής |
13/1/15 | |
Εισαγωγή στην Τεχνητή Νοημοσύνη, Μέρος Α΄ Δημιουργός: Σταματόπουλος Παναγιώτης, Εκδότης: ΕΘΝΙΚΟ ΚΑΙ ΚΑΠΟΔΙΣΤΡΙΑΚΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΘΗΝΩΝ Tι είναι Τεχνητή Νοημοσύνη (ΤΝ), Ανθρώπινη δράση: Η δοκιμασία Turing, Aνθρώπινη σκέψη: Η προσέγγιση με Γνωστικά Μοντέλα, Ορθολογική σκέψη: Η προσέγγιση με τους Νόμους της Σκέψης, Ορθολογική δράση: Η προσέγγιση με τους ορθολογικούς πράκτορες, πράκτορες, Παραδείγματα πρακτόρων, Βασικές αρχές της ΤΝ, Ιστορία της ΤΝ. |
7/10/14 | |
Εισαγωγή στην Τεχνητή Νοημοσύνη, Μέρος Β΄ Δημιουργός: Σταματόπουλος Παναγιώτης, Εκδότης: ΕΘΝΙΚΟ ΚΑΙ ΚΑΠΟΔΙΣΤΡΙΑΚΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΘΗΝΩΝ Η ιστορία της Τεχνητής Νοημοσύνης, Σύγχρονες τεχνολογίες βασισμένες στη ΤΝ, Μελέτη. |
7/10/14 | |
Επίλυση προβλημάτων με αναζήτηση, Μέρος B΄. Δημιουργός: Σταματόπουλος Παναγιώτης, Εκδότης: ΕΘΝΙΚΟ ΚΑΙ ΚΑΠΟΔΙΣΤΡΙΑΚΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΘΗΝΩΝ - Πράκτορες επίλυσης προβλημάτων |
8/10/14 | |
Επίλυση προβλημάτων με αναζήτηση, Μέρος Α΄ Δημιουργός: Σταματόπουλος Παναγιώτης, Εκδότης: ΕΘΝΙΚΟ ΚΑΙ ΚΑΠΟΔΙΣΤΡΙΑΚΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΘΗΝΩΝ Επίλυση προβλημάτων με αναζήτηση, Πράκτορες, Πως πρέπει να ενεργούν οι πράκτορες |
7/10/14 | |
Επίλυση προβλημάτων με αναζήτηση, Μέρος Γ΄ Δημιουργός: Σταματόπουλος Παναγιώτης, Εκδότης: ΕΘΝΙΚΟ ΚΑΙ ΚΑΠΟΔΙΣΤΡΙΑΚΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΘΗΝΩΝ - Υπολογιστική πολυπλοκότητα |
14/10/14 | |
Επίλυση προβλημάτων με αναζήτηση, Μέρος Ε΄ Δημιουργός: Σταματόπουλος Παναγιώτης, Εκδότης: ΕΘΝΙΚΟ ΚΑΙ ΚΑΠΟΔΙΣΤΡΙΑΚΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΘΗΝΩΝ - Αποφυγή επαναλαμβανομένων καταστάσεων |
15/10/14 | |
Λογική Πρώτης Τάξης: Σημασιολογία. Μέρος Α΄ Δημιουργός: Σταματόπουλος Παναγιώτης, Εκδότης: ΕΘΝΙΚΟ ΚΑΙ ΚΑΠΟΔΙΣΤΡΙΑΚΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΘΗΝΩΝ - Η έννοια της ερμηνείας στη λογική πρώτης τάξης |
16/12/14 | |
Λογική Πρώτης Τάξης: Σημασιολογία. Μέρος Β΄ Δημιουργός: Σταματόπουλος Παναγιώτης, Εκδότης: ΕΘΝΙΚΟ ΚΑΙ ΚΑΠΟΔΙΣΤΡΙΑΚΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΘΗΝΩΝ - Άλλες θεμελιώδεις έννοιες: ικανοποίηση, ικανοποιησιμότητα, αλήθεια, μοντέλο, λογική κάλυψη, εγκυρότητα, ισοδυναμία |
16/12/14 | |
Λογική Πρώτης Τάξης: Σημασιολογία. Μέρος Γ΄ Δημιουργός: Σταματόπουλος Παναγιώτης, Εκδότης: ΕΘΝΙΚΟ ΚΑΙ ΚΑΠΟΔΙΣΤΡΙΑΚΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΘΗΝΩΝ - Μερικά θεωρήματα που θεμελιώνουν τις έννοιες ικανοποίηση, ικανοποιησιμότητα, αλήθεια, μοντέλο, λογική κάλυψη, εγκυρότητα, ισοδυναμία |
17/12/14 | |
Λογική Πρώτης Τάξης: Συμπερασμός. Μέρος Γ΄ Δημιουργός: Σταματόπουλος Παναγιώτης, Εκδότης: ΕΘΝΙΚΟ ΚΑΙ ΚΑΠΟΔΙΣΤΡΙΑΚΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΘΗΝΩΝ - Ημιαποφασιμότητα της λογικής κάλυψης |
23/12/14 | |
Λογική Πρώτης Τάξης: Συμπερασμός. Μέρος Α΄ Δημιουργός: Σταματόπουλος Παναγιώτης, Εκδότης: ΕΘΝΙΚΟ ΚΑΙ ΚΑΠΟΔΙΣΤΡΙΑΚΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΘΗΝΩΝ - Κανόνες συμπερασμού - Η έννοια της παραγωγής ή απόδειξης - Ορθές και πλήρεις μέθοδοι συμπερασμού - Η έννοια της αντικατάστασης - Η εύρεση απόδειξης ως πρόβλημα αναζήτησης - Αναγωγή σε προτασιακή λογική - Θεώρημα του Herbrand Παρουσίαση: inference1spp.pdf . Διαφάνειες: 1 - 32. |
17/12/14 | |
Λογική Πρώτης Τάξης: Συμπερασμός. Μέρος Β΄ Δημιουργός: Σταματόπουλος Παναγιώτης, Εκδότης: ΕΘΝΙΚΟ ΚΑΙ ΚΑΠΟΔΙΣΤΡΙΑΚΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΘΗΝΩΝ - Ημιαποφασιμότητα της λογικής κάλυψης |
17/12/14 | |
Λογική Πρώτης Τάξης: Συμπερασμός. Μέρος Δ΄. Δημιουργός: Σταματόπουλος Παναγιώτης, Εκδότης: ΕΘΝΙΚΟ ΚΑΙ ΚΑΠΟΔΙΣΤΡΙΑΚΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΘΗΝΩΝ - Παραδείγματα Datalog: Μονοπάτια σε ένα Γράφο |
23/12/14 | |
Λογική Πρώτης Τάξης: Συντακτικό. Μέρος Α΄. Δημιουργός: Σταματόπουλος Παναγιώτης, Εκδότης: ΕΘΝΙΚΟ ΚΑΙ ΚΑΠΟΔΙΣΤΡΙΑΚΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΘΗΝΩΝ Παρουσίαση: fol-syntax1spp.pdf. Διαφάνειες: 1 - 17. |
9/12/14 | |
Λογική Πρώτης Τάξης: Συντακτικό. Μέρος Α'. Δημιουργός: Κουμπαράκης Μανώλης , Εκδότης: ΕΘΝΙΚΟ ΚΑΙ ΚΑΠΟΔΙΣΤΡΙΑΚΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΘΗΝΩΝ - Οντολογικές υποθέσεις της Λογικής Πρώτης Τάξης |
1/12/15 | |
Λογική Πρώτης Τάξης: Συντακτικό. Μέρος Β΄ Δημιουργός: Σταματόπουλος Παναγιώτης, Εκδότης: ΕΘΝΙΚΟ ΚΑΙ ΚΑΠΟΔΙΣΤΡΙΑΚΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΘΗΝΩΝ Παρουσίαση: fol-syntax1spp.pdf. Διαφάνειες: 17 - . |
9/12/14 | |
Λογική Πρώτης Τάξης: Συντακτικό. Μέρος Β'. Δημιουργός: Κουμπαράκης Μανώλης , Εκδότης: ΕΘΝΙΚΟ ΚΑΙ ΚΑΠΟΔΙΣΤΡΙΑΚΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΘΗΝΩΝ - Οντολογικές υποθέσεις της Λογικής Πρώτης Τάξης |
1/12/15 | |
Λογική Πρώτης Τάξης: Συντακτικό. Μέρος Γ΄. Δημιουργός: Σταματόπουλος Παναγιώτης, Εκδότης: ΕΘΝΙΚΟ ΚΑΙ ΚΑΠΟΔΙΣΤΡΙΑΚΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΘΗΝΩΝ ΠΡΟΒΛΗΜΑ ΗΧΟΥ. Χρησιμοποιούμε του 2015. |
10/12/14 | |
Πληροφορημένη αναζήτηση και εξερεύνηση. Μέρος Α΄ Δημιουργός: Σταματόπουλος Παναγιώτης, Εκδότης: ΕΘΝΙΚΟ ΚΑΙ ΚΑΠΟΔΙΣΤΡΙΑΚΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΘΗΝΩΝ - Στρατηγικές Πληροφορημένης (Ευρετικής) Αναζήτησης |
15/10/14 | |
Πληροφορημένη αναζήτηση και εξερεύνηση. Μέρος Ε΄. Δημιουργός: Σταματόπουλος Παναγιώτης, Εκδότης: ΕΘΝΙΚΟ ΚΑΙ ΚΑΠΟΔΙΣΤΡΙΑΚΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΘΗΝΩΝ Παρουσίαση:heuristic1spp.pdf. Διαφάνειες: 35- τέλος. |
22/10/14 | |
Προβλήματα ικανοποίησης περιορισμών. Μέρος Α΄ Δημιουργός: Σταματόπουλος Παναγιώτης, Εκδότης: ΕΘΝΙΚΟ ΚΑΙ ΚΑΠΟΔΙΣΤΡΙΑΚΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΘΗΝΩΝ Το πρόβλημα ήχου διορθώνεται μετά το 00:35:40. |
11/11/14 | |
Προβλήματα ικανοποίησης περιορισμών. Μέρος Β΄. Δημιουργός: Σταματόπουλος Παναγιώτης, Εκδότης: ΕΘΝΙΚΟ ΚΑΙ ΚΑΠΟΔΙΣΤΡΙΑΚΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΘΗΝΩΝ - Δυαδικοί - Μη δυαδικοί περιορισμοί |
11/11/14 | |
Προβλήματα ικανοποίησης περιορισμών. Μέρος Γ΄. Δημιουργός: Σταματόπουλος Παναγιώτης, Εκδότης: ΕΘΝΙΚΟ ΚΑΙ ΚΑΠΟΔΙΣΤΡΙΑΚΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΘΗΝΩΝ - Ευρετικοί μηχανισμοί επιλογής μεταβλητών |
12/11/14 | |
Προβλήματα ικανοποίησης περιορισμών. Μέρος Δ΄ Δημιουργός: Σταματόπουλος Παναγιώτης, Εκδότης: ΕΘΝΙΚΟ ΚΑΙ ΚΑΠΟΔΙΣΤΡΙΑΚΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΘΗΝΩΝ - Αλγόριθμοι υπαναχώρησης, αλγόριθμος BT |
18/11/14 | |
Προβλήματα ικανοποίησης περιορισμών. Μέρος Ε΄ Δημιουργός: Σταματόπουλος Παναγιώτης, Εκδότης: ΕΘΝΙΚΟ ΚΑΙ ΚΑΠΟΔΙΣΤΡΙΑΚΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΘΗΝΩΝ - Ευφυής υπαναχώρηση |
18/11/14 | |
Προβλήματα ικανοποίησης περιορισμών. Μέρος ΣΤ΄ Δημιουργός: Σταματόπουλος Παναγιώτης, Εκδότης: ΕΘΝΙΚΟ ΚΑΙ ΚΑΠΟΔΙΣΤΡΙΑΚΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΘΗΝΩΝ - Αλγόριθμοι τοπικής αναζήτησης για CSP |
19/11/14 | |
Προτασιακή Λογική, Μέρος Δ΄. Δημιουργός: Σταματόπουλος Παναγιώτης, Εκδότης: ΕΘΝΙΚΟ ΚΑΙ ΚΑΠΟΔΙΣΤΡΙΑΚΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΘΗΝΩΝ Παρουσίαση: propositional.pdf. Διαφάνειες: 85 - τέλος. |
9/12/14 | |
Προτασιακή Λογική. Μέρος Α΄ Δημιουργός: Σταματόπουλος Παναγιώτης, Εκδότης: ΕΘΝΙΚΟ ΚΑΙ ΚΑΠΟΔΙΣΤΡΙΑΚΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΘΗΝΩΝ Βασικές έννοιες. |
2/12/14 | |
Προτασιακή Λογική. Μέρος Β΄ Δημιουργός: Σταματόπουλος Παναγιώτης, Εκδότης: ΕΘΝΙΚΟ ΚΑΙ ΚΑΠΟΔΙΣΤΡΙΑΚΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΘΗΝΩΝ Παρουσίαση: propositional.pdf. Διαφάνειες: 23 - 63. |
2/12/14 | |
Προτασιακή Λογική. Μέρος Γ΄. Δημιουργός: Σταματόπουλος Παναγιώτης, Εκδότης: ΕΘΝΙΚΟ ΚΑΙ ΚΑΠΟΔΙΣΤΡΙΑΚΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΘΗΝΩΝ Παρουσίαση: propositional.pdf. Διαφάνειες: 64 - 84. |
3/12/14 | |
Φροντιστήριο Δημιουργός: Σταματόπουλος Παναγιώτης, Εκδότης: ΕΘΝΙΚΟ ΚΑΙ ΚΑΠΟΔΙΣΤΡΙΑΚΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΘΗΝΩΝ CSPs Tutorial 2: Algorithms |
19/11/14 | |
Φροντιστήριο Δημιουργός: Σταματόπουλος Παναγιώτης, Εκδότης: ΕΘΝΙΚΟ ΚΑΙ ΚΑΠΟΔΙΣΤΡΙΑΚΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΘΗΝΩΝ CSPs Tutorial 1: Modeling Examples |
12/11/14 | |
Φροντιστήριο Δημιουργός: Σταματόπουλος Παναγιώτης, Εκδότης: ΕΘΝΙΚΟ ΚΑΙ ΚΑΠΟΔΙΣΤΡΙΑΚΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΘΗΝΩΝ Προτασιακή Λογική. |
10/12/14 | |
Φροντιστήριο 05-11-2014 Δημιουργός: Σταματόπουλος Παναγιώτης, Εκδότης: ΕΘΝΙΚΟ ΚΑΙ ΚΑΠΟΔΙΣΤΡΙΑΚΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΘΗΝΩΝ Sliding blocks. |
5/11/14 | |
Φροντιστήριο, Μέρος Β΄ Δημιουργός: Σταματόπουλος Παναγιώτης, Εκδότης: ΕΘΝΙΚΟ ΚΑΙ ΚΑΠΟΔΙΣΤΡΙΑΚΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΘΗΝΩΝ Τεχνητή Νοημοσύνη [10h] |
29/10/14 | |
Φροντιστήριο: Εισαγωγή στην Python Δημιουργός: Σταματόπουλος Παναγιώτης, Εκδότης: ΕΘΝΙΚΟ ΚΑΙ ΚΑΠΟΔΙΣΤΡΙΑΚΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΘΗΝΩΝ 08-10-2014 Εισαγωγή σε βασικά γνωρίσματα της Python, όπως: |
8/10/14 | |
Φροντιστήριο. Μέρος Α. Δημιουργός: Σταματόπουλος Παναγιώτης, Εκδότης: ΕΘΝΙΚΟ ΚΑΙ ΚΑΠΟΔΙΣΤΡΙΑΚΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΘΗΝΩΝ Τεχνητή Νοημοσύνη [09h] |
29/10/14 |