Title Details: | |
Τεχνικές Λογικού Προγραμματισμού για Επίλυση Προβλημάτων |
|
Authors: |
Sakellariou, Ilias Vasileiadis, Nikolaos Kefalas, Petros Stamatis, Dimosthenis |
Reviewer: |
Tsadiras, Athanasios |
Subject: | MATHEMATICS AND COMPUTER SCIENCE > COMPUTER SCIENCE > PROGRAMMING LANGUAGES MATHEMATICS AND COMPUTER SCIENCE > COMPUTER SCIENCE > INTELLIGENT SYSTEMS |
Keywords: |
Logic Programming
Prolog Logic Programming Techniques Symbol Processing Knowledge Representation And Reasoning |
Description: | |
Abstract: |
Το κεφάλαιο αποτελεί επιστέγασμα όλων των προηγουμένων, καθώς παραθέτει παραδείγματα τεχνικών αναπαράστασης και επίλυσης σύνθετων προβλημάτων σε Prolog. Έτσι, κλασσικές τεχνικές όπως αυτή της "Προσπάθειας και Αποτυχίας" (trial-and-error) παρουσιάζονται μέσω κλασικών παραδειγμάτων, όπως η εύρεση λύσης σε ακέραιες εξισώσεις και το πρόβλημα των N βασιλισσών. Παρουσιάζεται επίσης η πλέον δημοφιλής αναπαράσταση προβλημάτων της ΤΝ, η αναπαράσταση μέσω γράφων, καθώς και η υλοποίηση τυφλών και ευριστικών αλγορίθμων αναζήτησης, οι οποίοι οδηγούν στην επίλυση σύνθετων προβλημάτων.
|
Type: |
Chapter |
Creation Date: | 2015 |
Item Details: | |
License: |
http://creativecommons.org/licenses/by-nc-sa/3.0/gr |
Handle | http://hdl.handle.net/11419/788 |
Bibliographic Reference: | Sakellariou, I., Vasileiadis, N., Kefalas, P., & Stamatis, D. (2015). Τεχνικές Λογικού Προγραμματισμού για Επίλυση Προβλημάτων [Chapter]. In Sakellariou, I., Vasileiadis, N., Kefalas, P., & Stamatis, D. 2015. Logic Programming Techniques [Undergraduate textbook]. Kallipos, Open Academic Editions. https://hdl.handle.net/11419/788 |
Language: |
Greek |
Consists of: |
1. Αναζήτηση κατά βάθος 2. Αναζήτηση κατά βάθος (2) 3. Αναζήτηση κατά πλάτος 4. Ανάπτυξη του isort/2 5. Κώδικας Prolog Κεφαλαίου 11 |
Is Part of: |
Logic Programming Techniques |
Publication Origin: |
Kallipos, Open Academic Editions |