Τεχνητή Νοημοσύνη
Ενότητες
- Κανόνες συμπερασμού
- Η έννοια της παραγωγής ή απόδειξης
- Ορθές και πλήρεις μέθοδοι συμπερασμού
- Η έννοια της αντικατάστασης
- Η εύρεση απόδειξης ως πρόβλημα αναζήτησης
- Αναγωγή σε προτασιακή λογική
- Θεώρημα του Herbrand
- Ημιαποφασιμότητα της λογικής κάλυψης
- Η έννοια της ενοποίησης (Unification)
- Γενικευμένος τρόπος του Θέτειν
- Ορθότητα του GMP, λεκτικά, φράσεις Horn, Γεγονότα, Κανόνες, Datalog
- Παραδείγματα Datalog: Μονοπάτια σε ένα Γράφο
- Προτυποποίηση μεταβλητών
- Προς τα εμπρός και πίσω αλυσίδες εκτέλεσης
Διαφάνειες | ||
| inference1spp.pdf | ||
Βιντεοδιαλέξεις | ||
| Λογική Πρώτης Τάξης: Συμπερασμός. Μέρος Α΄ - Κανόνες συμπερασμού - Η έννοια της παραγωγής ή απόδειξης - Ορθές και πλήρεις μέθοδοι συμπερασμού - Η έννοια της αντικατάστασης - Η εύρεση απόδειξης ως πρόβλημα αναζήτησης - Αναγωγή σε προτασιακή λογική - Θεώρημα του Herbrand Παρουσίαση: inference1spp.pdf . Διαφάνειες: 1 - 32. |
||
| Λογική Πρώτης Τάξης: Συμπερασμός. Μέρος Β΄ - Ημιαποφασιμότητα της λογικής κάλυψης Παρουσίαση: inference1spp.pdf . Διαφάνειες: 33 - 38. |
||
| Λογική Πρώτης Τάξης: Συμπερασμός. Μέρος Γ΄ - Ημιαποφασιμότητα της λογικής κάλυψης - Η έννοια της ενοποίησης (Unification) - Γενικευμένος τρόπος του Θέτειν - Ορθότητα του GMP, λεκτικά, φράσεις Horn, Γεγονότα, Κανόνες, Datalog Παρουσίαση: inference1spp.pdf . Διαφάνειες: 35 - 63. |
||
| Λογική Πρώτης Τάξης: Συμπερασμός. Μέρος Δ΄. - Παραδείγματα Datalog: Μονοπάτια σε ένα Γράφο - Προτυποποίηση μεταβλητών - Προς τα εμπρός και πίσω αλυσίδες εκτέλεσης Παρουσίαση: inference1spp.pdf . Διαφάνειες: 63 - τέλος. |
||
