Έμπειρα Συστήματα και Εφαρμογές στη Ρομποτική
11/18/2017
Skip Navigation Links : Έμπειρα Συστήματα και Εφαρμογές στη Ρομποτική : Διαλέξεις : Περιγραφικές Λογικές - Συλλογιστική

Περιγραφικές Λογικές - Συλλογιστική

ΚατάστασηΈγινε
ΤοποθεσίαΝ. Κτ. Ηλεκτρολόγων, Αίθουσα 2
ΥπεύθυνοςΓ. Στάμου
Ημερομηνία6/27/2007 12:00:00 AM
ΠεριγραφήΑλγόριθμοι Εξαγωγής Συμπερασμάτων. Αλγόριθμοι Tableaux για Βασικές Περιγραφικές Λογικές. Τερματισμός, Ορθότητα και Πληρότητα. Πολύ εκφραστικές Περιγραφικές Λογικές.

Υλικό Διάλεξης

Αρχείο: Description_Logics-Reasoning(lecture6).pdf
Μέγεθος: 485.75 KB
Ημ/νία τελευταίας τροποποίησης: Monday, November 19, 2007
Αλγόριθμοι αυτόματης εξαγωγής συμπερασμάτων για Περιγραφικές Λογικές
[ Γ. Στάμου ]

Διαφάνειες διάλεξης. Αναφέρονται στις ενότητες 4 και 5 των σημειώσεων "Εισαγωγή στις Περιγραφικές Λογικές" που μπορείτε να βρείτε στη σχετική σελίδα.

Ημ. Εισαγωγής: 10/26/2007 4:43:02 PM Ημ. Τελευταίας Αλλαγής: 11/19/2007 5:43:54 PM Μέγεθος αρχείου: 485.75 KB