Τεχνητή Νοημοσύνη
Ενότητες
Λογική Πρώτης Τάξης: Σημασιολογία.
- Η έννοια της ερμηνείας στη λογική πρώτης τάξης
- Άλλες θεμελιώδεις έννοιες: ικανοποίηση, ικανοποιησιμότητα, αλήθεια, μοντέλο, λογική κάλυψη, εγκυρότητα, ισοδυναμία
- Μερικά θεωρήματα που θεμελιώνουν τις παραπάνω έννοιες
- Παραδείγματα
Διαφάνειες | ||
| fol-semantics1spp.pdf | ||
Βιντεοδιαλέξεις | ||
| Λογική Πρώτης Τάξης: Σημασιολογία. Μέρος Α΄ - Η έννοια της ερμηνείας στη λογική πρώτης τάξης - Άλλες θεμελιώδεις έννοιες: ικανοποίηση, ικανοποιησιμότητα, αλήθεια, μοντέλο, λογική κάλυψη, εγκυρότητα, ισοδυναμία Παρουσίαση: fol-semantics1spp.pdf . Διαφάνειες: 1 - 27. |
||
| Λογική Πρώτης Τάξης: Σημασιολογία. Μέρος Β΄ - Άλλες θεμελιώδεις έννοιες: ικανοποίηση, ικανοποιησιμότητα, αλήθεια, μοντέλο, λογική κάλυψη, εγκυρότητα, ισοδυναμία Παρουσίαση: fol-semantics1spp.pdf . Διαφάνειες: 28 - 47. |
||
| Λογική Πρώτης Τάξης: Σημασιολογία. Μέρος Γ΄ - Μερικά θεωρήματα που θεμελιώνουν τις έννοιες ικανοποίηση, ικανοποιησιμότητα, αλήθεια, μοντέλο, λογική κάλυψη, εγκυρότητα, ισοδυναμία - Παραδείγματα Παρουσίαση: fol-semantics1spp.pdf . Διαφάνειες: 48 - τέλος. |
||
| Λογική Πρώτης Τάξης: Σημασιολογία. Εισαγωγή. Σύνδεση Προτασιακής Λογικής με την Λογική Πρώτης Τάξης: Σημασιολογία. |
||
