Method of automatically approximating a function

Details Method of automatically approximating a function Method of automatically approximating a function

G - Physics

06

F

G06F 15/18 (2006.01) G06F 17/17 (2006.01)

Patent

CA 2126470

-23 - Abstract A method for finding a result function which is an approximation or an equivalent of a target function. The method derives a hypothesis function from a set of examples which are consistent with the target function. An equivalence oracle is then used to test the hypothesis function. If the equivalence oracle indicates that the hypothesis function is equivalent, the method terminates; if the function is not equivalent, the equivalence oracle returns a counterexample with which the target function but not the hypothesis function is consistent. The counterexample is used to modify the set of examples and a new hypothesis function is derived from the modified set of examples and tested as described above. The modification of the set of examples is done using a membership oracle, which takes a value from the target function's range and returns the value of the target function on that value. Efficiency is increased by use of a greedy technique involving the meet operation to add examples to the set of examples. The method is applied to functions expressed as polynomials on Boolean variables, but may be applied to functions expressed generally as multilinear polynomials.

Affiliated with

Also associated with

Rating

Method of automatically approximating a function does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Method of automatically approximating a function, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Method of automatically approximating a function will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFCA-PAI-O-1997346