In this paper we propose a semantically well-founded combination of the constraint solvers used in the constraintprogramming languages CLP(SET) and CLP(FD). This work demonstrates that it is possible to provide effic...
详细信息
ISBN:
(纸本)9781581137057
In this paper we propose a semantically well-founded combination of the constraint solvers used in the constraintprogramming languages CLP(SET) and CLP(FD). This work demonstrates that it is possible to provide efficient executions (through CLP(FD) solvers) while maintaining the expressive power and flexibility of the CLP(SET) language. We develop a combined constraint solver and we show how static analysis can help in organizing the distribution of constraints to the two constraint solvers.
作者：
Bowen, JonathanOxford University
Computing Laboratory Programming Research Group Oxford OX1 3QD 11 Keble Road United Kingdom
A compiler may be specified by a description of how each construct of the source language is translated into a sequence of object code instructions. It is possible to produce a compiler prototype almost directly from ...
详细信息
Operational research (OR) and artificial intelligence (AI) models are primary contributors to the area of intelligent decision support systems (IDSS). constraint logic programming (CLP) has been used successfully to s...
详细信息
Operational research (OR) and artificial intelligence (AI) models are primary contributors to the area of intelligent decision support systems (IDSS). constraint logic programming (CLP) has been used successfully to substantiate the integration of OR and AI. We present a meta-level modular representation for integrating OR and AI models using CLP in an IDSS framework. The use of this representation is illustrated using a CLP-like meta-language, and the potential usefulness of this language is demonstrated using an example from the dairy industry. International Federation of Operational Research Societies 2001.
Floor storage systems are used in the shoe industry to store fashion products of seasonal collections of low quantity and high variety. Since space is valuable and order picking must be sped up, stacking of shoeboxes ...
详细信息
Floor storage systems are used in the shoe industry to store fashion products of seasonal collections of low quantity and high variety. Since space is valuable and order picking must be sped up, stacking of shoeboxes should be optimized. The problem is modelled based on shoe features (model, type, colour, and size) and with the goal of forcing similar boxes into locations close to each other in order to improve workers' ability to retrieve orders fast. The model is encoded in constraint logic programming and solved comparing different strategies, also using Large Neighbourhood Search. Simulation experiments are run to evaluate how the stacking model affects picking performance.
Commodity exchanges provide potential market structures for electronic trading because commodity products have relatively simple and well-standardized product attributes. Most existing electronic trading systems are i...
详细信息
Commodity exchanges provide potential market structures for electronic trading because commodity products have relatively simple and well-standardized product attributes. Most existing electronic trading systems are introduced for financial exchanges, where qualities of traded products (such as stocks and bonds) are homogeneous, thus taking into account only bid and offer prices for computer-mediated order matching. However, a single commodity market, such as the cotton or grain market, is made up of many heterogeneous goods that are similar to each other but have different product qualities and contract terms. In addition to the price, commodity traders have other pertinent preference ranges over product attributes and delivery conditions. We delineate an electronic call market system for commodity trading, which optimizes the realization of traders' utilities over extended product attributes beyond the price. The electronic call market not only maximizes the total surplus of market participants based on bid and ask prices but also satisfies their qualitative preferences over other attributes, which are difficult to include in the qualitative prices. The trading mechanism of the electronic call market integrates an economic auction model with a social choice model to produce a Pareto-improved transaction. Market simulations are conducted to validate the performance of the proposed electronic call market. The order matching system of the electronic call market is implemented using constraint logic programming.
The incorporation of global program analysis into recent compilers for constraint logic programming (CLP) languages has greatly improved the efficiency of compiled programs. We present a global analyser based on abstr...
详细信息
暂无评论