Λογικός προγραμματισμός με προτιμήσεις στην απειρότιμη λογική

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

Μονάδα:
Κατεύθυνση / ειδίκευση Θεωρητική Πληροφορική (ΘΕΩ)
Βιβλιοθήκη Σχολής Θετικών Επιστημών
Ημερομηνία κατάθεσης:
2012-07-05
Έτος εκπόνησης:
2012
Συγγραφέας:
Τρουμπούκης Αντώνιος
Στοιχεία επιβλεπόντων καθηγητών:
Παναγιώτης Ροντογιάννης Αναπλ.Καθηγ. (επιβλέπων), Παναγιώτης Σταματόπουλος Επικ. Καθηγ.
Πρωτότυπος Τίτλος:
Λογικός προγραμματισμός με προτιμήσεις στην απειρότιμη λογική
Γλώσσες εργασίας:
Ελληνικά
Περίληψη:
Στην παρούσα διπλωματική εργασία προτείνουμε μια νέα επέκταση του λογικού
προγραμματισμού. Αρχικά, εισάγουμε δύο τελεστές προτίμησης με τη σημασία
«προαιρετικά» και «εναλλακτικά» αντίστοιχα, που μπορούν να εμφανίζονται στα
σώματα των κανόνων και στη συνέχεια ορίζουμε σημασιολογία σταθερού σημείου για
τη νέα αυτή γλώσσα. Η σημασιολογία βασίζεται στην απειρότιμη λογική, μια
επέκταση της κλασικής δίτιμης λογικής στην οποία χρησιμοποιούνται άπειρες τιμές
αλήθειας «λιγότερο αληθείς» από την τιμή T και άπειρες τιμές αλήθειας «λιγότερο
ψευδείς» από την τιμή F . Η διαβάθμιση αυτή στις τιμές αληθείας αντιστοιχεί
στον βαθμό προτίμησης.
Λέξεις-κλειδιά:
Λογικός Προγραμματισμός, Σημασιολογία Σταθερού Σημείου , Προτιμήσεις, Απειρότιμη Λογική, Μη-κλασικές Λογικές
Ευρετήριο:
Όχι
Αρ. σελίδων ευρετηρίου:
0
Εικονογραφημένη:
Όχι
Αρ. βιβλιογραφικών αναφορών:
53
Αριθμός σελίδων:
94