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

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

Στην παρούσα διπλωματική συνδυάζουμε δύο νεοεισερχόμενους τομείς: αυτόν της «Αναθεώρησης Πεποιθήσεων» στην τεχνητή νοημοσύνη, και αυτόν της «Answer Set Programming» ή για συντομία ASP στον προγραμματισμό. Συγκεκριμένα, χρησιμοποιούμε τη θεωρία της αναθεώρησης πεποιθήσεων και την κάνουμε πράξη μέσω τ...