Προγραμματισμος Παραγωγης Με Χρηση Λογικου Προγραμματισμου

Abstract

Σκοπός αυτής της διπλωματικής είναι μια προσέγγιση του προβλήματος του προγραμματισμού παραγωγής με την χρήση του λογικού προγραμματισμού. Αρχικά θα εξηγηθεί η έννοια του προγραμματισμού παραγωγής, τι τομείς καλύπτει και θα περιγραφούν αλγόριθμοι που χρησιμοποιούνται με στόχο την βελτιστοποίηση αυτής της διαδικασίας. Θα γίνει μια εκτενέστερη αναφορά στο λογικό προγραμματισμό που αποτελεί μια αρκετά αποδοτική μέθοδο και θα γνωστοποιηθεί επίσης η γλώσσα προγραμματισμού CHIP (constraint handling in prolog). Στη συνέχεια, θα δοθούν στοιχεία σχετικά με το λογισμικό που θα χρησιμοποιηθεί για την επίλυση του προβλήματος. Τέλος θα παρουσιαστεί το πραγματικό πρόβλημα και η λύση που προτείνεται με στόχο την βελτιστοποίηση του. Η διπλωματική θα κλείσει με έναν απολογισμό της όλης διαδικασίας και το κατά πόσον είναι υλοποιήσιμη ή όχι για την ευρύτερη αγορά.