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