Απειρότιμη Σημασιολογία και Στρωματοποίηση

Διπλωματική Εργασία uoadl:1316305 550 Αναγνώσεις

Μονάδα:
Κατεύθυνση / ειδίκευση Θεωρητική Πληροφορική (ΘΕΩ)
Βιβλιοθήκη Σχολής Θετικών Επιστημών
Ημερομηνία κατάθεσης:
2014-02-24
Έτος εκπόνησης:
2014
Συγγραφέας:
Συμεωνίδου Ιωάννα
Στοιχεία επιβλεπόντων καθηγητών:
Παναγιώτης Ροντογιάννης Αναπλ. Καθηγητής ΕΚΠΑ
Πρωτότυπος Τίτλος:
Απειρότιμη Σημασιολογία και Στρωματοποίηση
Γλώσσες εργασίας:
Ελληνικά
Μεταφρασμένος τίτλος:
Infinite-Valued Semantics and Stratification
Περίληψη:
Μελετάμε την συμπεριφορά των απειρότιμων μοντέλων, μίας από τις πιο πρόσφατες
και ενδιαφέρουσες επεκτάσεις της Καλώς-Θεμελιωμένης Σημασιολογίας για
διαζευκτικά προγράμματα, στην κλάση των τοπικά στρωματοποιημένων προγραμμάτων.
Τα μοντέλα της ανήκουν σε μία εναλλακτική λογική με άπειρες τιμές αληθείας, οι
οποίες εκφράζουν διαφορετικούς βαθμούς βεβαιότητας για την λογική τιμή ενός
ατόμου, από την σαφώς αληθή ή ψευδή, ως την εντελώς άγνωστη. Αποδεικνύουμε ότι
τα ελαχιστικά απειρότιμα μοντέλα των τοπικά στρωματοποιημένων προγραμμάτων δεν
περιλαμβάνουν την άγνωστη τιμή αληθείας, ενώ τα άτομα των κατώτερων στρωμάτων
αποτιμούνται με μεγαλύτερη βεβαιότητα από ότι αυτά των ανώτερων. Ταυτόχρονα,
δείχνουμε τον αριθμό των στρωμάτων του προγράμματος ως άνω φράγμα για τον
αριθμό των διακεκριμένων τιμών αληθείας που εμφανίζονται στα ελαχιστικά
απειρότιμα μοντέλα του. Η δομική σχέση των μοντέλων αυτών με την
στρωματοποίηση, ενισχύεται επίσης από την ιδιότητά τους να διατηρούν την
ελαχιστικότητα σε κάθε υποσύνολο του προγράμματος, που ορίζεται από την
στρωματοποίησή του.
Λέξεις-κλειδιά:
Διαζευκτικός λογικός προγραμματισμός, Καλώς-θεμελιωμένη σημασιολογία, Απειρότιμη σημασιολογία, Στρωματοποίηση, Τοπική στρωματοποίηση
Ευρετήριο:
Ναι
Αρ. σελίδων ευρετηρίου:
7
Εικονογραφημένη:
Όχι
Αρ. βιβλιογραφικών αναφορών:
34
Αριθμός σελίδων:
87