Cork Constraint Computation Center

Cork, Ireland

Cork Constraint Computation Center

Cork, Ireland

Time filter

Source Type

Bistarelli S.,University of Perugia | Bistarelli S.,CNR Institute for Informatics and Telematics | Bistarelli S.,University of Chieti Pescara | Foley S.N.,University College Cork | And 4 more authors.
Security and Communication Networks | Year: 2010

Multitrust provides a flexible approach to encoding trust metrics whereby definitions for trust propagation and aggregation are specified in terms of a semiring. Determining the degree of trust between principals across a trust network (TN) is, in turn, programmed as a (semiring-based) soft-constraint satisfaction problem. In this paper, we consider the use of semiring-based metrics in reasoning about trust between coalition-forming principals. The configurable nature of multitrust makes it well-suited to modeling trust within coalitions: whether adding more principals to a coalition increases trust or decreases trust is captured by the definition of trust aggregation within the semiring. Copyright © 2010 John Wiley & Sons, Ltd. Multitrust provides a flexible approach to encoding trust metrics whereby definitions for trust propagation and aggregation are specified in terms of a semiring. © 2010 John Wiley & Sons, Ltd.


Abell T.,IT University of Copenhagen | Malitsky Y.,Cork Constraint Computation Center | Tierney K.,IT University of Copenhagen
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | Year: 2013

Black-box optimization (BBO) problems arise in numerous scientific and engineering applications and are characterized by computationally intensive objective functions, which severely limit the number of evaluations that can be performed. We present a robust set of features that analyze the fitness landscape of BBO problems and show how an algorithm portfolio approach can exploit these general, problem independent, features and outperform the utilization of any single minimization search strategy. We test our methodology on data from the GECCO Workshop on BBO Benchmarking 2012, which contains 21 state-of-the-art solvers run on 24 well-established functions. © 2013 Springer-Verlag.


Prestwich S.D.,Cork Constraint Computation Center | Tarim S.A.,Hacettepe University | Rossi R.,Decision and Information science Group | Hnich B.,Izmir University of Economics
International Journal of Production Research | Year: 2012

Stochastic inventory control in multi-echelon systems poses hard problems in optimisation under uncertainty. Stochastic programming can solve small instances optimally, and approximately solve larger instances via scenario reduction techniques, but it cannot handle arbitrary nonlinear constraints or other non-standard features. Simulation optimisation is an alternative approach that has recently been applied to such problems, using policies that require only a few decision variables to be determined. However, to find optimal or near-optimal solutions we must consider exponentially large scenario trees with a corresponding number of decision variables. We propose instead a neuroevolutionary approach: using an artificial neural network to compactly represent the scenario tree, and training the network by a simulation-based evolutionary algorithm. We show experimentally that this method can quickly find high-quality plans using networks of a very simple form. © 2012 Copyright Taylor and Francis Group, LLC.


Akgun O.,University of St. Andrews | Frisch A.M.,University of York | Gent I.P.,University of St. Andrews | Hussain B.S.,University of St. Andrews | And 4 more authors.
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | Year: 2013

Constraint modelling is widely recognised as a key bottleneck in applying constraint solving to a problem of interest. The Conjure automated constraint modelling system addresses this problem by automatically refining constraint models from problem specifications written in the Essence language. Essence provides familiar mathematical concepts like sets, functions and relations nested to any depth. To date, Conjure has been able to produce a set of alternative model kernels (i.e. without advanced features such as symmetry breaking or implied constraints) for a given specification. The first contribution of this paper is a method by which Conjure can break symmetry in a model as it is introduced by the modelling process. This works at the problem class level, rather than just individual instances, and does not require an expensive detection step after the model has been formulated. This allows Conjure to produce a higher quality set of models. A further limitation of Conjure has been the lack of a mechanism to select among the models it produces. The second contribution of this paper is to present two such mechanisms, allowing effective models to be chosen automatically. © 2013 Springer-Verlag.


Rios G.,Cork Constraint Computation Center 4C | Wallace R.,Cork Constraint Computation Center
Proceedings of the 2010 IEEE International Symposium on Sustainable Systems and Technology, ISSST 2010 | Year: 2010

Life cycle assessment (LCA) is a method used to quantify the environmental impacts of a product, process, or service across its whole life cycle. One of the problems occurring when the system at hand involves processes delivering more than one valuable output (multi-functional processes) is the allotment of resources consumption and environmental burdens in the correct proportion amongst the products. Mathematically, this is represented by the solution of an over-determined system of linear equations. In the matrix method for the solution of the inventory problem, the system is solved by resorting to mathematical tricks to transform its rectangular coefficients matrix into a square and invertible one, inevitably introducing uncertainty in the solution. The paper describes the application of an iterative algorithm (called GeTLS) for the implementation of Total Least Square (TLS) regression to solve this kind of over-determined system directly in its rectangular form. The solutions obtained with the iterative method are compared with the direct TLS solutions obtained using Singular Value Decomposition (SVD) and with the classical Ordinary Least Square (OLS) solutions. The results obtained showed that in most cases the iterative method had a higher stability with respect to perturbations of the coefficients matrix.


Kotthoff L.,Cork Constraint Computation Center
AI Magazine | Year: 2014

The algorithm selection problem is concerned with selecting the best algorithm to solve a given problem instance on a case-bycase basis. It has become especially relevant in the last decade, with researchers increasingly investigating how to identify the most suitable existing algorithm for solving a problem instance instead of developing new algorithms. This survey presents an overview of this work focusing on the contributions made in the area of combinatorial search problems, where algorithm selection techniques have achieved significant performance improvements. We unify and organise the vast literature according to criteria that determine algorithm selection systems in practice. The comprehensive classification of approaches identifies and analyzes the different directions from which algorithm selection has been approached. This article contrasts and compares different methods for solving the problem as well as ways of using these solutions. Copyright © 2014, Association for the Advancement of Artificial Intelligence. All rights reserved.


Foping F.,Cork Constraint Computation Center | Dokas I.M.,Cork Constraint Computation Center
ISCRAM 2013 Conference Proceedings - 10th International Conference on Information Systems for Crisis Response and Management | Year: 2013

Maintaining the critical infrastructures, such as Drinking Water Treatment Plants (DWTP), transportation, power generation and communications systems, in a safe state is a complex problem. The effective collaboration, as well as the collection aggregation and dissemination of early warning information among the stakeholders of the Safety Management System (SMS) responsible for the safety of these critical infrastructures are some of the challenges that need to be addressed. This paper argues that the Software as a Service (SaaS) deployment model can offer new ways of enhancing the fusion of early warning information during the operation phase of critical infrastructures. It presents the requirements, the architecture and a number of features of a working prototype SaaS-based early warning information fusion system for DWTP safety issues in the Republic of Ireland. It is the first time that a SaaSbased working prototype system is reported of providing early warning information fusion services in the literature.

Loading Cork Constraint Computation Center collaborators
Loading Cork Constraint Computation Center collaborators