 (1)-1.png){kind=logo}
Μάθημα : Τεχνητή Νοημοσύνη
Κωδικός : INF153
Αρχικός κατάλογος slides_2024_25
Οι διαφάνειες των διαλέξεων του 2024-25. Ενδέχεται να αφαιρούνται σταδιακά διαφάνειες που έχουν ενημερωθεί για το 2025-26.
| Όνομα | Μέγεθος | Ημερομηνία | ||
|---|---|---|---|---|
|
|
Εξαγωγή συμπερασμάτων με προτάσεις Horn προτασιακής λογικής. Συντακτικό της πρωτοβάθμιας κατηγορηματικής λογικής. Παράσταση γνώσεων με πρωτοβάθμια κατηγορηματική λογική.
|
975.58 KB | 5/11/24, 11:37 π.μ. | |
|
|
Σημασιολογία πρωτοβάθμιας κατηγορηματικής λογικής.
|
461.38 KB | 5/11/24, 11:38 π.μ. | |
|
|
Συλλογιστική με πρωτοβάθμια κατηγορηματική λογική: απαλοιφή καθολικών και υπαρξιακών ποσοδεικτών, μετατροπή σε κανονική συζευκτική μορφή, ενοποίηση και εξαγωγή συμπερασμάτων με τον κανόνα της ανάλυσης (resolution), ημι-αποκρισιμότητα της ΠΚΛ.
|
725.75 KB | 21/11/24, 5:18 μ.μ. | |
|
|
Εξαγωγή συμπερασμάτων προς τα εμπρός και πίσω με προτάσεις Horn πρωτοβάθμιας κατηγορηματικής λογικής. Λογικός προγραμματισμός και βασικές αρχές λειτουργίας Prolog.
|
1.33 MB | 12/11/24, 11:34 π.μ. | |
|
|
[Προαιρετική ύλη] Σημασιολογικά δίκτυα. Πλαίσια. Περιγραφικές λογικές. Σημασιολογικός Ιστός και OWL.
|
1.66 MB | 27/11/24, 1:16 μ.μ. | |
|
|
Παραγωγική, απαγωγική και επαγωγική συλλογιστική. Εισαγωγή στη μηχανική μάθηση. Η μηχανική μάθηση ως πρόβλημα αναζήτησης. Αλγόριθμος απαλοιφής υποψηφίων. Στοιχεία επαγωγικού λογικού προγραμματισμού.
|
1.46 MB | 27/11/24, 1:15 μ.μ. |