Back to results
US 8,688,619 B1Granted
Systems, methods and apparatus for distributed decision processing
AssigneeReservoir Labs, Inc.
InventorsJames Ezick, Richard Lethin, Nicolas Vasilache
Life of this patent
Estimating the term…
Abstract
Methods, apparatus, and computer software product for making a decision based on the semantics of formal logic are provided. In an exemplary embodiment, two custom computing apparatuses are used to resolve the satisfiability of a logical formula and provide an example. In this embodiment, the two custom computing apparatuses operate in concert to explore the space of possible satisfying examples. This Abstract is provided for the sole purpose of complying with the Abstract requirement rules. This Abstract is submitted with the explicit understanding that it will not be used to interpret or to limit the scope or the meaning of the claims.
Claims129
A method of solving a logical decision problem in a multi-processing element custom computing apparatus, the method comprising:
- receiving a formula in a memory;
- generating, a plurality of replications of the formula, the number of replications in the plurality related to a number of processing elements in the custom computing apparatus;
- assigning one of the plurality of replications of the formula to a first processing element;
- assigning a second replication of the plurality to a second processing element;
- configuring the first processing element to solve the formula using a first solution tactic and the second processing element to solve the formula using a second solution tactic;
- and
- enabling a message passing interface between the first processor and the second processor, wherein the first and second processing elements are configured to incorporate information received from the message passing interface into its solution tactic.
4 more elements
A computerized method comprising:
- defining a parametric space of options available to each of a plurality of processing elements, the options related to a decision procedure;
- distributing to each of the plurality of processing elements a choice of instantiation, the choice of instantiation related to the options in the parametric space;
- and
- separately instantiating a subset of the options in the parametric space for each of the plurality of processing elements based on the choice of instantiation.
1 more element
A custom computing apparatus for solving a logical decision problem in a multi-processing element custom computing apparatus comprising:
- a plurality of processing elements;
- a memory in communication with the plurality of processing elements, the memory comprising a set of processor executable instructions such that when executed by one or more processing elements configure the custom computing apparatus to:
- receive a formula in the memory;
- generate, a plurality of replications of the formula, the number of replications in the plurality related to the number of processing elements in the custom computing apparatus;
- assign one of the plurality of replications of the formula to a first processing element of the plurality;
- assign a second replication of the plurality to a second processing element of the plurality;
- configure the first processing element to solve the formula using a first solution tactic and the second processing element to solve the formula using a second solution tactic;
- and
- enable a message passing interface between the first processor and the second processor, wherein the first and second processing elements are configured to incorporate information received from the message passing interface into its solution tactic.
6 more elements
A custom computing apparatus comprising:
- a plurality of processing elements;
- and
- a memory communicating with the plurality of processing elements, wherein the memory comprises a set of processor executable instructions that when executed by one or more of the processing elements configured the custom computing apparatus to:
- define a parametric space of options available to each of the plurality of processing elements, the options related to a decision procedure;
- distribute to each of the plurality of processing elements a choice of instantiation, the choice of instantiation related to the options in the parametric space;
- and
- separately instantiate a subset of the options in the parametric space for each of the plurality of processing elements based on the choice of instantiation.
4 more elements
A computer software product for solving a logical decision problem in a multi-processing element custom computing apparatus, the product comprising:
- at least one of a non-transitory computer storage medium containing a set of processor executable instructions and a physical connection in electronic communication with a storage medium, supplying thereto the set of processor executable instructions, that when executed by one or more processors of a plurality of processing elements configure a custom computing apparatus to:
- receive a formula in a memory, the memory in communication with the plurality of processing elements;
- generate, a plurality of replications of the formula, the number of replications in the plurality related to the number of processing elements in the custom computing apparatus;
- assign one of the plurality of replications of the formula to a first processing element of the plurality;
- assign a second replication of the plurality to a second processing element of the plurality;
- configure the first processing element to solve the formula using a first solution tactic and the second processing element to solve the formula using a second solution tactic;
- and
- enable a message passing interface between the first processor and the second processor, wherein the first and second processing elements are configured to incorporate information received from the message passing interface into its solution tactic.
5 more elements
A computer software product comprising:
- at least one of a non-transitory computer storage medium containing a set of processor executable instructions and a physical connection in electronic communication with a storage medium, supplying thereto the set of processor executable instructions that when executed by one or more processors within a computing apparatus, the computing apparatus comprising a memory and a plurality of processing elements, configure the computing apparatus to:
- define a parametric space of options available to each of the plurality of processing elements, the options related to a decision procedure;
- distribute to each of the plurality of processing elements a choice of instantiation, the choice of instantiation related to the options in the parametric space;
- and
- separately instantiate a subset of the options in the parametric space for each of the plurality of processing elements based on the choice of instantiation.
2 more elements
Dependencies are inferred from the claim text.