Adobe PDF (850.3 kB)
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