Τεχνικές Λογικού Προγραμματισμού για Επίλυση Προβλημάτων

Το κεφάλαιο αποτελεί επιστέγασμα όλων των προηγουμένων, καθώς παραθέτει παραδείγματα τεχνικών αναπαράστασης και επίλυσης σύνθετων προβλημάτων σε Prolog. Έτσι, κλασσικές τεχνικές όπως αυτή της "Προσπάθειας και Αποτυχίας" (trial-and-error) παρουσιάζονται μέσω κλασικών παραδειγμάτων,...

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

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριοι συγγραφείς: Sakellariou, Ilias, Vasileiadis, Nikolaos, Kefalas, Petros, Stamatis, Dimosthenis, Σακελλαρίου, Ηλίας, Βασιλειάδης, Νικόλαος, Κεφαλάς, Πέτρος, Σταμάτης, Δημοσθένης
Μορφή: 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