Harmonogramowanie zadań i rozdziału zasobów jako problem spełnienia ograniczeń

W referacie przedstawiono możliwość formalizacji zagadnienia harmonogramowania zadań i rozdziału obciążeń w postaci problemu spełnienia ograniczeń - Constraint Satisfation Problem (CSP). Omówiono podstawowy algorytm CSP oraz techniki propagacji ograniczeń i backtrackingu. Z wykorzystaniem środowiska programowania w logice z ograniczeniami - Constraint Logic Programming (CLP), którego podstawowym zagadnieniem jest CSP, dokonano implementacji systemu wspomagania decyzji harmonogramowania produkcji. System opracowano przy wykorzystaniu pakietu ECLiPSe. W artykule zamieszczono również przykład ilustracyjny wspomagania decyzji harmonogramowania produkcji typu gniazdowego (job-shop).

---

Scheduling problems can be seen as a special type of Constraint Satisfaction Problem (CSP). This paper presents a formulating of scheduling problems as CSPs. To solve a CSP, different approaches have been developed. These approaches generally use constraint propagation to simplify the original problem and backtracking to directly search for possible solutions. To demonstrate flexibility of CSP approach, the implementation of decision support system for job-shop production based on Constraint Logic Programming (CLP) has been presented.