Λογικός Προγραμματισμός με περιορισμούς
Ο λογικός προγραμματισμός με περιορισμούς, αποτελεί μια από τις πιο πετυχημένες επεκτάσεις του λογικού προγραμματισμού, με εφαρμογή σε πλήθος βιομηχανικών προβλημάτων, όπως για παράδειγμα προβλήματα χρονοπρογραμματισμού. Το κεφάλαιο παρουσιάζει σύντομα το ορισμό των προβλημάτων ικανοποίησης περιορισ...
| Κύριοι συγγραφείς: | , , , , , , , |
|---|---|
| Μορφή: | 7 |
| Γλώσσα: | Greek |
| Έκδοση: |
2016
|
| Θέματα: | |
| Διαθέσιμο Online: | http://localhost:8080/jspui/handle/11419/789 |
| id |
kallipos-11419-789 |
|---|---|
| record_format |
dspace |
| spelling |
kallipos-11419-7892021-07-11T22:23:22Z Λογικός Προγραμματισμός με περιορισμούς Sakellariou, Ilias Vasileiadis, Nikolaos Kefalas, Petros Stamatis, Dimosthenis Σακελλαρίου, Ηλίας Βασιλειάδης, Νικόλαος Κεφαλάς, Πέτρος Σταμάτης, Δημοσθένης ΛΟΓΙΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ ΛΟΓΙΚΗ ΤΕΧΝΙΚΕΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΥ ΠΡΟΛΟΓ ΕΠΕΞΕΡΓΑΣΙΑ ΣΥΜΒΟΛΩΝ ΑΝΑΠΑΡΑΣΤΑΣΗ ΓΝΩΣΗΣ ΚΑΙ ΣΥΛΛΟΓΙΣΤΙΚΗ Logic Programming Prolog Logic Programming Techniques Symbol Processing Knowledge Representation And Reasoning Ο λογικός προγραμματισμός με περιορισμούς, αποτελεί μια από τις πιο πετυχημένες επεκτάσεις του λογικού προγραμματισμού, με εφαρμογή σε πλήθος βιομηχανικών προβλημάτων, όπως για παράδειγμα προβλήματα χρονοπρογραμματισμού. Το κεφάλαιο παρουσιάζει σύντομα το ορισμό των προβλημάτων ικανοποίησης περιορισμών, καθώς και έννοιες όπως εκείνη της εφαρμογής περιορισμών σε πεδία μεταβλητών. Αναφέρεται το πως επιλύονται τέτοιου είδους προβλήματα με εφαρμογή αλγορίθμων διήθησης περιορισμών και αναζήτηση. Χρησιμοποιώντας μια καθιερωμένη πλατφόρμα προγραμματισμού περιορισμών (ECLiPSe) και των βιβλιοθηκών που προσφέρει, παρουσιάζονται πλήθος παραδειγμάτων συνδυαστικών εφαρμογών, όπως είναι ο χρονοπρογραμματισμός και η ανάθεση πόρων, δείχνοντας έτσι στον αναγνώστη το πως ο λογικός προγραμματισμός αποτελεί κατάλληλη πλατφόρμα για την ανάπτυξη τέτοιων προγραμμάτων. 2016-01-15T16:13:15Z 2021-07-09T19:49:23Z 2016-01-15T16:13:15Z 2021-07-09T19:49:23Z 2016-01-15 7 http://localhost:8080/jspui/handle/11419/789 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 |
Ο λογικός προγραμματισμός με περιορισμούς, αποτελεί μια από τις πιο πετυχημένες επεκτάσεις του λογικού προγραμματισμού, με εφαρμογή σε πλήθος βιομηχανικών προβλημάτων, όπως για παράδειγμα προβλήματα χρονοπρογραμματισμού. Το κεφάλαιο παρουσιάζει σύντομα το ορισμό των προβλημάτων ικανοποίησης περιορισμών, καθώς και έννοιες όπως εκείνη της εφαρμογής περιορισμών σε πεδία μεταβλητών. Αναφέρεται το πως επιλύονται τέτοιου είδους προβλήματα με εφαρμογή αλγορίθμων διήθησης περιορισμών και αναζήτηση. Χρησιμοποιώντας μια καθιερωμένη πλατφόρμα προγραμματισμού περιορισμών (ECLiPSe) και των βιβλιοθηκών που προσφέρει, παρουσιάζονται πλήθος παραδειγμάτων συνδυαστικών εφαρμογών, όπως είναι ο χρονοπρογραμματισμός και η ανάθεση πόρων, δείχνοντας έτσι στον αναγνώστη το πως ο λογικός προγραμματισμός αποτελεί κατάλληλη πλατφόρμα για την ανάπτυξη τέτοιων προγραμμάτων. |
| 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/789 |
| work_keys_str_mv |
AT sakellariouilias logikosprogrammatismosmeperiorismous AT vasileiadisnikolaos logikosprogrammatismosmeperiorismous AT kefalaspetros logikosprogrammatismosmeperiorismous AT stamatisdimosthenis logikosprogrammatismosmeperiorismous AT sakellariouēlias logikosprogrammatismosmeperiorismous AT basileiadēsnikolaos logikosprogrammatismosmeperiorismous AT kephalaspetros logikosprogrammatismosmeperiorismous AT stamatēsdēmosthenēs logikosprogrammatismosmeperiorismous |
| _version_ |
1771301345151680513 |
