Recently we have proposed a multi-agent system that provides an intelligent logistics brokerage service focusing on the transport activity for the efficient allocation of transport resources (vehicles or trucks) to th...
详细信息
Recently we have proposed a multi-agent system that provides an intelligent logistics brokerage service focusing on the transport activity for the efficient allocation of transport resources (vehicles or trucks) to the transport applications. The freight broker agent has a major role to coordinate transportation arrangements of transport customers (usually shippers and consignees) with transport resource providers or carriers, following the freight broker business model. We focus on the fundamental function of this business that aims to find available trucks and to define their feasible routes for transporting requested customer loads. The main contribution of this paper is on formulating our scheduling problem as a special type of vehicle routing with pickup and delivery problem. We propose a new set partitioning model of our specific problem. Vehicle routes are defined on the graph of cities, rather than on the graph of customer orders, as typically proposed by set partitioning formulations. This approach is particularly useful when a large number of customer orders sharing a significantly lower number of pickup and delivery points must be scheduled. Our achievement is the declarative representation and solution of the model using ECLiPSe state-of-the-art constraint logic programming system.
The article focuses on the Fifth Generation Computer Systems (FGCS) project that began in 1982. The main key concept of the FGCS project is that logicprogramming should become the new unifying principle in computer s...
详细信息
The article focuses on the Fifth Generation Computer Systems (FGCS) project that began in 1982. The main key concept of the FGCS project is that logicprogramming should become the new unifying principle in computer science. The main goal of the project was to establish knowledge information processing technology, as well as to significantly improve parallel computer technology. It was commonly believed that combining knowledge information processing and parallel processing would be very difficult to achieve. During the project, researchers succeeded in developing a concurrent logicprogramming language called Guarded Horn Clauses, and have been developing the final target parallel computer the Parallel Inference Machine. constraint logic programming is one of the most promising areas in the field of logicprogramming. The domain of Prolog is extended to cover most artificial intelligence problems. The objective is to combine constraint satisfaction and logicprogramming. Researchers of the FGCS project have laid emphasis on the research into parallel applications.
In order to develop a computer bridge system that can play on an equal basis with the expert, various problems which are inherent to the incomplete information game must be solved. The authors intend to develop a new ...
详细信息
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.
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.
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...
详细信息
暂无评论