Library design system and method

Abstract

The present invention relates to the design of libraries, such as combinatorial libraries, which may be used in the discovery of novel potentially useful compounds. The invention operates on a population of libraries that is refined iteratively. The refinement involves the following steps: calculating the relative dominance of the libraries in the population; selecting libraries for modification according to dominance; modifying the selected libraries using genetic operators; and inserting the modified libraries back in the population. The refinement steps are repeated until adequate convergence is deemed to have occurred or for a specified number of iterations. The Pareto optimal set of libraries in the final population is output for further processing such as storage or manufacture.

Description

FIELD OF THE INVENTION

[0001] The present invention relates to library design and a system and method therefor.

BACKGROUND OF THE INVENTION

[0002] “Background theory of molecular diversity”, Gillet V J In: Dean P M, Lewis R A, EDS, “Molecular diversity in drug design”, Dordrecht: Kluwer 1999: 43-65 discloses computational methods for the design of combinatorial libraries prior to drug synthesis. The focus of the prior art in combinatorial library design was initially diversity and was founded upon the assumption that libraries, which have broad coverage of chemistry space, will increase the chance of finding new potentially useful compounds. It will be appreciated, however, that there exists practical limits on the sizes of combinatorial libraries which, in turn, leads to a practical chemistry space that is smaller than the maximum theoretical chemistry space. It has in recent times become evident that diversity alone is insufficient to focus research into new compounds since in some regions of a chemistry space there are molecules with properties that make them unlikely drug candidates. Therefore, while diversity is still an important criterion, it is now recognised that other factors should also be taken into account. For example, the physicochemical properties of the molecules that determine effects such as ADME are important as well as other factors such as cost and availability of reactants.

[0003] There is a growing interest in the design of focused libraries. Focused libraries are constrained to occupy restricted regions of chemistry space with the boundaries being defined by what is known about the biological target of interest. For example, if a compound active against the target is known, the library could be constrained to contain molecules that are similar to the known that compound. In focused library design it is also desirable to optimise multiple properties since in addition to matching constraints related to the target molecule, other criteria are often required during lead optimisation, for example, bioavailability and cost of goods.

[0004] The prior art also comprises a number of methods for designing combinatorial libraries based on a number of properties. For example, these methods can be divided into reactant-based designs and product-based designs. In reactant-based designs, optimised subsets of reactants are selected on the assumption that when reactants from different pools are combined combinatorially an optimised set of products results.

[0005] The product-based approaches are typically implemented via an optimisation techniques such as a genetic algorithm see, for example, Gillet V J, Willet P Bradshaw J, Green D V S, “Selecting combinatorial libraries to optimise diversity and physical properties”, J Chem Inf Comput Sci 1999, 39: 169-177 or simulated annealing as disclosed in, for example, Zheng W, Hung S T, Saunders J T, Seibel C L, PICCALO: tool for combinatorial library design via multicriterion optimisation, In: Altman R B, Dunker A K, Hunter L, Lauderdale K, Klein T E, eds. Pacific Symposium on Biocomputing 2000, Singapore: World Scientific, 2000: 588-599 and Good A C, Lewis R A, “New Methodology for Profiling Combinatorial Libraries and Screened Sets: Cleaning up the Design Process with HARPick”, J Med Chem 1997; 40: 3926-3963.

[0006] In the well known SELECT program, combinatorial subsets are selected from a fully enumerated virtual library using a standard genetic algorithm such as is shown in the flowchart 100 of FIG. 1 and described hereafter. SELECT uses as an input a virtual library together with molecular descriptors that have been calculated for each molecule within the library.

[0007] The library can consist of any number of components or reactant pools. Initially, SELECT was developed to optimise a single objective; namely the diversity of the combinatorial subset using a distance based diversity index.

[0008] Each chromosome of the genetic algorithm represents a combinatorial library encoded as reactants selected from each reactant pool.

[0009] The genetic algorithm begins with a population of individuals that are initialised with random values at step 102. A chromosome is scored by enumerating the combinatorial subset it represents and measuring its diversity via a fitness function such as, f(n)=diversity.

[0010] Conventionally, diversity is measured as the sum-of-pairwise dissimilarities calculated using the cosine coefficient and Daylight fingerprints. However, other diversity indices and other descriptors can also be used. The population is sorted according to fitness.

[0011] The genetic algorithm enters an iterative phase where individuals are chosen for reproduction using a roulette wheel parent selection in step 104 and in which reproduction takes place via mutation or crossover via genetic operators in step 106. The newly created individuals are scored and inserted into the population so as to replace the worst individuals and the population is re-sorted in steps 108 to 112. The iterations continue until adequate convergence, measured at step 114, has been achieved. The number of chromosomes selected for reproduction is determined by the replacement rate. A replacement rate of, for example, 10% may be suitable. Within SELECT, sufficient convergence is deemed to have occurred when there has been no change in the fitness of the best individual for a user-specified number of iterations. The parameters of SELECT are configured via an input file. The parameters include characteristics such as, for example, population size, relative rates of crossover versus mutation and the replacement rate. SELECT has been used to demonstrate the benefits of performing product-based library design over reactant-based design.

[0012] However, traditional optimisation techniques such as genetic algorithms and simulated annealing have tended to deal with a single optimisation criterion or objective, that is, the maximisation or minimisation of a single measure or quantity.

[0013] It will be appreciated, however, that most practical search and optimisation applications should preferably be characterised by the existence of a plurality of fitness measures against which final search results can be judged. For example, as already described, in a library design context, such fitness measures could typically include diversity, some measure of drug-likeness and cost.

[0014] However, optimal performance in one objective often implies an unacceptably low performance in at least one of the other objectives. For example, libraries designed using diversity alone as a measure of fitness have a tendency to contain molecules that are not suitable for use as drugs such as, for example, molecules with high molecular weights.

[0015] Therefore, it can be appreciated that there is a need to compromise and that the search for solutions must offer acceptable performance in all objectives even though any such acceptable performance may be sub-optimal as measured against any of the individual objectives. A known technique for achieving a compromise over a number of objectives is to combine the objectives via a weighted-sum of fitness functions. For example, SELECT has been extended to perform multi-objective optimisation in a product-space so that other properties, such as, for example, the physicochemical property profiles, of the library can be optimised simultaneously with diversity. Such a suitable fitness function may have the form of f(n)=w1.diversity+w2.property1+w3.property2 . . . , where the weights (w1, w2, w3 etc) are user-defined and the properties (property1, property2, etc) can include physicochemical property profiles such as molecular weight profile or other calculable properties such as costs. Typically, each objective is normalised before being combined.

[0016] The advantage of combining multiple objectives via a weighted fitness function is that a single compromise solution is produced. However, such an approach bears the following limitations

