Μάθημα : Τεχνητή Νοημοσύνη
Κωδικός : INF153
Αρχικός κατάλογος slides_2025_26
Οι διαφάνειες των διαλέξεων του 2025-26. Θα αφαιρούνται σταδιακά διαφάνειες που έχουν επικαιροποιηθεί για το 2026-27.
| Όνομα | Μέγεθος | Ημερομηνία | ||
|---|---|---|---|---|
|
|
Εξαγωγή συμπερασμάτων προς τα εμπρός και πίσω με προτάσεις Horn πρωτοβάθμιας κατηγορηματικής λογικής. Λογικός προγραμματισμός και βασικές αρχές λειτουργίας Prolog.
|
1.34 MB | 7/1/26, 10:42 π.μ. | |
|
|
Συλλογιστική με πρωτοβάθμια κατηγορηματική λογική: απαλοιφή καθολικών και υπαρξιακών ποσοδεικτών, μετατροπή σε κανονική συζευκτική μορφή, ενοποίηση και εξαγωγή συμπερασμάτων με τον κανόνα της ανάλυσης (resolution), ημι-αποκρισιμότητα της ΠΚΛ.
|
778.54 KB | 7/1/26, 10:31 π.μ. | |
|
|
Σημασιολογία πρωτοβάθμιας κατηγορηματικής λογικής.
|
472.8 KB | 7/1/26, 10:26 π.μ. | |
|
|
Εξαγωγή συμπερασμάτων με προτάσεις Horn προτασιακής λογικής. Πρωτοβάθμια κατηγορηματική λογική (ΠΚΛ): Συντακτικό και παράσταση γνώσεων με ΠΚΛ.
|
1016.15 KB | 7/1/26, 10:01 π.μ. | |
|
|
Περισσότερα για τη προτασιακή λογική: εγκυρότητα και ικανοποιησιμότητα, εξαγωγή συμπερασμάτων με αναζήτηση απόδειξης, εξαγωγή συμπερασμάτων με ανάλυση (resolution).
|
949.4 KB | 19/12/25, 3:30 μ.μ. | |
|
|
Ευφυής συμπεριφορά βασισμένη σε λογικούς συλλογισμούς. Προτασιακή λογική: σύνταξη και σημασιολογία, μοντέλα και ταυτολογική συνεπαγωγή, ορθότητα και πληρότητα, εξαγωγή συμπερασμάτων με αναζήτηση μοντέλων.
|
1.97 MB | 17/12/25, 6:39 μ.μ. | |
|
|
Αρχιτεκτονική Transfomer. BERT. Μεγάλα γλωσσικά μοντέλα (LLMs) βασισμένα σε Transformers. Χρήση προτροπών (prompting). Προσθήκη όρασης σε LLMs (VLMs). (Διπλή διάλεξη.)
|
2.58 MB | 7/1/26, 10:03 π.μ. | |
|
|
Συνελικτικά νευρωνικά δίκτυα (CNNs) και εφαρμογές στην υπολογιστική όραση. Προ-εκπαιδευμένα νευρωνικά δίκτυα. Επαύξηση δεδομένων (data augmentation).
|
1.75 MB | 4/12/25, 12:17 μ.μ. | |
|
|
Ανατροφοδοτούμενα νευρωνικά δίκτυα (RNNs), στοιβαγμένα (stacked) και διπλής κατεύθυνσης RNNs. RNNs με κελιά GRU ή LSTM. RNNs με αυτό-προσοχή (self-attention). Global max pooling. Κατηγοριοποίηση λέξεων και κειμένων με RNNs. Νευρωνικά γλωσσικά μοντέλα.
|
1.94 MB | 1/12/25, 3:19 μ.μ. | |
|
|
Ενθέσεις λέξεων (word embeddings). Παράσταση κειμένων με κεντροειδή ενθέσεων λέξεων. Κατηγοριοποίηση κειμένων με MLPs και διανύσματα TF-IDF ή κεντροειδή ενθέσεων λέξεων. Κατηγοριοποίηση λέξεων με MLPs και κυλιόμενο παράθυρο. Ομαλοποίηση με μείωση βαρών (weight decay), απόρριψη (dropout), ομαλοποίηση δέσμης/επιπέδου (batch/layer normalization).
|
1.5 MB | 2/12/25, 11:00 π.μ. | |
|
|
Περισσότερα για τα πολυ-επίπεδα Perceptron (MLPs) και την ανάστροφη μετάδοση. Αυτόματος υπολογισμός παραγώγων κατά την ανάστροφη μετάδοση. Διασταυρωμένη εντροπία.
|
1.27 MB | 21/11/25, 10:16 π.μ. |