×

Sequence generation using a constraint satisfaction problem formulation

  • US 6,430,573 B1
  • Filed: 05/25/1999
  • Issued: 08/06/2002
  • Est. Priority Date: 05/27/1998
  • Status: Expired due to Fees
First Claim
Patent Images

1. A method of generating sequencing information representing a sequence made from a set of items selected in a database, the items having attributes and the attributes having values, comprising the steps of:

  • providing a database having therein data representative of the attributes of a plurality of items;

    specifying desired features of the sequence in terms of requirements on values and/or variation in values of attributes of items in the desired sequence;

    modelling the task of generating the desired sequence as a Constraint Satisfaction Problem having variables and constraints, the respective variables of the problem corresponding to the items in the desired sequence, and the respective constraints of the problem comprising standard constraints and specialized constraints corresponding to the desired features specified in the specifying step, wherein the specialized constraints are selected from the group consisting of cardinality on items, cardinality on attribute values, similarity constraints and dissimilarity constraints, wherein;

    the cardinality on items is represented by the formula CI(I, j, a, b, E), wherein I is a set of item indices, j is an attribute index, a and b are integers and E is a subset of the possible values of attribute j;

    the cardinality on attribute values is represented by the formula CA(I, j, a, b), wherein I, j, a and b are defined as above;

    the similarity constraint is represented by the formula S(a, b, j, similar (.,.,.)), wherein a, b, and j are defined as above and similar(.,.,.) is a predicate; and

    the dissimilarity constraint is represented by the formula similar(x, y, j);

    =(x.aj

    y.aj), wherein j, a and b are defined as above, and x and y are domain items; and

    applying constraint satisfaction programming techniques to solve the modelled Constraint Satisfaction Problem.

View all claims
  • 2 Assignments
Timeline View
Assignment View
    ×
    ×