[0017] (a) a definition of the fitness function can be difficult especially with non-commensurable objectives, for example, it is not obvious how diversity should be combined with cost,

[0018] (b) the setting of weights is non-intuitive, typically in the SELECT program the objectives are normalised and then weighted equally,

[0019] (c) the fitness function effectively determines the regions of the search space that are explored and can result in some regions being unexplored,

[0020] (d) the progress of the search or optimisation process is not easy to follow since there are many objectives to monitor simultaneously,

[0021] (e) the objectives may be coupled thus implying conflict or competition, which can make it more difficult for the optimisation process to achieve reasonable or acceptable results

[0022] (f) a single solution is found which is typically only one of a family of possible solutions that, while having different values of the individual objectives, are equivalent in terms of the overall fitness, and

[0023] (g) when the objectives are non-convex, some solutions will not be obtained using this weighted fitness function method.

[0024] Referring to the graph 200 of FIG. 2, which shows the results of several runs of SELECT for a common amide library design problem, some of these limitations can be appreciated. The libraries have been optimised on diversity and molecular weight profile simultaneously via the weighted-sum fitness function:

f(n)=w1(1−D)+w2&Dgr;MW

[0025] where D is diversity, included in the fitness function as 1−D so that the term w1(1−D) is minimised; &Dgr;MW is the normalised RMSD between the two profiles. In FIG. 2, the y-axis has been reversed so that diversity increases with distance from the origin and the aim is to find a solution that is as close to the origin as possible on both axes. The triangles show the results found when both weights, w1 and w2, are unity. It can be appreciated that these points form a first cluster 202 in the top left-hand corner of the graph favouring relatively low (good) values of molecular weight with relatively poor values for diversity. Increasing the relative importance of diversity by adjusting the weights to w1=2 and w2=0.5 results in a second cluster 204 of solutions with improved diversity but at the expense of higher values of molecular weight. The second cluster is illustrated using circles. A third cluster 206, illustrated using diamonds, shows the results obtained for w1=10 and w2=1.0. It can be seen that the distribution has been shifted further in favour of diversity at the expense of the molecular weight profile of the library. Each of the solutions represents a different compromise between the two objectives and in terms of overall fitness. All of these solutions appear to be equally valid. It can be appreciated from the above that full coverage of the search space using a weighted-sum fitness function requires many runs of SELECT to be performed using different weights to find an acceptable solution. This is clearly a time consuming, slow and computationally intensive constraint.

[0026] It is an object of the present invention at least to mitigate some of the problems of the prior art.

SUMMARY OF THE INVENTION

[0027] Accordingly, a first aspect of the present invention provides a method for designing a set of libraries using a population of libraries, the method comprising performing, at least once, the steps of:

[0028] selecting at least a plurality of the libraries from the population of libraries;

[0029] applying genetic operators to selected, ranked, libraries to produce modified libraries;

[0030] calculating each of a plurality of objectives for each of the modified libraries;

[0031] calculating an associated dominance indication of each of the modified libraries;

[0032] ranking the modified libraries according to associated dominance indications;

[0033] incorporating the modified libraries into the population of libraries; and

[0034] forming the set libraries comprising selecting at least one library from the population of libraries.

[0035] Advantageously, applying such a multi-objective optimisation technique to the problem of library design results in a family of alternative solutions that are all considered to be equivalent. Furthermore, multiple solutions arise in situations, which include, for example, the case of two competing objectives. Still further, as the number of objectives increases, it will be appreciated that the problem of finding a satisfactory compromise solution becomes increasingly complex. However, since the embodiments of the present invention operate with a population of individuals, the embodiments are well suited to search for multiple solutions in parallel and are applicable readily to multi-objective search and optimisation of combinatorial library design.

[0036] Preferably, embodiments provide a method in which the set of libraries is at least one of a set of combinatorial libraries or near combinatorial libraries.

[0037] Embodiments preferably provide a method in which the population of libraries is a population of combinatorial libraries or near combinatorial libraries.

[0038] Still further, embodiments provide a method in which the modified libraries are at least one of modified combinatorial libraries or modified near combinatorial libraries.

[0039] In preferred embodiments, there is provided a method in which the step of selecting at least one library from the population of libraries comprises the step of selecting at least one combinatorial and/or near combinatorial library from the population of libraries.

[0040] Preferred embodiments provide a method in which the step of forming the set of libraries comprises the step of forming a Pareto set of libraries.

[0041] Preferably, the Pareto set is a Pareto optimal set.

[0042] Preferred embodiments provide a method in which the plurality of objectives are specified via at least an n-dimensional vector function (f) of a population library (x) and at least two n-dimensional objective vectors (u=f(xu) and v-f(xv)).

[0043] Still further, embodiments preferably provide a method in which the step of ranking the modified libraries comprises the step of determining an order of preference of the modified libraries.

