| Περίληψη: | Το αντικείμενο αυτής της εργασίας είναι η μελέτη και η παρουσίαση του Επαγωγικού Λογικού Προγραμματισμού καθώς και η εφαρμογή του στην εκμάθηση παραγωγής αναδρομικών διαδικασιών. Ως περιβάλλον ανάπτυξης αυτών των διαδικασιών χρησιμοποιείται η γλώσσα προγραμματισμού Progol, η οποία βασίζεται στην γλώσσα του κλασικού Λογικού Προγραμματισμού Prolog.
Το πρώτο μέρος της παρούσας διπλωματικής εργασίας ασχολείται με έννοιες που αποτελούν την βάση του Λογικού Προγραμματισμού. Πιο συγκεκριμένα γίνονται αναφορές στις κανονικές μορφές της Λογικής των Κατηγορημάτων, τις δομές Hebrand και την παραγωγή συμπερασμάτων με την μέθοδο της επίλυσης.
Στη συνέχεια ασχολούμαστε με το βασικό θέμα της εργασίας, τον Επαγωγικό Λογικό Προγραμματισμό. Ο συγκεκριμένος επιστημονικός κλάδος αποτελεί μια περιοχή έρευνας που εφαρμόζεται σε σχεσιακές βάσεις δεδομένων και συνδυάζει τις βασικές αρχές του επαγωγικού μοντέλου εκμάθησης μηχανής με την αναπαράσταση του Λογικού Προγραμματισμού. Τα συστήματα υλοποίησης του Επαγωγικού Λογικού Προγραμματισμού αναπτύσσουν γενικούς κανόνες παράστασης γνώσης χρησιμοποιώντας παραδείγματα, υποθέσεις, ορισμούς τύπων και προϋπάρχουσα γνώση. Τα παραδείγματα, οι υποθέσεις, οι ορισμοί τύπων, η προϋπάρχουσα γνώση καθώς και οι τελικοί γενικοί κανόνες περιγράφονται ως λογικά προγράμματα.
Στο επόμενο κεφάλαιο, παρουσιάζεται η γλώσσα Progol, η οποία αποτελεί μια επέκταση της Prolog. H Progol είναι μια από τις πλατφόρμες που χρησιμοποιούνται σήμερα για την ανάπτυξη εφαρμογών του Επαγωγικού Λογικού Προγραμματισμού.
Τέλος πραγματοποιείται υλοποίηση των θεωρητικών μοντέλων αυτού του είδους προγραμματισμού με στόχο την εκμάθηση παραγωγής αναδρομικών διαδικασιών μέσω της Progol.
|
|---|
