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

• Main Author: Σταθοπούλου, Ευανθία
• Other Authors: Πέππας, Παύλος
• Format: Thesis
• Language: Greek
• Published: 2019
• Subjects: Αναθεώρηση πεποιθήσεων; Κατασκευαστικά μοντέλα; Προτασιακή λογική; Λογικός προγραμματισμός; Αναπαράσταση γνώσης; Τεχνητή νοημοσύνη; Belief revision; Constructive models; Propositional logic; Logic programming; Knowledge representation; Artificial Intelligence; Answer set programming; 006.333

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