Solving XCSP problems by using Gecode

Gecode is one of the most efficient libraries that can be used for constraint solving. However, using it requires dealing with C++ programming details. On the other hand several formats for representing constraint networks have been proposed. Among them, XCSP has been proposed as a format based on XML which allows us to represent constraints defined either extensionally or intensionally, permits global constraints and has been the standard format of the international competition of constraint satisfaction problems solvers. In this paper we present a plug-in for solving problems specified in XCSP by exploiting the Gecode solver. This is done by dynamically translating constraints into Gecode library calls, thus avoiding the need to interact with C++.Comment: 5 pages, http://ceur-ws.org/Vol-810 CILC 201

Computing leximin-optimal solutions in constraint networks

AbstractIn many real-world multiobjective optimization problems one needs to find solutions or alternatives that provide a fair compromise between different conflicting objective functions—which could be criteria in a multicriteria context, or agent utilities in a multiagent context—while being efficient (i.e. informally, ensuring the greatest possible overall agents' satisfaction). This is typically the case in problems implying human agents, where fairness and efficiency requirements must be met. Preference handling, resource allocation problems are another examples of the need for balanced compromises between several conflicting objectives. A way to characterize good solutions in such problems is to use the leximin preorder to compare the vectors of objective values, and to select the solutions which maximize this preorder. In this article, we describe five algorithms for finding leximin-optimal solutions using constraint programming. Three of these algorithms are original. Other ones are adapted, in constraint programming settings, from existing works. The algorithms are compared experimentally on three benchmark problems

Combination Strategies for Semantic Role Labeling

This paper introduces and analyzes a battery of inference models for the problem of semantic role labeling: one based on constraint satisfaction, and several strategies that model the inference as a meta-learning problem using discriminative classifiers. These classifiers are developed with a rich set of novel features that encode proposition and sentence-level information. To our knowledge, this is the first work that: (a) performs a thorough analysis of learning-based inference models for semantic role labeling, and (b) compares several inference strategies in this context. We evaluate the proposed inference strategies in the framework of the CoNLL-2005 shared task using only automatically-generated syntactic information. The extensive experimental evaluation and analysis indicates that all the proposed inference strategies are successful -they all outperform the current best results reported in the CoNLL-2005 evaluation exercise- but each of the proposed approaches has its advantages and disadvantages. Several important traits of a state-of-the-art SRL combination strategy emerge from this analysis: (i) individual models should be combined at the granularity of candidate arguments rather than at the granularity of complete solutions; (ii) the best combination strategy uses an inference model based in learning; and (iii) the learning-based inference benefits from max-margin classifiers and global feedback

MASDScheGATS: a prototype system for dynamic scheduling

A manufacturing system has a natural dynamic nature observed through several kinds of random occurrences and perturbations on working conditions and requirements over time. For this kind of environment it is important the ability to efficient and effectively adapt, on a continuous basis, existing schedules according to the referred disturbances, keeping performance levels. The application of Meta-Heuristics and Multi-Agent Systems to the resolution of this class of real world scheduling problems seems really promising. This paper presents a prototype for MASDScheGATS (Multi-Agent System for Distributed Manufacturing Scheduling with Genetic Algorithms and Tabu Search)

Extensible Automated Constraint Modelling

In constraint solving, a critical bottleneck is the formulationof an effective constraint model of a given problem. The CONJURE system described in this paper, a substantial step forward over prototype versions of CONJURE previously reported, makes a valuable contribution to the automation of constraint modelling by automatically producing constraint models from their specifications in the abstract constraint specification language ESSENCE. A set of rules is used to refine an abstract specification into a concrete constraint model. We demonstrate that this set of rules is readily extensible to increase the space of possible constraint models CONJURE can produce. Our empirical results confirm that CONJURE can reproduce successfully the kernels of the constraint models of 32 benchmark problems found in the literature

A Unified Framework for Solving Multiagent Task Assignment Problems

Multiagent task assignment problem descriptors do not fully represent the complex interactions in a multiagent domain, and algorithmic solutions vary widely depending on how the domain is represented. This issue is compounded as related research fields contain descriptors that similarly describe multiagent task assignment problems, including complex domain interactions, but generally do not provide the mechanisms needed to solve the multiagent aspect of task assignment. This research presents a unified approach to representing and solving the multiagent task assignment problem for complex problem domains. Ideas central to multiagent task allocation, project scheduling, constraint satisfaction, and coalition formation are combined to form the basis of the constrained multiagent task scheduling (CMTS) problem. Basic analysis reveals the exponential size of the solution space for a CMTS problem, approximated by O(2n(m+n)) based on the number of agents and tasks involved in a problem. The shape of the solution space is shown to contain numerous discontinuous regions due to the complexities involved in relational constraints defined between agents and tasks. The CMTS descriptor represents a wide range of classical and modern problems, such as job shop scheduling, the traveling salesman problem, vehicle routing, and cooperative multi-object tracking. Problems using the CMTS representation are solvable by a suite of algorithms, with varying degrees of suitability. Solution generating methods range from simple random scheduling to state-of-the-art biologically inspired approaches. Techniques from classical task assignment solvers are extended to handle multiagent task problems where agents can also multitask. Additional ideas are incorporated from constraint satisfaction, project scheduling, evolutionary algorithms, dynamic coalition formation, auctioning, and behavior-based robotics to highlight how different solution generation strategies apply to the complex problem space

Integration of operations research and artificial intelligence approaches to solve the nurse rostering problem

Please note, incorrect date on spine and title page (2016). Degree was awarded in 2019.Nurse Rostering can be defined as assigning a series of shift sequences (schedules)to several nurses over a planning horizon according to some limitations and preferences. The inherent benefits of generating higher-quality rosters are a reduction in outsourcing costs and an increase in job satisfaction of employees.This problem is often very dicult to solve in practice, particularly by applying a sole approach. This dissertation discusses two hybrid solution methods to solve the Nurse Rostering Problem which are designed based on Integer Programming,Constraint Programming, and Meta-heuristics. The current research contributes to the scientific and practical aspects of the state of the art of nurse rostering. The present dissertation tries to address two research questions. First, we study the extension of the reach of exact method through hybridisation. That said, we hybridise Integer and Constraint Programming to exploit their complementary strengths in finding optimal and feasible solutions, respectively. Second,we introduce a new solution evaluation mechanism designed based on the problem structure. That said, we hybridise Integer Programming and Variable Neighbourhood Search reinforced with the new solution evaluation method to efficiently deal with the problem. To benchmark the hybrid algorithms, three different datasets with different characteristics are used. Computational experiments illustrate the effectiveness and versatility of the proposed approaches on a large variety of benchmark instancesNurse Rostering can be defined as assigning a series of shift sequences (schedules)to several nurses over a planning horizon according to some limitations and preferences. The inherent benefits of generating higher-quality rosters are a reduction in outsourcing costs and an increase in job satisfaction of employees.This problem is often very dicult to solve in practice, particularly by applying a sole approach. This dissertation discusses two hybrid solution methods to solve the Nurse Rostering Problem which are designed based on Integer Programming,Constraint Programming, and Meta-heuristics. The current research contributes to the scientific and practical aspects of the state of the art of nurse rostering. The present dissertation tries to address two research questions. First, we study the extension of the reach of exact method through hybridisation. That said, we hybridise Integer and Constraint Programming to exploit their complementary strengths in finding optimal and feasible solutions, respectively. Second,we introduce a new solution evaluation mechanism designed based on the problem structure. That said, we hybridise Integer Programming and Variable Neighbourhood Search reinforced with the new solution evaluation method to efficiently deal with the problem. To benchmark the hybrid algorithms, three different datasets with different characteristics are used. Computational experiments illustrate the effectiveness and versatility of the proposed approaches on a large variety of benchmark instance