Τεχνικές Λογικού Προγραμματισμού για Επίλυση Προβλημάτων
Το κεφάλαιο αποτελεί επιστέγασμα όλων των προηγουμένων, καθώς παραθέτει παραδείγματα τεχνικών αναπαράστασης και επίλυσης σύνθετων προβλημάτων σε Prolog. Έτσι, κλασσικές τεχνικές όπως αυτή της "Προσπάθειας και Αποτυχίας" (trial-and-error) παρουσιάζονται μέσω κλασικών παραδειγμάτων,...
Κύριοι συγγραφείς: | , , , , , , , |
---|---|
Μορφή: | 7 |
Γλώσσα: | Greek |
Έκδοση: |
2016
|
Θέματα: | |
Διαθέσιμο Online: | http://localhost:8080/jspui/handle/11419/788 |
id |
kallipos-11419-788 |
---|---|
record_format |
dspace |
spelling |
kallipos-11419-7882021-07-11T20:10:50Z Τεχνικές Λογικού Προγραμματισμού για Επίλυση Προβλημάτων Sakellariou, Ilias Vasileiadis, Nikolaos Kefalas, Petros Stamatis, Dimosthenis Σακελλαρίου, Ηλίας Βασιλειάδης, Νικόλαος Κεφαλάς, Πέτρος Σταμάτης, Δημοσθένης ΛΟΓΙΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ ΛΟΓΙΚΗ ΤΕΧΝΙΚΕΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΥ ΠΡΟΛΟΓ ΕΠΕΞΕΡΓΑΣΙΑ ΣΥΜΒΟΛΩΝ ΑΝΑΠΑΡΑΣΤΑΣΗ ΓΝΩΣΗΣ ΚΑΙ ΣΥΛΛΟΓΙΣΤΙΚΗ Logic Programming Prolog Logic Programming Techniques Symbol Processing Knowledge Representation And Reasoning Το κεφάλαιο αποτελεί επιστέγασμα όλων των προηγουμένων, καθώς παραθέτει παραδείγματα τεχνικών αναπαράστασης και επίλυσης σύνθετων προβλημάτων σε Prolog. Έτσι, κλασσικές τεχνικές όπως αυτή της "Προσπάθειας και Αποτυχίας" (trial-and-error) παρουσιάζονται μέσω κλασικών παραδειγμάτων, όπως η εύρεση λύσης σε ακέραιες εξισώσεις και το πρόβλημα των N βασιλισσών. Παρουσιάζεται επίσης η πλέον δημοφιλής αναπαράσταση προβλημάτων της ΤΝ, η αναπαράσταση μέσω γράφων, καθώς και η υλοποίηση τυφλών και ευριστικών αλγορίθμων αναζήτησης, οι οποίοι οδηγούν στην επίλυση σύνθετων προβλημάτων. 2016-01-15T16:13:14Z 2021-07-09T19:42:04Z 2016-01-15T16:13:14Z 2021-07-09T19:42:04Z 2016-01-15 7 http://localhost:8080/jspui/handle/11419/788 el 1 application/pdf |
institution |
Kallipos |
collection |
DSpace |
language |
Greek |
topic |
ΛΟΓΙΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ ΛΟΓΙΚΗ ΤΕΧΝΙΚΕΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΥ ΠΡΟΛΟΓ ΕΠΕΞΕΡΓΑΣΙΑ ΣΥΜΒΟΛΩΝ ΑΝΑΠΑΡΑΣΤΑΣΗ ΓΝΩΣΗΣ ΚΑΙ ΣΥΛΛΟΓΙΣΤΙΚΗ Logic Programming Prolog Logic Programming Techniques Symbol Processing Knowledge Representation And Reasoning |
spellingShingle |
ΛΟΓΙΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ ΛΟΓΙΚΗ ΤΕΧΝΙΚΕΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΥ ΠΡΟΛΟΓ ΕΠΕΞΕΡΓΑΣΙΑ ΣΥΜΒΟΛΩΝ ΑΝΑΠΑΡΑΣΤΑΣΗ ΓΝΩΣΗΣ ΚΑΙ ΣΥΛΛΟΓΙΣΤΙΚΗ Logic Programming Prolog Logic Programming Techniques Symbol Processing Knowledge Representation And Reasoning Sakellariou, Ilias Vasileiadis, Nikolaos Kefalas, Petros Stamatis, Dimosthenis Σακελλαρίου, Ηλίας Βασιλειάδης, Νικόλαος Κεφαλάς, Πέτρος Σταμάτης, Δημοσθένης Τεχνικές Λογικού Προγραμματισμού για Επίλυση Προβλημάτων |
description |
Το κεφάλαιο αποτελεί επιστέγασμα όλων των προηγουμένων, καθώς παραθέτει παραδείγματα τεχνικών αναπαράστασης και επίλυσης σύνθετων προβλημάτων σε Prolog. Έτσι, κλασσικές τεχνικές όπως αυτή της "Προσπάθειας και Αποτυχίας" (trial-and-error) παρουσιάζονται μέσω κλασικών παραδειγμάτων, όπως η εύρεση λύσης σε ακέραιες εξισώσεις και το πρόβλημα των N βασιλισσών. Παρουσιάζεται επίσης η πλέον δημοφιλής αναπαράσταση προβλημάτων της ΤΝ, η αναπαράσταση μέσω γράφων, καθώς και η υλοποίηση τυφλών και ευριστικών αλγορίθμων αναζήτησης, οι οποίοι οδηγούν στην επίλυση σύνθετων προβλημάτων. |
format |
7 |
author |
Sakellariou, Ilias Vasileiadis, Nikolaos Kefalas, Petros Stamatis, Dimosthenis Σακελλαρίου, Ηλίας Βασιλειάδης, Νικόλαος Κεφαλάς, Πέτρος Σταμάτης, Δημοσθένης |
author_facet |
Sakellariou, Ilias Vasileiadis, Nikolaos Kefalas, Petros Stamatis, Dimosthenis Σακελλαρίου, Ηλίας Βασιλειάδης, Νικόλαος Κεφαλάς, Πέτρος Σταμάτης, Δημοσθένης |
author_sort |
Sakellariou, Ilias |
title |
Τεχνικές Λογικού Προγραμματισμού για Επίλυση Προβλημάτων |
title_short |
Τεχνικές Λογικού Προγραμματισμού για Επίλυση Προβλημάτων |
title_full |
Τεχνικές Λογικού Προγραμματισμού για Επίλυση Προβλημάτων |
title_fullStr |
Τεχνικές Λογικού Προγραμματισμού για Επίλυση Προβλημάτων |
title_full_unstemmed |
Τεχνικές Λογικού Προγραμματισμού για Επίλυση Προβλημάτων |
title_sort |
τεχνικές λογικού προγραμματισμού για επίλυση προβλημάτων |
publishDate |
2016 |
url |
http://localhost:8080/jspui/handle/11419/788 |
work_keys_str_mv |
AT sakellariouilias technikeslogikouprogrammatismougiaepilysēproblēmatōn AT vasileiadisnikolaos technikeslogikouprogrammatismougiaepilysēproblēmatōn AT kefalaspetros technikeslogikouprogrammatismougiaepilysēproblēmatōn AT stamatisdimosthenis technikeslogikouprogrammatismougiaepilysēproblēmatōn AT sakellariouēlias technikeslogikouprogrammatismougiaepilysēproblēmatōn AT basileiadēsnikolaos technikeslogikouprogrammatismougiaepilysēproblēmatōn AT kephalaspetros technikeslogikouprogrammatismougiaepilysēproblēmatōn AT stamatēsdēmosthenēs technikeslogikouprogrammatismougiaepilysēproblēmatōn |
_version_ |
1771301276041084928 |