Εθνικό Μετσόβιο Πολυτεχνείο
Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών
Καλώς ήρθατε στο Άρτεμις
Σκοπός του Άρτεμις είναι η συστηματική αρχειοθέτηση και διαδοση της πνευματικής παραγωγής της Σχολής Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών του Εθνικού Μετσόβιου Πολυτεχνείου, με τη βοήθεια της τεχνολογίας των ψηφιακών βιβλιοθηκών.
Παρακαλώ χρησιμοποιήστε αυτό το αναγνωριστικό για να παραπέμψετε ή να δημιουργήσετε σύνδεσμο προς αυτό το τεκμήριο:
http://artemis.cslab.ece.ntua.gr:8080/jspui/handle/123456789/14423| Τίτλος: | Σύνταξη Και Σημασιολογία Προγραμμάτων Ασαφούς Περιγραφικής Λογικής |
| Συγγραφείς: | Αναστάσιος Βενέτης Κόλλιας Στέφανος |
| Λέξεις κλειδιά: | πειργραφική λογική ασαφείς συνολοθεωρία ασαφής λογική οντολογίες κανόνες horn owl |
| Ημερομηνία έκδοσης: | 19-Οκτ-2005 |
| Περίληψη: | Σκοπός της διπλωματικής αυτής εργασίας είναι η μελέτη της Σύνταξης και της Σημασιολογίας των Προγραμμάτων Ασαφούς Περιγραφικής Λογικής . Τα Προγράμματα Περιγραφικής Λογικής αποτελούν μια αντιστοίχιση της γλώσσας οντολογιών OWL DL της Περιγραφικής Λογικής και των κανόνων def-Horn. Η αντιστοίχιση αυτή είναι ιδιαίτερα σημαντική γιατί έχει ως αποτέλεσμα τη δημιουργία μιας γλώσσας, της DLP, η οποία συνδυάζει τις εκφραστικές οντολογίες με τους κανόνες, οι οποίοι παρέχουν ιδιαίτερα αποδοτικούς μηχανισμού εξαγωγής συμπερασμάτων. Τα Προγράμματα Ασαφούς Περιγραφικής Λογικής τώρα, συν τοις άλλοις παρέχουν τη δυνατότητα αναπαράστασης της εγγενούς αβεβαιότητας και ασάφειας των πληροφοριών με αποτέλεσμα η γλώσσα f-DLP να είναι ιδιαίτερα εκφραστική. |
| URI: | http://artemis-new.cslab.ece.ntua.gr:8080/jspui/handle/123456789/14423 |
| Εμφανίζεται στις συλλογές: | Διπλωματικές Εργασίες - Theses |
Αρχεία σε αυτό το τεκμήριο:
| Αρχείο | Μέγεθος | Μορφότυπος | |
|---|---|---|---|
| DT2005-0211.pdf | 865.79 kB | Adobe PDF | Εμφάνιση/Άνοιγμα |
Όλα τα τεκμήρια του δικτυακού τόπου προστατεύονται από πνευματικά δικαιώματα.