Czasopismo
2008
|
R. 12, nr 2
|
274--283
Tytuł artykułu
Autorzy
Wybrane pełne teksty z tego czasopisma
Warianty tytułu
Implementation of declarative framework for decision support in scheduling problems
Konferencja
Konferencja Naukowo-Techniczna Automatyzacja - Nowości i Perspektywy (12 ; 2-4.04.2008 ; Warszawa, Polska)
Języki publikacji
Abstrakty
Problemy harmonogramowania pojawiają się na wielu poziomach problemów decyzyjnych dotyczących produkcji. Na ogół charakteryzują się dużą liczbą ograniczeń (kolejności wykonania zadań, dostępnych zasobów itp.). Ze względu na zło- żoność obliczeniową wynikającą z dużej liczby zmiennych decyzyjnych całkowitoliczbowych oraz charakteru problemów są klasyfikowane jako zadania NP-trudne. Z tego powodu tradycyjne podejścia do rozwiązania tych problemów opierające się na programowaniu matematycznym są często nieefektywne. W odróżnieniu od podejścia tradycyjnego gdzie modelowanie ograniczeń problemu zwykle jest sztuczne (użycie dodatkowych zmiennych 0-1) w środowisku programowania w logice z ograniczeniami (CLP – Constrain Logic Programming) modelowanie ograniczeń jest naturalne i wynika z paradygmatu na którym środowisko CLP zostało oparte. Środowisko CLP jest środowiskiem deklaratywnym. W pracy zaproponowano wykorzystanie środowisk deklaratywnych (CLP, SQL, HTML) do budowy systemu wspomagania decyzji harmonogramowania produkcji.
Scheduling problems appear frequently at different levels of decisions. They are usually characterized by many types of constraints, which make them unstructured and difficult to solve (NP-complete). Traditional mathematical programming approaches are deficient because their representation of constraints is artificial (using 0-1 variables). Unlike traditional approaches, constraint logic programming (CLP) provides for a natural representation of heterogeneous constraints. In CLP we state the problem requirements by constraints; we do not need to specify how to meet these requirements. In this paper we propose a declarative framework for decision support system (DSS) for scheduling problems implemented by CLP and relational SQL database. We illustrate this concept by the implementation of a DSS for scheduling problems with external resources in different production organization environments.
Czasopismo
Rocznik
Tom
Strony
274--283
Opis fizyczny
CD, Bibliogr. 4 poz., rys.
Twórcy
Bibliografia
- 1. Janiak A.: Wybrane problemy i algorytmy szeregowania zadań i rozdziału zasobów. Akademicka Oficyna Wydawnicza PLJ, Warszawa 1999,
- 2. Liao S. Y., Wang H. Q., Liao L. J.: An extended formalism to constraint logic programming for decision analysis, Knowledge-based Systems 15, 2002 , pp. 189-202.
- 3. Lee H. G., Lee G. Yu., “Constraint logic programming for qualitative and quantitative constraint satisfaction problems”, Decision Support Systems 16 (1), 1996, pp. 67-83.
- 4. M. Mouhoub, F. Charpilet, J. P. Haton : Experimental Analysis of Numeric and Symbolic Constraint Satisfaction Techniques for temporal Reasoning, Constraints, International Journal, 2, pp. 151-164, 1998.
Typ dokumentu
Bibliografia
Identyfikatory
Identyfikator YADDA
bwmeta1.element.baztech-7d459d7d-cbd8-49d8-8042-3557b627bb3e