[0044] Preferred embodiments provide a method in which the step of determining an order of preference of the modified libraries comprises determining that at least one of the objective vectors (u=[u1, . . . , up]) for a first modified library is preferable to the at least one of the objective vectors (v=[v1, . . . , vp) for a second modified library given a preference vector (g=[g1, . . . , gp]) 1 ( u ⁢ ≺ g ⁢ v )

[0045] if and only if

p=1(up′p<vp′)=>{(up′=vp′)

{circumflex over ( )}[(vp*not≦gp*)=>(up*p<vp*)]}

and

p>1(up′p<vp′)=>{(up′=vp′)

[0046] where ui, . . . ,p-132 [ui, . . . , up-1]and similarly for v and g; where the first ki components of vectors ui,vi, and gi are represented as ui *, vi*, and gi*, respectively; the last ni-ki component of the same vectors are denoted ui′, vi′, and gi′, also respectively; and the * and ′ indicate the components in which u either does or does not meet the goals.

[0047] A preferred embodiment provides a method in which the step of calculating the associated dominance indication of each of the modified libraries comprises determining whether at least a first objective vector (u=(u1, . . . , un)) for a first modified library has Pareto dominance over a second objective vector (v=(v1, . . . , vn)) for a second modified library if and only if the u is partially less than v (up<v) such that ∀i&egr;{1, . . . ,n},ui≦vi=>∃i&egr;{1, . . . , n}:ui<vi.

[0048] Preferably, embodiments provide a method in which the step of ranking the modified library comprises the steps of evaluating the preference of each modified library and ranking the modified library according to respective preferences.

[0049] Preferred embodiments provide a method in which the step of forming the set of libraries comprises the step of selecting the ranked modified libraries that are Pareto-optimal where a first library (xu) of the population for a first objective vector is said to be Pareto-optimal if and only if there is no other library of the population for a second objective vector (xv) for which the second objective vector, v=f(xu)=(v1, . . . , vn) dominates the first objective vector u=f(xu)=(u1, . . . , un).

[0050] A further aspect of the present invention provides a method for designing a set of combinatorial libraries using a population of combinatorial libraries, the method comprising performing, at least once, the steps of:

[0051] selecting at least a plurality of the combinatorial libraries from the population of combinatorial libraries;

[0052] applying genetic operators to selected, ranked, combinatorial libraries to produce modified combinatorial libraries;

[0053] calculating each of a plurality of objectives for each of the modified combinatorial libraries;

[0054] calculating an associated dominance indication of each of the modified combinatorial libraries;

[0055] ranking the modified combinatorial libraries according to associated dominance indications;

[0056] incorporating the modified combinatorial libraries into the population of combinatorial libraries; and

[0057] forming the set combinatorial libraries comprising selecting at least one combinatorial library from the population of combinatorial libraries.

[0058] Preferably, embodiments provide a method in which the step of forming the set of combinatorial libraries comprises the step of forming a Pareto set of combinatorial libraries.

[0059] Preferably, a method is provided in which the Pareto set is a Pareto optimal set.

[0060] Embodiments provide a method in which the plurality of objectives are specified via at least an n-dimensional vector function (f) of a population library (x) and at least two n-dimensional objective vectors (u=f(xu) and v=f (xv)).

[0061] Preferred embodiments provide a method in which the step of ranking the modified combinatorial libraries comprises the step of determining an order of preference of the modified combinatorial libraries.

[0062] Preferably, embodiments provide a method in which the step of determining an order of preference of the modified combinatorial libraries comprises determining that at least one of the objective vectors (u=[u1, . . . , un]) for a first modified combinatorial library is preferable to the at least one of the objective vectors (v=[v1, . . . , vp]) for a second modified combinatorial library given a preference vector (g=[g1, . . . , gp]) 2 ( u ⁢ ≺ g ⁢ v )

[0063] if and only if

p=1=>(up′p<vp′)=>{(up′=vp′)

{circumflex over ( )}[(vp*not≦gp*)=>(up*p<vp*)]}

and

p>1=>(up′p<vp′)=>{(up′=vp′)

[0064] where ui, . . . ,p-1=[ui, . . . , up-1]and similarly for v and g; where the first ki components of vectors ui,vi, and gi are represented as ui*, vi*, and gi*, respectively; the last ni-ki component of the same vectors are denoted ui′, vi′, and gi′, also respectively; and the * and ′ indicate the components in which u either does or does not meet the goals.

[0065] Preferred embodiments provide a method in which the step of calculating the associated dominance indication of each of the modified combinatorial libraries comprises determining whether at least a first objective vector (u=(u1, . . . , un)) for a first modified combinatorial library has Pareto dominance over a second objective vector (v=(v1, . . . , vn)) for a second modified combinatorial library if and only if the u is partially less than v (up<v) such that ∀i&egr;{1, . . . ,n}ui≦vi=>∃i&egr;{1, . . . , n}:ui<vi.

[0066] Preferred embodiments provide a method as claimed in which the step of ranking the modified combinatorial library comprises the steps of evaluating the preference of each modified combinatorial library and ranking the modified combinatorial library according to respective preferences.

[0067] Preferably, there is provided a method in which the step of forming the set of combinatorial libraries comprises the step of selecting the ranked modified combinatorial libraries that are Pareto-optimal where a first combinatorial library (xu) of the population for a first objective vector is said to be Pareto-optimal if and only if there is no other combinatorial library of the population for a second objective vector (xv) for which the second objective vector, v=f(xv) =(v1, . . . ,vn) dominates the first objective vector u=f(xu)=(u1, . . . , un).

[0068] Preferred embodiments provide a method substantially as described herein with reference to and/or as illustrated in the accompanying drawings.

[0069] A still further aspect of the present invention provides a system for designing a set of combinatorial libraries using a population of combinatorial libraries, the system means for invoking, at least once: means for selecting at least a plurality of the combinatorial libraries from the population of combinatorial libraries;

[0070] means for applying genetic operators to selected, ranked, combinatorial libraries to produce modified combinatorial libraries;

[0071] means for calculating each of a plurality of objectives for each of the modified combinatorial libraries;

[0072] means for calculating an associated dominance indication of each of the modified combinatorial libraries;

[0073] means for ranking the modified combinatorial libraries according to associated dominance indications;

[0074] means for incorporating the modified combinatorial libraries into the population of combinatorial libraries; and means for forming the set combinatorial libraries comprising selecting at least one combinatorial library from the population of combinatorial libraries.

[0075] Preferably, embodiments are arranged to implement the system equivalents of the above-described methods and the methods described herein.

[0076] Preferably, embodiments provide a combinatorial library design computer program element for implementing a method or system.

[0077] Preferred embodiments provide a computer program product comprising a computer readable storage medium having stored thereon a computer program element.

[0078] Preferred embodiments provide a method of manufacturing a combinatorial library or element thereof comprising the steps of designing the combinatorial library or element using a method, system, computer program element or computer program product as claimed in any preceding claim; and materially producing the designed combinatorial library or element thereof.

BRIEF DESCRIPTION OF THE DRAWINGS

[0079] Embodiments of the present invention will now be described, by way of example only, with reference to the accompanying drawings in which:

[0080] FIG. 1 illustrates a flow chart for implementing the SELECT processing steps according to the prior art;

[0081] FIG. 2 shows combinatorial libraries for different weightings of two objectives; namely diversity and molecular weight profile according to the prior art;

[0082] FIG. 3 shows a flow chart for implementing an embodiment of the present invention;

[0083] FIG. 4 illustrates libraries that can be used with the embodiments of the present invention;

[0084] FIGS. 5a and 5b illustrate the progress of a search according to an embodiment;

[0085] FIG. 6 illustrates a distribution of Pareto solutions for 10 runs of an embodiment of the present invention;

[0086] FIG. 7 depicts Pareto frontiers for 10 runs of an embodiment with convergence for selecting 30×30 combinatorial subsets from a 10K amide library;

[0087] FIG. 8 depicts results of an embodiment using niche induction;

[0088] FIG. 9 shows the distribution of overlap in an embodiment using clustering;

[0089] FIG. 10 shows a parallel co-ordinates graph representation of the results of a two-objective problem illustrated in FIGS. 5a and 5b;

[0090] FIG. 11 shows a plurality of parallel co-ordinates graph representations of the progress of a search according to an embodiment for a multi-objective optimisation of a 30×30 amide library;

[0091] FIG. 12 shows a parallel co-ordinates graph representation of Pareto frontiers at initialisation and after 5000 iterations of an embodiment arranged to select 15×30 combinatorial subsets of a 2-aminothiazole library; and

[0092] FIG. 13 shows an embodiment of a two-objective problem in focused library design where 15×30 combinatorial subsets are selected from a 2-aminothiazole library optimised on similarity to a target molecule and cost.

DESCRIPTION OF THE PREFERRED EMBODIMENTS

[0093] The embodiments of the present invention utilise a population-based search method (for example, an evolutionary algorithm) in which the multiple objectives are handled independently. An embodiment produces a hyper-surface within a population search space that represents a continuum of solutions where all solutions on that hyper-surface are equivalent (in contrast to the single solution produced by SELECT). The hyper-surface represents a compromise between the objectives optimised by the embodiment. The embodiment can produce a plurality of types of solution which are known as trade-off, non-dominated, non-inferior, superior or Pareto solutions. The embodiments of the present invention preferably operate to produce a set of non-dominated solutions rather than a single solution as is the case in SELECT.

[0094] Before explaining the nature of the embodiments of the present invention, it is necessary to define several terms and operators used in the embodiments. Consider an n-dimensional vector function f of some decision variable x and two n-dimensional objective vectors u=f(xu) and v=f(xv), where xu and xv are particular values of x. Consider also the n-dimensional preference vector 3 g = [ g 1 , … ⁢   , g p ] ⁢ ⁢   = [ ( g 1 , 1 ⁢   ⁢ … ⁢   , g 1 , n1 ) , … ⁢   , ( g p , 1 , … ⁢   , g p , np ) ]

[0095] where p is a positive integer (see below), ni&egr;{0, . . . , n} for i=1, . . . , p, and 4 ∑ i = 1 p ⁢ n i = n .

[0096] Similarly, u may be written as 5 u = [ u 1 , … ⁢   , u p ] ⁢ ⁢   = [ ( u 1 , 1 , … ⁢   , u 1 , n1 ) , … ⁢   , ( u p , 1 , … ⁢   , u p ⁢ , np ) ]

[0097] and the same for v and f

[0098] The subvectors gi of the preference vector g, where i=1, . . . , p, associate priorities i and goals gi,j, where ji=1, . . . , ni, to the corresponding objective functions ƒi,j1, components of fi. This assumes a convenient permutation of the components of f, without loss of generality. Greater values of i, up to and including p, indicate higher priorities.

[0099] Generally, each subvector ui will be such that a number ki&egr;{0, . . . , ni} of its components meet their goals while the remaining do not. Also without loss of generality, u, is such that, for i=1, . . . , p, one can write

∃ki&egr;{0, . . . , ni}|∀l&egr;{1, . . . ,ki},

∀m&egr;{ki+1, . . . , ni},(ui,l≦gi,l){circumflex over ( )}(ui,m>gi,m).

[0100] For simplicity, the first ki components of vectors ui,vi, and gi will be represented as ui*, vi*, and gi*, respectively. The last ni-kicomponent of the same vectors will be denoted ui′, vi′, and gi′, also respectively. The * and ′ indicate the components in which u either does or does not meet the goals.

[0101] Definition (Preferability): Vector u=[ui, . . . , up] is preferable to v=[vi, . . . , vp] given a preference vector 6 g = g i , … ⁢   , g p ] ⁢ ( u ⁢ ≺ g ⁢ v ) ⁢ iff

p=1=>(up′p<vp′)=>{(up′=vp′)

{circumflex over ( )}[(vp*not≦gp*)=>(up*p<vp*)]}

and

p>1=>(up′p<vp′)=>{(up′=vp′)

[0102] where ui, . . . ,p-1=[ui, . . . , up-1] and similarly for v and g.

[0103] Note: up<V denotes u is partially less than v, i.e.

∀i&egr;{1, . . . , n}, ui≦vi{circumflex over ( )}∃i&egr;(1, . . . ,n}:ui<vi.

[0104] In simple terms, vectors u and v are compared first in terms of their components with the highest priority, that is, those where i=p, disregarding those in which up meets the corresponding goals up*. In case both vectors meet all goals with this priority, or if they violate some or all of them, but in exactly the same way, the next priority level (p-1) is considered. The process continues until priority 1 is reached and satisfied, in which case the result is decided by comparing the priority 1 components of the two vectors in a Pareto fashion.

[0105] Since satisfied high-priority objectives are left out from comparisons, vectors which are equal to each other in all but these components express virtually no trade-off information given the corresponding preferences. The following symmetric relation is defined.

[0106] Definition (Equivalence): Vector u=[ui, . . . ,up] is equivalent to v=[v1, . . . ,vp] given a preference vector 7 g = [ g 1 , … ⁢   , g p ] ⁢ ( u ≡ v ) g ⁢   ⁢ iff

(u′=v′){circumflex over ( )}(ui*=v1*){circumflex over ( )}(v*2, . . . ,p≦g*2, . . . ,p).

[0107] The concept of preferability can be related to that of inferiority as follows:

[0108] Lemma 1: For any two objective vectors u and v, if up<V, then u is either preferable or equivalent to v, given any preference vector g=[g1, . . . ,gp].

[0109] Lemma 2: (Transitivity): The preferability relation is transitive, i.e. given any three objective vectors u,v, and w, and a preference vector g=[g1, . . . ,gp] 8 u ⁢ ≺ g ⁢ v ⁢ ≺ g ⁢ w ⁢ ⇒ g ⁢ u ⁢ ≺ g ⁢ w .

[0110] Particular Cases: The decision strategy described above encompasses a number of simpler multi-objective decision strategies which correspond to particular settings of the preference vector.

[0111] Pareto (Definition 1): All objectives have equal priority and no goal levels are given g=[g1]=[(−∞, . . . −∞_].

[0112] Lexicographic: Objectives are all assigned different priorities and no goal levels are given. g=[g1, . . . , gn]=[(−∞), . . . ,(−∞)].

[0113] Constrained Optimisation: The functional parts of a number nc of inequality constraints are handled as high priority objectives to be minimised until the corresponding constraint parts, the goals, are reached. Objective functions are assigned the lowest priority. g=[g1,g2]=[(−∞, . . . , −∞),(g2,1, . . . g2,nc)].

[0114] Constraint Satisfaction: All constraints are treated as in constrained optimisation, but there is no low priority objective to be optimised. g=[g2]=[(g2,1, . . . , g2,n)].

[0115] Goal Programming: Several interpretations of goal programming can be implemented. A simple formulation consists of attempting to meet the goals sequentially, in a similar way to lexicographic optimisation. g=[g1, . . . , gn]=[(g1,1), . . . , (gn,1)].

[0116] A second formulation attempts to meet all the goals simultaneously, as with constraint satisfaction, but requires solutions to be satisfactory and Pareto optimal. g=[g1]=[(g1,1, . . . , g1,n)].

[0117] Population ranking. As opposed to the single objective case, the ranking of a population in the multi-objective case is not unique. In the present embodiment, it is desirable that all preferred combinatorial libraries or individuals are placed higher in rank than those to which they are preferable. For example, consider an individual xu at a generation t with a corresponding objective vector u, and let ru(t), be the number of individuals in the current population which are preferable to it. The current position of xu in the individuals' rank can be given by rank (xu,t)=ru(t), which ensures that all preferred individuals in the current population are assigned rank zero.

[0118] FIG. 3 illustrates a flow chart for an embodiment of the present invention in which a multi-objective genetic algorithm is used as an illustration of a population-based search method. In step 302, the optimisation to be solved is initialised, that is, the population is initialised. The definitions of chromosomes and the reproduction operators used in the embodiment are substantially the same as those used in SELECT.

[0119] Referring again to FIG. 3, at step 304, a parent selection technique, such as roulette wheel parent selection, is used to select the combinatorial library or parents from the initialised population based on dominance. It will be appreciated that many chromosomes may have the same rank, for example, all chromosomes on the Pareto frontier have rank of zero. Accordingly, step 304 sorts the population using normalised fitness values as follows

[0120] (a) the population is sorted according to a predeterminable rank, such as that described above,

[0121] (b) fitness assignments are undertaken by interpolating from the best individual (rank =zero) to the worst individual (rank=max r(t)<N) according to some function, which is usually linear or exponential, and

[0122] (c) the fitness assigned to individuals with the same rank is averaged so that all such individuals are sampled at the same rate while keeping the global population fitness constant.

[0123] Hence, according to the present embodiment, a parent chromosome is chosen with a probability that is proportional to the normalised fitness value of that chromosome. By way of contrast, in SELECT the fitness value, that is, the weighted-sum over each objective, is used to sort the chromosomes in rank order with the fittest appearing at the top of the list and a parent chromosome is chosen with a probability that is proportional to the ranked position of that chromosome.

[0124] A predetermined number of chromosomes are selected in a first pass in step 304. In step 306, as with the SELECT technique, the genetic operators are applied to the selected parent chromosomes to produce modified or mutated chromosomes or modified combinatorial libraries. Step 308 calculates the objectives, that is, the objective vectors, using the mutated chromosomes that were produced by the application of the genetic operators in step 306. Having calculated the objectives, the dominance of the results of calculating the objectives are assessed in step 310 and the chromosomes are ranked based on dominance in step 312. The population is optionally tested for convergence at step 314. If sufficient convergence has occurred or if a user-defined number of iterations have been completed, the processing terminates and the current chromosomes or at least a selection thereof are output as offering Pareto optimal solutions. However, if insufficient convergence has occurred or an insufficient number of iterations have been completed, processing continues, at step 304, to select new parent chromosomes from the population of chromosomes that include both the original chromosomes and the newly derived chromosomes. Preferably, the newly derived chromosomes replace a pre-determinable number of the least suitable chromosomes after ranking.

[0125] Examples of the application of the present invention to combinatorial chemical library design will be described hereafter.

EXAMPLE 1

[0126] Referring to FIG. 4, there is shown two virtual libraries 400 comprising a two-component amide library 402 and a two component 2-aminothiazole library 404. The amide library 402 represents a virtual library of 10,000 components formed by the coupling of 100 amines and 100 carboxylic acids, extracted at random from the SPRESI database as is well known within the art.

[0127] The 2-aminothiazole virtual library 404 comprises 12,850 virtual products generated by reacting 74 &agr;-bromoketones with 170 thioureas. In this case, the reactants for each pool were obtained from the available chemicals directory (ACD), as is known in the art, and filtered using ADEPT software, as is also known within the art, to remove reactants having molecular weights of greater than 300 and more than 8 rotatable bonds.

[0128] Furthermore, in the present example, a series of reactants that contained undesirable substructural fragments were removed by way of a series of substructure searches.

[0129] In the initialisation step 302 of FIG. 3, each virtual library was enumerated and various properties were calculated for the product molecules comprised in each library [1024 bit Daylight fingerprints, molecular weight (MW), number of rotatable bonds (RB), number of hydrogen bond donors (HBD), and number of hydrogen bond acceptors (HBA)].

[0130] Unless otherwise stated, diversity was calculated as the sum of pairwise dissimilarities using the cosine coefficient as is known within the art. In the examples presented here the virtual libraries are enumerated and the descriptors are calculated during initialisation. However the present invention can also be applied when libraries are enumerated and descriptors are calculated on-the-fly.

[0131] The aim of the first example is to select 30×30 combinatorial subsets from the 10,000 amide virtual library using two objectives; namely, diversity and molecular weight profile. The aim was to maximise diversity while minimising the RMSD between the molecular weight profile of the library and the molecular weight profile found in WDI. The embodiment was run for 5000 iterations with a population size of 50. The progress of the search is shown in FIGS. 5a and 5b. The 5,000th iteration of FIG. 5a is shown enlarged in FIG. 5b. Again, it will be appreciated that the y-axis is arranged so that diversity increases as the origin is approached and the direction of improvement for both objectives is towards the bottom left-hand corner of the graph.

[0132] In each of the graphs shown in FIGS. 5a and 5b, the Pareto frontier, that is, the set of non-dominated individuals in a current population, is represented by circles. It can be appreciated from the graphs shown in FIG. 5a, that is, the graphs for iterations 0, 100, 500, 1000, 2500 and 5000, that there is an advancement of the Pareto surface 502, 504, 506, 508, 510 and 512.

[0133] It can be appreciated that beyond the first 2,000 iterations there is little improvement in the Pareto set over the subsequent 3,000 generations. However, the percentage of solutions that are non-dominated increases from 4 in the initial population to 17 in the final population shown in the Pareto set 512 of FIG. 5b. The result of the search is family of solutions all of which can be seen as equivalent.

[0134] Optionally, once presented with this information, a user can then browse through the solutions and choose acceptable solutions based on the objectives used in the search and optionally, taking into account other criteria such as, for example, the availability of reactants. This is in contrast to the use of the SELECT technique where the search results in a single solution that may not be acceptable.

[0135] Alternatively, the final selection may be automated. The automation may be based on the Pareto set meeting a predetermined criterion or predetermined criteria.

EXAMPLE 2

[0136] The next example was designed to compare the performance of the present embodiment with that of SELECT for the above library. SELECT was run 30 times with a population size of 50 and with the two objectives normalised and equally weighted. The convergence criterion was set so that the run was terminated when no change (within a pre-determinable tolerance) was seen in the fitness function over 5 runs, each of 50 iterations. A 10% replacement strategy was used where, in each iteration, at least 5 individuals were modified by applying the genetic operators of mutation and crossover. The embodiment of the present invention using the amide library described above, was repeated for 10 runs and the family of non-dominated solutions was determined at the end of each run. Finally, the SELECT technique was arranged to optimise each objective separately to find optimised values for each objective independently. The values found over 10 runs were an average of 0.592, with standard deviation of 0.002, for diversity and an average of 0.585 for &Dgr;MW with a standard deviation of 0.005.

[0137] It can be appreciated from FIG. 6 that the final non-dominated solutions found in the 10 runs of the present embodiment, which are shown by circles 600, are preferred over the single best solutions found for the SELECT runs, which are shown as triangles 602. The even-spread of points arising from the embodiment shows the Pareto frontier to have been mapped efficiently. The runs according to the embodiment also include solutions at the extremes, that is, solutions that are found when the objectives are optimised independently. Some variation is seen in the results obtained in the embodiment. However, even the worst family of solutions found contains individuals that are preferable to many of the SELECT solutions. Each triangle 602 represents a single solution produced by a different run of SELECT and the SELECT solutions typically lie somewhere on the Pareto frontier of a single run of the present invention. In effect, the SELECT solutions are single solutions in contrast to the family of solutions produced by the embodiments of the present invention. It will be appreciated that a disadvantage of the SELECT technique is that each time a run is performed a different solution may be obtained. There is no guarantee, by multiple runs, that the complete Pareto frontier being mapped. It has been found that a single run of an embodiment of the present invention maps more of the Pareto frontier than can be achieved over many runs of SELECT.

EXAMPLE 3

[0138] Referring again to FIG. 3, it can be seen in step 314 that a convergence test may be performed. Again, by way of comparison with SELECT, the convergence criterion of SELECT is used to terminate the search when no change was seen in the fitness function of the best individual solution over, for example, 250 iterations (measured at 50 iteration intervals). The aim of the embodiment of the present invention is to identify a family of non-dominated solutions, all of which are equally valid but which have different values of the objectives. Therefore, there is no longer a single fitness value assigned to a potential solution. Thus, the convergence criterion used in SELECT is inappropriate for the present invention.

[0139] The aim of example 3 was to investigate the effect of a convergence criterion that has been implemented in embodiments of the present invention. The first criterion attempts to determine the progress of the Pareto frontier, as a whole, or at least a part thereof, rather than the progress of a single best solution. Once an initial population has been created, a copy of the non-dominated set of that initial population is maintained. The search proceeds for a predeterminable number of iterations, for example, 50, after which the current non-dominated set is compared with the previously stored non-dominated set. If none of the chromosomes of the previous non-dominated set are dominated by the current non-dominated set, the Pareto front is deemed to be unchanged over the 50 iterations and the previous non-dominated set is replaced by the current non-dominated set to allow the search to continue for a further cycle of 50 iterations. However, if the Pareto front is unchanged over 250 iterations, the search is terminated.

[0140] Referring to FIG. 7 there is shown a graph 700 that illustrates the distribution of Pareto frontiers over 10 runs of an embodiment of the present invention with the above convergence criterion. It can be appreciated that the distribution is similar to the distribution shown in FIG. 6 where a convergence criterion was not applied. It can be seen from FIG. 7 that there appears to be some loss of coverage of the extreme values and that the spread of frontiers is broader, which provides an indication of some loss of robustness. Despite the small loss of coverage, the use of such convergence criterion can be advantageous since the results are achieved for a significantly reduced number of cycles.

[0141] By way of comparison, the mean number of iterations to convergence for the embodiment is 1715 (and the standard deviation 525), compared to the 5000 iterations shown in FIG. 6, and a mean of 1245 (standard deviation 291) iterations for the SELECT runs. It should be noted that while the numbers of iterations to convergence, as between the embodiments of the present invention and SELECT, are roughly similar, a single run of an embodiment of the present invention produces an entire family of equivalent solutions in contrast to the single solution produced by a single run of SELECT.

EXAMPLE 4

[0142] The multi-objective genetic algorithm, which is used to illustrate the population based approach, is prone to genetic drift or speciation, which manifests itself as a tendency to produce solutions in search space where there are clusters of closely matched solutions to the detriment of the quality of the search in other search spaces. Accordingly, an embodiment provides a method in which the effective speciation is reduced by using a niche induction technique. The density of solutions within a given type of volume of either a decision or objective variable space is restricted. In an embodiment, the objective space was used to attempt to spread the distribution of solutions over a Pareto frontier. After each iteration, the Pareto frontier is identified and each solution on the frontier is compared with all others to establish relative proximity of the solutions within the objective variable space. Preferably, this is implemented as an order dependent process where the first solution encountered is deemed to be positioned at the centre of a hyper-volume or niche. If the difference in the objectives of the next solution and the objectives of any solutions that already form centres of respective niches is within a given threshold, for all objectives, a rank of the current solution forms the centre of a new niche. Such a threshold is known as a niche radius. Preferably, this process is repeated for all solutions on the Pareto frontier. In a preferred embodiment, the niche radius can be varied throughout a run and is given as a percentage of the range of values that exist for each objective on a current Pareto frontier.

[0143] Referring to FIG. 8, there is shown a plurality of graphs 800 which illustrate the relationship between diversity, molecular weight and niche radius. It can be appreciated that there is a loss of resolution as the niche radius is increased.

[0144] In an embodiment, niche induction can be applied after each iteration even in the absence of speciation to increase the efficiency of the search since there will be fewer solutions to explore on a corresponding Pareto frontier.

[0145] Furthermore, an embodiment applies niche induction once the iterations have been completed to choose a subset of solutions that are distributed across the Pareto frontier.

[0146] In an alternative embodiment, the above described niche induction can be applied to increase the efficiency and effectiveness of the search. However, in still further alternative embodiments, the above niche induction can be used as a means of clustering a final Pareto set according to the spread of solutions within an object of the space. Alternatively, the solutions can be clustered according to their similarity in terms of the product molecules or the reactants contained within the libraries. FIG. 9 illustrates the results of an embodiment of such clustering for the amide library above to select 30×30 subsets from the 100×100 virtual library. An embodiment of the present invention was run to generate a final Pareto set comprising 48 solution libraries. A pairwise overlap matrix was constructed for the 48 libraries, where the overlap between any two libraries was calculated as the number of product molecules common to the libraries divided by the library size. The distribution of overlap values is as shown in FIG. 9. It can be appreciated that it is possible to group the libraries into clusters according to their overlap in terms of the product molecules contained therein. The selection of a library from a cluster could, in an embodiment, be performed on the basis of the values of the objectives. An embodiment may implement niche induction during the search process itself based on library comparisons in terms of product molecules rather than based on a comparison of objective space as described above.

EXAMPLE 5

[0147] Although the above embodiments have been described with reference to the library design based on two objectives, the present invention is not limited thereto. Embodiments can be realised in which the number of objectives is greater than two. For example, the same amide library could be used with the following five objectives, that is: diversity, and profiles of the following properties: molecular weight (MW); occurrence of rotatable bonds (RB); occurrence of hydrogen bond donors (HBD); and occurrence of hydrogen bond acceptors (HBA). It will be appreciated that in situations where there are more than two objectives, it is not possible to illustrate the trade-off between the objectives using simple 2D graphs. However, FIG. 10 illustrates a graph 1000 that is a parallel co-ordinates graph representation of the Pareto frontier shown in FIG. 5b. The horizontal axis represents two objectives, that is, molecular weight profile and diversity and the vertical axis represents the values of each objective. It will be appreciated that diversity is now represented as its complement, that is, (1-diversity) so that the direction of improvement in both objectives is towards zero on the y-axis. It will be appreciated that the two objectives have been standardised since they are plotted on the same scale. Each objective can be standardised independently by determining the maximum and minimum values for an objective. Each continuous line on the graph represents one solution in the current Pareto set. The competing nature of the objectives is shown by the intersections of the lines. It can be appreciated that an advantage of using parallel co-ordinates graphs to display a solution represented by a current Pareto set is that competition between different objectives is highlighted by the points of intersection.

[0148] Referring to FIG. 11, there is shown a parallel coordinates graph representation 1100 of the multi-objective amide problem with snapshots taken at various stages of the search. The search was conducted for 5000 iterations. To compare the progress of the various objectives, all values have been standardised. Again, standardisation was achieved by determining maximum and minimum values for each objective. A value of zero represents the best value achievable when the objective is optimised alone. Furthermore, diversity is again represented as its complement, that is, (1-diversity), so that all objectives are minimised and the direction of improvement is the same for all objectives. The non-dominated solutions are shown in different stages of the search. It can be appreciated that as the search progresses, the solutions drift in the direction of multi-objective improvement, that is, the solutions tend towards lower values on the vertical axis. It can also be seen that as the search progresses the number of non-dominated solutions increases. Some competition is evident for example between HBA and HBD as is shown by the crossing lines in the graph. It can be appreciated that the relationships between pairs of objectives could be examined by re-ordering the objectives on the horizontal axis. Where there is no competition between objectives, that is, improvement in one corresponds to improvement in another, it is not necessary to include both objectives within the search process.

EXAMPLE 6

[0149] It will be appreciated that cost is an objective that should preferably be considered in the design of any combinatorial library. Referring to FIG. 12, there is shown the 2-aminothiazole library having been used to investigate the effect of including reactant cost as an objective in the search. The cost for each of the reactants was supplied. An embodiment of the present invention was configured to select 15×30 combinatorial subsets. The parallel co-ordinates graph 1200 shown in FIG. 12 shows the results of running an embodiment of the present invention using multiple objectives. In this embodiment, the distance-based diversity measure was replaced by a cell-based measure such as disclosed in “Partition-based selection. Perspect Drug Disc Design” Mason J S, Pickett S D, 1997: 7/8: 85-14 which is incorporated herein by reference for all purposes. Each product molecule in the virtual 2-aminothiazole library was assigned to a cell in a 3D space. The aim of this embodiment was to select 15×30 combinatorial subsets that occupy as many cells as possible within the 3D space, that have minimum cost and that have drug-like profiles of molecular weight, hydrogen bond donors, hydrogen bond acceptors and rotatable bonds.

EXAMPLE 7

[0150] An embodiment of the present invention was configured to select 15×30 focused combinatorial subsets. Subset libraries were focused around a target compound by maximising the sum of normalised similarities of the compounds in the subsets to the target while simultaneously minimising the cost of the libraries. The parallel co-ordinates graph 1300 of FIG. 13 shows the results of running an embodiment of the present invention using multiple objectives of similarity to the target and cost.

[0151] Although the above embodiment has been described with reference to a method, the present invention is not limited thereto. Embodiments of the present invention can be implemented on a suitably programmed general purpose computer or in specifically designed computers/hardware. In particular, this invention may be used to program an automated chemical synthesis platform, such as the Advanced Chemtech 384. The design software would output a set of reagents which have been chosen to best meet the objectives set. In the most facile implementation, this would be a text file on a network computer disk, containing the names of the reagents and other relevant data, which could be read by the control software supplied with the synthesis platform. The control software would then enable an automated synthesis of the required library. There are other, more complex, methods by which this information could be transmitted. For example, the information could be transmitted through databases such as Microsoft Access or Oracle, or through scheduling software. However, in order to retain flexibility over the type of synthesis platform used, a text file is a preferred mechanism.

[0152] Although the above embodiments search for and present a Pareto optimal set of combinatorial libraries, the present invention is not limited to such an arrangement. Embodiments can be realised in which a Pareto set that is sub-optimal in some way may be selected. Alternatively, or additionally, embodiments can be realised in which a set of combinatorial libraries, other than a Pareto set, is selected from the recently updated population of combinatorial libraries.

[0153] Still further, although the above embodiments have been described with respect to the design of combinatorial libraries, the embodiments of the present invention are not limited thereto. Embodiments can be realised in which libraries other than combinatorial libraries are designed. For example, a near combinatorial library may be designed in which all combinations of the starting reagents do not appear in the final library, even though at least some combinations are included in the final library. Libraries other than combinatorial and near combinatorial libraries may also be designed using embodiments of the present invention.

Claims

1. A method for designing a set of libraries using a population of libraries, the method comprising performing, at least once, the steps of:

selecting at least a plurality of the libraries from the population of libraries;

applying genetic operators to selected, ranked, libraries to produce modified libraries;

calculating each of a plurality of objectives for each of the modified libraries;

calculating an associated dominance indication of each of the modified libraries;

ranking the modified libraries according to associated dominance indications;

incorporating the modified libraries into the population of libraries; and

forming the set libraries comprising selecting at least one library from the population of libraries.

2. A method as claimed in claim 1, in which the set of libraries is at least one of a set of combinatorial libraries or near combinatorial libraries.

3. A method as claimed in any preceding claim, in which the population of libraries is a population of combinatorial libraries or near combinatorial libraries.

4. A method as claimed in any preceding claim, in which the modified libraries are at least one of modified combinatorial libraries or modified near combinatorial libraries.

5. A method as claimed in any preceding claim, in which the step of selecting at least one library from the population of libraries comprises the step of selecting at least one combinatorial and/or near combinatorial library from the population of libraries.

6. A method as claimed in any preceding claim, in which the step of forming the set of libraries comprises the step of forming a Pareto set of libraries.

7. A method as claimed in claim 2, in which the Pareto set is a Pareto optimal set.

8. A method as claimed in any preceding claim, in which the plurality of objectives are specified via at least an n-dimensional vector function (f) of a population library (x) and at least two n-dimensional objective vectors (u=f(xu) and v=f(xv)).

9. A method as claimed in any preceding claim, in which the step of ranking the modified libraries comprises the step of determining an order of preference of the modified libraries.

10. A method as claimed in claim 9, in which the step of determining an order of preference of the modified libraries comprises determining that at least one of the objective vectors (u=[u1,..., up]) for a first modified library is preferable to the at least one of the objective vectors (v=[v1,..., vp]) for a second modified library given a preference vector (g=[g1,..., gp])

9 ( u ≺ v g )

if and only if

p=1=>(up′p<vp′)=>{(up′=vp′) {circumflex over ( )}[(vp*not≦gp*)=>(up*p<vp*)]}and p>1=>(up′p<vp′)=>{(up′=vp′)

where ui,...,p-1=[ui,...,up-1] and similarly for v and g; where the first ki components of vectors ui,vi, and gi are represented as ui*, vi*, and gi*, respectively; the last ni-ki component of the same vectors are denoted ui′, vi′, and gi′, also respectively; and the * and ′ indicate the components in which u either does or does not meet the goals.

11. A method as claimed in any preceding claim, in which the step of calculating the associated dominance indication of each of the modified libraries comprises determining whether at least a first objective vector (u=(u1,..., un)) for a first modified library has Pareto dominance over a second objective vector (v=(v1,..., vn)) for a second modified library if and only if the u is partially less than v (up<v) such that ∀i&egr;{1,...,n},ui≦vi{circumflex over ( )}∃i&egr;{1,...,n}:ui<vi.

12. A method as claimed in any preceding claim, in which the step of ranking the modified library comprises the steps of evaluating the preference of each modified library and ranking the modified library according to respective preferences.

13. A method as claimed in any preceding claim, in which the step of forming the set of libraries comprises the step of selecting the ranked modified libraries that are Pareto-optimal where a first library (xu) of the population for a first objective vector is said to be Pareto-optimal if and only if there is no other library of the population for a second objective vector (xv) for which the second objective vector, v=f(xv)=(v1,..., vn) dominates the first objective vector u=f(xu)=(u1,..., un).

14. A method substantially as described herein with reference to and/or as illustrated in the accompanying drawings.

15. A system for designing a set of libraries using a population of libraries, the system comprising means for invoking, at least once,

means for selecting at least a plurality of the libraries from the population of libraries;

means for applying genetic operators to selected, ranked, libraries to produce modified libraries;

means for calculating each of a plurality of objectives for each of the modified libraries;

means for calculating an associated dominance indication of each of the modified libraries;

means for ranking the modified libraries according to associated dominance indications;

means for incorporating the modified libraries into the population of libraries; and

means for forming the set libraries comprising selecting at least one library from the population of libraries.

16. A system as claimed in claim 15, in which the set of libraries is at least one of a set of combinatorial libraries or near combinatorial libraries.

17. A system as claimed in any of claims 15 to 16, in which the population of libraries is a population of combinatorial libraries or near combinatorial libraries.

18. A system as claimed in any of claims 15 to 17, in which the modified libraries are at least one of modified combinatorial libraries or modified near combinatorial libraries.

19. A system as claimed in any of claims 15 to 18, in which the means for selecting at least one library from the population of libraries comprises means for selecting at least one combinatorial and/or near combinatorial library from the population of libraries.

20. A system as claimed in any preceding claim, in which the means for forming the set of libraries comprises means for forming a Pareto set of libraries.

21. A system as claimed in claim 20, in which the Pareto set is a Pareto optimal set.

22. A system as claimed in any of claims 15 to 21, in which the plurality of objectives are specified via at least an n-dimensional vector function (f) of a population library (x) and at least two n-dimensional objective vectors (u=f(xn) and v=f(xv)).

23. A system as claimed in any of claims 15 to 22, in which the means for ranking the modified libraries comprises means for determining an order of preference of the modified libraries.

24. A system as claimed in claim 23, in which the means for determining an order of preference of the modified libraries comprises means for determining that at least one of the objective vectors (u=[u1,..., up]) for a first modified library is preferable to the at least one of the objective vectors (v=[v1,..., vp]) for a second modified library given a preference vector (g=[g1,..., gp])

10 ( u ⁢ ≺ g ⁢ v )

if and only if

p=1=>(up′p<vp′)=>55 (up′=vp′) {circumflex over ( )}[(vp*not≦gp*)=>(up*p<vp*)]}and p>1=>(up′p<vp′)=>{(up′=vp′)

where ui,...,p-1=[ui,...,up-1]and similarly for v and g; where the first ki components of vectors ui,vi, and gi are represented as ui*, vi*, and gi*, respectively; the last ni-ki component of the same vectors are denoted ui′, vi′, and gi′, also respectively; and the * and ′ indicate the components in which u either does or does not meet the goals.

25. A system as claimed in any of claims 15 to 24, in which the means for calculating the associated dominance indication of each of the modified libraries comprises means for determining whether at least a first objective vector (u=(u1,..., un)) for a first modified library has Pareto dominance over a second objective vector (v=(v1,..., vn)) for a second modified library if and only if the u is partially less than v (up<v) such that ∀i&egr;{1,..., n},ui≦vi{circumflex over ( )}†i&egr;{1,...,n}: ui<vi.

26. A system as claimed in any of claims 15 to 25, in which the means for ranking the modified library comprises means for evaluating the preference of each modified library and ranking the modified library according to respective preferences.

27. A system as claimed in any of claims 15 to 26, in which the means for forming the set of libraries comprises means for selecting the ranked modified libraries that are Pareto-optimal where a first library (xu) of the population for a first objective vector is said to be Pareto-optimal if and only if there is no other library of the population for a second objective vector (xv) for which the second objective vector, v=f(xv)=(v1,..., vn) dominates the first objective vector u=f (xu)=(u1,..., un).

28. A system substantially as described herein with reference to and/or as illustrated in the accompanying drawings.

29. A library design computer program element for implementing a method or system as claimed in any preceding claim.

30. A computer program product comprising a computer readable storage medium having stored thereon a computer program element as claimed in claim 29.

31. A method of manufacturing a library or element thereof comprising the steps of designing the library or element using a method, system, computer program element or computer program product as claimed in any preceding claim; and materially producing the designed library or element thereof.