Επαγωγικός λογικός προγραμματισμός και αναδρομές
Το αντικείμενο αυτής της εργασίας είναι η μελέτη και η παρουσίαση του Επαγωγικού Λογικού Προγραμματισμού καθώς και η εφαρμογή του στην εκμάθηση παραγωγής αναδρομικών διαδικασιών. Ως περιβάλλον ανάπτυξης αυτών των διαδικασιών χρησιμοποιείται η γλώσσα προγραμματισμού 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 |