Μάθημα : Τεχνητή Νοημοσύνη

Κωδικός : INF153

3531  -  Ίων Ανδρουτσόπουλος

Έγγραφα
Αρχικός κατάλογος 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 π.μ.