Υλοποίηση κατασκευαστικών μοντέλων αναθεώρησης πεποιθήσεων

• Κύριος συγγραφέας: Σταθοπούλου, Ευανθία
• Άλλοι συγγραφείς: Πέππας, Παύλος
• Μορφή: Thesis
• Γλώσσα: Greek
• Έκδοση: 2019
• Θέματα: Αναθεώρηση πεποιθήσεων; Κατασκευαστικά μοντέλα; Προτασιακή λογική; Λογικός προγραμματισμός; Αναπαράσταση γνώσης; Τεχνητή νοημοσύνη; Belief revision; Constructive models; Propositional logic; Logic programming; Knowledge representation; Artificial Intelligence; Answer set programming; 006.333

Στην παρούσα διπλωματική συνδυάζουμε δύο νεοεισερχόμενους τομείς: αυτόν της «Αναθεώρησης Πεποιθήσεων» στην τεχνητή νοημοσύνη, και αυτόν της «Answer Set Programming» ή για συντομία ASP στον προγραμματισμό. Συγκεκριμένα, χρησιμοποιούμε τη θεωρία της αναθεώρησης πεποιθήσεων και την κάνουμε πράξη μέσω της ASP. Αρχικά, υλοποιήσαμε ένα πρόγραμμα, που θα επιλύει το πρόβλημα αναζήτησης του αναθεωρημένου συνόλου πεποιθήσεων για τρεις πεποιθήσεις. Για το λόγο αυτό, ο κώδικας έχει κατασκευαστεί για n=3 προτασιακές μεταβλητές {p1, p2, p3}, οι οποίες αντιπροσωπεύουν μία πεποίθηση η κάθε μία ή την άρνηση της πεποίθησης. Αποκαλούμε μία τριάδα προτασιακών μεταβλητών ως σύνολο πιθανών κόσμων. Τα σύνολα κόσμων για τρεις προτασιακές μεταβλητές είναι 2^3 = 8. Ο πράκτορας, λοιπόν, εισάγει τρεις πληροφορίες στον κώδικα. Η πρώτη πληροφορία είναι το σύνολο των πεποιθήσεών του, το οποίο και αποκαλούμε w-κόσμους. Οι υπόλοιποι κόσμοι, που δεν ανήκουν στο Κ ονομάζονται r-κόσμοι. Η εισαγωγή της πληροφορίας γίνεται σε μορφή προτασιακής λογικής, και πιο συγκεκριμένα είτε σε συζευκτική κανονική μορφή, είτε σε διαζευκτική κανονική μορφή. Η δεύτερη πληροφορία, που εισάγει ο πράκτορας, είναι ένα νέο στοιχείο, που δέχεται, το οποίο ορίζεται ακριβώς, όπως και το αρχικό σύνολο πεποιθήσεων Κ. Τα νεοεισερχόμενα δεδομένα τα ονομάζουμε φ-κόσμους. Η πληροφορία αυτή έχει γίνει αποδεκτή από τον πράκτορα, εφόσον την εισήγαγε στον κώδικα και αν αντιφάσκει με το αρχικό σύνολο πεποιθήσεων, θα χρειαστεί να πραγματοποιηθεί μια διαδικασία αναθεώρησης. Τέλος, η τρίτη πληροφορία, που δίνει ο πράκτορας είναι ο βαθμός σημαντικότητας των τριών πεποιθήσεων. Δίνει, δηλαδή, έναν συντελεστή βαρύτητας σε κάθε μεταβλητή. Κάποιες είναι πιο σημαντικές από άλλες, και επομένως η αλλαγή τους επιφέρει σημαντικότερες μεταβολές στο σύνολο πεποιθήσεων. Γνωρίζοντας το σύνολο πεποιθήσεων Κ και την αντιφατική νεοεισερχόμενη πληροφορία φ, μπορούμε να υπολογίσουμε την προ-διάταξη του Dalal. Αυτή η προ-διάταξη δίνει σημασία στον αριθμό των αντιφάσεων, που έχουν τα γράμματα των w-κόσμων με των r-κόσμων. Πρακτικά, δημιουργεί μία σειρά κατάταξης, η οποία τοποθετεί πιο κοντά στο σύνολο Κ, τους πιθανούς κόσμους, που έχουν το μικρότερο αριθμό αντιφάσεων. Μια γενίκευση της προ-διάταξης του Dalal είναι η PD προ-διάταξη. Σε αυτή την περίπτωση χρειαζόμαστε και το βαθμό σημαντικότητας των πεποιθήσεών μας. Αυτή η προ-διάταξη λαμβάνει υπόψη πρώτα τον αριθμό των αντιφάσεων, και μετά τον συντελεστή βαρύτητας του κάθε γράμματος, για να κατατάξουμε τους r-κόσμους. Στην παρούσα διπλωματική χρησιμοποιούμε τη νέα κατηγορία τελεστών αναθεώρησης, δηλαδή τους PD, για να καθορίσουμε ποιοι φ-κόσμοι είναι πιο κοντά στο αρχικό σύνολο Κ, οι οποίοι είναι και αυτοί, που συνθέτουν το αναθεωρημένο σύνολο πεποιθήσεών μας Κ*φ. Ο κώδικας, που κατασκευάσαμε έχει δύο εκδοχές, τη γρήγορη και την ολοκληρωμένη, που επιτελούν το ίδιο έργο, υπολογίζουν το Κ*φ. Το πρώτο και μεγαλύτερο μέρος της εργασίας καλύπτει όλο το θεωρητικό πλαίσιο, που είναι απαραίτητο, για να προχωρήσουμε στην συγγραφή του αντίστοιχου κώδικα, ενώ το δεύτερο μέρος αποτελείται από την λεπτομερή ανάλυση του προγράμματος, που υλοποιήσαμε.