Τεχνητή Νοημοσύνη
Ενότητες
- Ο κανόνας συμπερασμού της Ανάλυσης στην προτασιακή λογική και τη λογική πρώτης τάξης
- Συζευτική κανονική μορφή
- Φράσεις, ένας ισοδύναμος ορισμός. Αναθεωρημένος ορισμός της Ανάλυσης.
- Ιδιότητες και εφαρμογές της Ανάλυσης.
- Διατύπωση σε Λογική Πρώτης Τάξεως
- Συζευτική κανονική μορφή και παραδείγματα
- Ανάλυση, Εγκυρότητα, Μη-Ικανοποιησιμότητα
- Χρήση της Ανάλυσης για απάντηση Ερωτημάτων
- Ανάλυση με ισότητα
- Οι κανόνες της Αποδιαμόρφωσης και της Παραδιαμόρφωσης
- Η γλώσσα Prolog και δένδρο απόδειξης
- Η ιστορία της Λογικής
Διαφάνειες | ||
| resolution1spp.pdf | ||
Βιντεοδιαλέξεις | ||
| Ανάλυση. Μέρος Α΄ - Ο κανόνας συμπερασμού της Ανάλυσης στην προτασιακή λογική και τη λογική πρώτης τάξης - Συζευτική κανονική μορφή - Φράσεις, ένας ισοδύναμος ορισμός. Αναθεωρημένος ορισμός της Ανάλυσης. - Ιδιότητες και εφαρμογές της Ανάλυσης. Παρουσίαση: resolution1spp.pdf . Διαφάνειες: 1 - 27. |
||
| Ανάλυση. Μέρος Β΄ - Ιδιότητες και εφαρμογές της Ανάλυσης. - Διατύπωση σε Λογική Πρώτης Τάξεως - Συζευτική κανονική μορφή και παραδείγματα - Ανάλυση, Εγκυρότητα, Μη-Ικανοποιησιμότητα - Χρήση της Ανάλυσης για απάντηση Ερωτημάτων Παρουσίαση: resolution1spp.pdf . Διαφάνειες: 28 - 49. |
||
| Ανάλυση. Μέρος Γ΄ - Ανάλυση με ισότητα - Οι κανόνες της Αποδιαμόρφωσης και της Παραδιαμόρφωσης - Η γλώσσα Prolog και δένδρο απόδειξης Παρουσίαση: resolution1spp.pdf . Διαφάνειες: 50 - 68. |
||
| Ανάλυση. Μέρος Δ΄ - Η ιστορία της Λογικής Παρουσίαση: resolution1spp.pdf . Διαφάνειες: 69 - τέλος. |
||
