Ανάπτυξη υπολογιστικού περιβάλλοντος μη μονότονης συλλογιστικής

Abstract

Ο εύλογος συλλογισμός (default reasoning) είναι μία από τις πιο δημοφιλής προσεγγίσεις μη μονότονης συλλογιστικής. Παρέχει τη δυνατότητα χειρισμού καταστάσεων για τις οποίες έχουμε ελλιπής πληροφόρηση. Οι default κανόνες χρησιμοποιούνται σε ένα εύρος εφαρμογών όπως την ιατρική διαγνωστική και την νομική συλλογιστική. Σκοπός αυτής της διπλωματικής είναι η μελέτη διαφόρων θεωριών γύρω από τον εύλογο συλλογισμό και η υλοποίηση ενός αλγορίθμου με την χρήση λογικού προγραμματισμού και συστημάτων κανόνων για την εύρεση επεκτάσεων (extension) με έναν τρόπο παρόμοιο με αυτόν που πρότεινε ο Αντωνίου (Paper: A tutorial on Default Logics) τροποποιημένο όμως έτσι ώστε να είναι περισσότερο ευέλικτος και χρήσιμος και να μπορεί να συνδυαστεί με την λογική που βασίζεται σε επιχειρήματα που πρότεινε ο Prakken (Paper: Two Approaches to Formalization of Defeasible Deontic Logic).