Patent ID: 7885907
Filing Date: 2011-02-08
Classification: G06N

Abstract:
1. A method of constructing a computing element, the method comprising: in response to a set of logical expressions, operating a computing device to determine a set of primitives to which the set of logical expressions are logically responsive; in response to the set of logical expressions and the set of primitives, operating a computing device to determine one or more spanning sets of primitives, each such a particular spanning set of primitives having a property that one or more of the logical expressions is a function of primitives included in the particular spanning set and not a function of primitives not included in the particular spanning set; in response to the logical expressions that are functions of selected primitives included in each of the particular spanning sets, operating a computing device to determine one or more truth tables responsive to the selected primitives; and in response to those truth tables, operating a computing device to determine a partial ordering of evaluation of the primitives; wherein execution of the partial orderings of evaluation determines which subset of the set of logical expressions is true; and wherein that evaluation is substantially more rapid than sequentially evaluating each of the logical expressions in turn.