Adobe PDF
(818.2 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: |
Ο λογικός προγραμματισμός με περιορισμούς, αποτελεί μια από τις πιο πετυχημένες επεκτάσεις του λογικού προγραμματισμού, με εφαρμογή σε πλήθος βιομηχανικών προβλημάτων, όπως για παράδειγμα προβλήματα χρονοπρογραμματισμού. Το κεφάλαιο παρουσιάζει σύντομα το ορισμό των προβλημάτων ικανοποίησης περιορισμών, καθώς και έννοιες όπως εκείνη της εφαρμογής περιορισμών σε πεδία μεταβλητών. Αναφέρεται το πως επιλύονται τέτοιου είδους προβλήματα με εφαρμογή αλγορίθμων διήθησης περιορισμών και αναζήτηση. Χρησιμοποιώντας μια καθιερωμένη πλατφόρμα προγραμματισμού περιορισμών (ECLiPSe) και των βιβλιοθηκών που προσφέρει, παρουσιάζονται πλήθος παραδειγμάτων συνδυαστικών εφαρμογών, όπως είναι ο χρονοπρογραμματισμός και η ανάθεση πόρων, δείχνοντας έτσι στον αναγνώστη το πως ο λογικός προγραμματισμός αποτελεί κατάλληλη πλατφόρμα για την ανάπτυξη τέτοιων προγραμμάτων.
|
| Type: |
Chapter |
| Creation Date: | 2015 |
| Item Details: | |
| License: |
http://creativecommons.org/licenses/by-nc-sa/3.0/gr |
| Handle | http://hdl.handle.net/11419/789 |
| 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/789 |
| Language: |
Greek |
| Consists of: |
1. Κώδικας Prolog Κεφαλαίου 12 |
| Is Part of: |
Logic Programming Techniques |
| Publication Origin: |
Kallipos, Open Academic Editions |