Επαναγραφή Και Συνεπής Απάντηση Συζευκτικών Ερωτημάτων Σε Εξελισσόμενες Βάσεις Γνώσης

Abstract

Στην παρούσα διατριβή μελετάται το πρόβλημα υπολογισμού επαναγραφής ερωτημάτων και συνεπών απαντήσεων σε βάσεις γνώσης που εξελίσσονται. Συγκεκριμένα, αρχικά μελετάται το πρόβλημα υπολογισμού μίας νέας επαναγραφής ενός ερωτήματος με βάση μια οντολογία που έχει εξελιχθεί, δηλαδή έχουν προστεθεί ή αφαιρεθεί αξιώματα από αυτήν, αξιοποιώντας την επαναγραφή του ίδιου ερωτήματος πριν την τροποποίηση της οντολογίας. Το πρόβλημα μελετάται για βατές Περιγραφικές Λογικές και προτείνονται νέοι αλγόριθμοι. Στη συνέχεια, μελετάται το πρόβλημα εξαγωγής απαντήσεων για την περίπτωση που η Βάση Γνώσης που προκύπτει από την τροποποίηση είναι ασυνεπής, για βατές Περιγραφικές Λογικές. Το πρόβλημα προσεγγίζεται με βάση δύο διαφορετικές σημασιολογίες. Για κάθε σημασιολογία προτείνουμε νέους αποδοτικούς αλγορίθμους υπολογισμού απαντήσεων. Επίσης, προτείνουμε μία νέα σημασιολογία στην οποία οι απαντήσεις υπολογίζονται σε πολυωνυμικό χρόνο ακόμα και για εκφραστικές Περιγραφικές Λογικές. Οι αλγόριθμοι που προτείνουμε έχουν αποδειχθεί τόσο ως προς την ορθότητα όσο και ως προς την πληρότητά τους. Τέλος, έχουμε υλοποιήσει και δημοσιεύσει τα αποτελέσματά τους.