International Business Machines Corporation

Paul Shaw

Philippe Laborie

Olivier Oudot

Jean-Francois Puget

Renaud Dumeur

Olivier M D Lhomme

This invention relates to a system, method and computer program product for determining which anytime technique is the most efficient at solving an anytime problem using a first anytime technique and a second anytime technique to determine a first and a second plurality of solutions, respectively, wherein each of the first and the second the plurality of solutions includes a value and an associated computation time, respectively, and each of the first and the second plurality solutions including a minimized value and associated computation time, respectively. Determining a set of delta value ordinates and computation time ordinates. Determining a representative value ordinate and representative computation time ordinate. Determining an efficient anytime technique.

Performance comparison for determining a travel path for a robot

According to an aspect, a method for providing a minimal explanation to a set of unsatisfiable constraints involves retrieving a minimal subset of constraints that remain together unsatisfiable. The method includes iterating over a list of n constraints, and building a minimal explanation to a set of unsatisfiable constraints by determining which constraint to add to the set of unsatisfiable constraints. Building includes accelerating by removing an increasing number of constraints until removed further constraints makes the set of constraints satisfiable. A dichotomic search is performed on the removed further constraints. The average observed distance is identified between successive constraints in the set of unsatisfiable constraints. A plurality of 2further constraints located in the list of constraints is removed at the average observed distance from the most recently added constraint. Testing whether a current selected subset is unsatisfiable is performed for the first log(n) added constraints.

Optimal non-recursive method for finding a minimal subset satisfying an upward-closed property

The present invention relates to methods and systems for applying evolutionary algorithms to generate robust search strategies for problems including decision variables. In one aspect, the invention encodes genomes of at least one triplet comprising a variable, assignment priority, and assigned value. The genome may later be decoded to determine a partial or complete assignment of values to variables. If a partial assignment is reached, a search strategy may be applied to generate a complete or more complete assignment. The genomes may also be evolved to produce offspring genomes. One type of evolutionary operator, called the Lamarckian operator is introduced, wherein the similarities, differences, and unbound variables resulting from the decoding of two or more parent genomes are collected. These collections are then used to encode an offspring genome, building upon the strengths of the parents.

Growing community of inventors

Grasse, France

Paul Shaw