Επαγωγικός λογικός προγραμματισμός και αναδρομές

Το αντικείμενο αυτής της εργασίας είναι η μελέτη και η παρουσίαση του Επαγωγικού Λογικού Προγραμματισμού καθώς και η εφαρμογή του στην εκμάθηση παραγωγής αναδρομικών διαδικασιών. Ως περιβάλλον ανάπτυξης αυτών των διαδικασιών χρησιμοποιείται η γλώσσα προγραμματισμού Progol, η οποία βασίζεται στην γλώ...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας: Δημητρόπουλος, Κωνσταντίνος
Άλλοι συγγραφείς: Ράγγος, Όμηρος
Μορφή: Thesis
Γλώσσα:Greek
Έκδοση: 2018
Θέματα:
Διαθέσιμο Online:http://hdl.handle.net/10889/11783
id nemertes-10889-11783
record_format dspace
spelling nemertes-10889-117832022-09-05T05:37:33Z Επαγωγικός λογικός προγραμματισμός και αναδρομές Inductive logic programming and recursions Δημητρόπουλος, Κωνσταντίνος Ράγγος, Όμηρος Γράψα, Θεοδούλα Καββαδίας, Δημήτρης Ράγγος, Όμηρος Dimitropoulos, Konstantinos Επαγωγικός λογικός προγραμματισμός Μαθηματική λογική Λογικά προγράμματα Αναδρομικές διαδικασίες Inductive logic programming Progol Prolog Mathematical logic Logic programs Recursive procedures 005.115 Το αντικείμενο αυτής της εργασίας είναι η μελέτη και η παρουσίαση του Επαγωγικού Λογικού Προγραμματισμού καθώς και η εφαρμογή του στην εκμάθηση παραγωγής αναδρομικών διαδικασιών. Ως περιβάλλον ανάπτυξης αυτών των διαδικασιών χρησιμοποιείται η γλώσσα προγραμματισμού Progol, η οποία βασίζεται στην γλώσσα του κλασικού Λογικού Προγραμματισμού Prolog. Το πρώτο μέρος της παρούσας διπλωματικής εργασίας ασχολείται με έννοιες που αποτελούν την βάση του Λογικού Προγραμματισμού. Πιο συγκεκριμένα γίνονται αναφορές στις κανονικές μορφές της Λογικής των Κατηγορημάτων, τις δομές Hebrand και την παραγωγή συμπερασμάτων με την μέθοδο της επίλυσης. Στη συνέχεια ασχολούμαστε με το βασικό θέμα της εργασίας, τον Επαγωγικό Λογικό Προγραμματισμό. Ο συγκεκριμένος επιστημονικός κλάδος αποτελεί μια περιοχή έρευνας που εφαρμόζεται σε σχεσιακές βάσεις δεδομένων και συνδυάζει τις βασικές αρχές του επαγωγικού μοντέλου εκμάθησης μηχανής με την αναπαράσταση του Λογικού Προγραμματισμού. Τα συστήματα υλοποίησης του Επαγωγικού Λογικού Προγραμματισμού αναπτύσσουν γενικούς κανόνες παράστασης γνώσης χρησιμοποιώντας παραδείγματα, υποθέσεις, ορισμούς τύπων και προϋπάρχουσα γνώση. Τα παραδείγματα, οι υποθέσεις, οι ορισμοί τύπων, η προϋπάρχουσα γνώση καθώς και οι τελικοί γενικοί κανόνες περιγράφονται ως λογικά προγράμματα. Στο επόμενο κεφάλαιο, παρουσιάζεται η γλώσσα Progol, η οποία αποτελεί μια επέκταση της Prolog. H Progol είναι μια από τις πλατφόρμες που χρησιμοποιούνται σήμερα για την ανάπτυξη εφαρμογών του Επαγωγικού Λογικού Προγραμματισμού. Τέλος πραγματοποιείται υλοποίηση των θεωρητικών μοντέλων αυτού του είδους προγραμματισμού με στόχο την εκμάθηση παραγωγής αναδρομικών διαδικασιών μέσω της Progol. This thesis is about the study and the presentation of the Inductive Logic Programming as well as it’s application on the learning of recursive procedures. The programming language Progol is used as development environment of those procedures and it is based on the classic Logical Programming language Prolog. The first part of this thesis deals with the concepts which constitute the basis of Logic Programming. More specifically, we describe the normal forms in Logic of Predicates, Herbrand structures and the deduction process through the method of resolution. The next chapter is about the basic theme of this paper, the Inductive Logic Programming. This scientific field is a research area which is applied on relational databases and combines the basic principles of the inductive machine learning model with the representation of Logic Programming. The systems that implement the Inductive Logic Programming develop general rules by using examples, hypotheses, type definitions and background knowledge. The examples, hypotheses, type definitions and background knowledge as well as the final general rules are described as logic programs. The programming language Progol, which is an extension of Prolog, is presented in the next chapter. Progol is one of the platforms which are used today for the development of Inductive Logic Programming applications. Finally, implementation of the theoretical models of this kind of programming is fulfilled, aiming the learning of recursive procedure production through Progol. 2018-12-03T08:39:21Z 2018-12-03T08:39:21Z 2018-08 Thesis http://hdl.handle.net/10889/11783 gr 0 application/pdf
institution UPatras
collection Nemertes
language Greek
topic Επαγωγικός λογικός προγραμματισμός
Μαθηματική λογική
Λογικά προγράμματα
Αναδρομικές διαδικασίες
Inductive logic programming
Progol
Prolog
Mathematical logic
Logic programs
Recursive procedures
005.115
spellingShingle Επαγωγικός λογικός προγραμματισμός
Μαθηματική λογική
Λογικά προγράμματα
Αναδρομικές διαδικασίες
Inductive logic programming
Progol
Prolog
Mathematical logic
Logic programs
Recursive procedures
005.115
Δημητρόπουλος, Κωνσταντίνος
Επαγωγικός λογικός προγραμματισμός και αναδρομές
description Το αντικείμενο αυτής της εργασίας είναι η μελέτη και η παρουσίαση του Επαγωγικού Λογικού Προγραμματισμού καθώς και η εφαρμογή του στην εκμάθηση παραγωγής αναδρομικών διαδικασιών. Ως περιβάλλον ανάπτυξης αυτών των διαδικασιών χρησιμοποιείται η γλώσσα προγραμματισμού Progol, η οποία βασίζεται στην γλώσσα του κλασικού Λογικού Προγραμματισμού Prolog. Το πρώτο μέρος της παρούσας διπλωματικής εργασίας ασχολείται με έννοιες που αποτελούν την βάση του Λογικού Προγραμματισμού. Πιο συγκεκριμένα γίνονται αναφορές στις κανονικές μορφές της Λογικής των Κατηγορημάτων, τις δομές Hebrand και την παραγωγή συμπερασμάτων με την μέθοδο της επίλυσης. Στη συνέχεια ασχολούμαστε με το βασικό θέμα της εργασίας, τον Επαγωγικό Λογικό Προγραμματισμό. Ο συγκεκριμένος επιστημονικός κλάδος αποτελεί μια περιοχή έρευνας που εφαρμόζεται σε σχεσιακές βάσεις δεδομένων και συνδυάζει τις βασικές αρχές του επαγωγικού μοντέλου εκμάθησης μηχανής με την αναπαράσταση του Λογικού Προγραμματισμού. Τα συστήματα υλοποίησης του Επαγωγικού Λογικού Προγραμματισμού αναπτύσσουν γενικούς κανόνες παράστασης γνώσης χρησιμοποιώντας παραδείγματα, υποθέσεις, ορισμούς τύπων και προϋπάρχουσα γνώση. Τα παραδείγματα, οι υποθέσεις, οι ορισμοί τύπων, η προϋπάρχουσα γνώση καθώς και οι τελικοί γενικοί κανόνες περιγράφονται ως λογικά προγράμματα. Στο επόμενο κεφάλαιο, παρουσιάζεται η γλώσσα Progol, η οποία αποτελεί μια επέκταση της Prolog. H Progol είναι μια από τις πλατφόρμες που χρησιμοποιούνται σήμερα για την ανάπτυξη εφαρμογών του Επαγωγικού Λογικού Προγραμματισμού. Τέλος πραγματοποιείται υλοποίηση των θεωρητικών μοντέλων αυτού του είδους προγραμματισμού με στόχο την εκμάθηση παραγωγής αναδρομικών διαδικασιών μέσω της Progol.
author2 Ράγγος, Όμηρος
author_facet Ράγγος, Όμηρος
Δημητρόπουλος, Κωνσταντίνος
format Thesis
author Δημητρόπουλος, Κωνσταντίνος
author_sort Δημητρόπουλος, Κωνσταντίνος
title Επαγωγικός λογικός προγραμματισμός και αναδρομές
title_short Επαγωγικός λογικός προγραμματισμός και αναδρομές
title_full Επαγωγικός λογικός προγραμματισμός και αναδρομές
title_fullStr Επαγωγικός λογικός προγραμματισμός και αναδρομές
title_full_unstemmed Επαγωγικός λογικός προγραμματισμός και αναδρομές
title_sort επαγωγικός λογικός προγραμματισμός και αναδρομές
publishDate 2018
url http://hdl.handle.net/10889/11783
work_keys_str_mv AT dēmētropouloskōnstantinos epagōgikoslogikosprogrammatismoskaianadromes
AT dēmētropouloskōnstantinos inductivelogicprogrammingandrecursions
_version_ 1771297161648013312