A multi-level approach to ubiquitous modeling and solving constraints in combinatorial optimization problems in production and distribution

Constraints, although ubiquitous in production and distribution planning, scheduling and control, often lead to inconsistencies in the decision-making process. The constraint-based modeling helps circumvent many organization-impacting issues. To address this, we developed a multi-level approach to t...

Full description

Saved in:
Bibliographic Details
Published in:Applied intelligence (Dordrecht, Netherlands) Vol. 48; no. 5; pp. 1344 - 1367
Main Authors: Sitek, Paweł, Wikarek, Jarosław
Format: Journal Article
Language:English
Published: New York Springer US 01.05.2018
Springer Nature B.V
Subjects:
Artificial Intelligence
Combinatorial analysis
Computer Science
Constraint modelling
Decision making
Fuzzy logic
Logic programming
Machines
Manufacturing
Mathematical analysis
Mathematical programming
Mechanical Engineering
Optimization
Processes
Production scheduling
Constraint logic programming
Hybrid methods
Presolving
Manufacturing and distribution
Constraint satisfaction problem ubiquitous modeling and solving constraints
Mathematical programming
ISSN:0924-669X, 1573-7497
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:Constraints, although ubiquitous in production and distribution planning, scheduling and control, often lead to inconsistencies in the decision-making process. The constraint-based modeling helps circumvent many organization-impacting issues. To address this, we developed a multi-level approach to the modeling and solving of combinatorial optimization problems. It is versatile and effective owing to the use of multi-level presolving and multiple paradigms, such as constraint programming, logic programming, mathematical programming and fuzzy logic, for their complementary strengths. The capability of this framework and its advantage over mathematical programming alone or over hybrid frameworks is shown in the illustrative example, in which combinatorial optimization is used as a benchmark to prove the effectiveness of the proposed approach. Knowledge of the problem is stored in the form of facts.
Bibliography:ObjectType-Article-1
SourceType-Scholarly Journals-1
ObjectType-Feature-2
content type line 14
ISSN:0924-669X
1573-7497
DOI:10.1007/s10489-017-1107-9