Charles Connan Forgy

US Patent:

7835932, Nov 16, 2010

Filed:

Sep 19, 2008

Appl. No.:

12/234122

Inventors:

Steven Minsky - Boston MA, US
Charles Forgy - Pittsburgh PA, US
Ming Tan - Newton MA, US

Assignee:

Fair Isaac Corporation - Minneapolis MN

International Classification:

G06F 9/44

US Classification:

705 7

Abstract:

In one aspect, the invention relates to a method to propagate relations between a first rule set and a second rule set wherein the first and second rule sets are invoked by a common workflow model. The method includes tracing paths forward through the workflow model from the first rule set to the second rule set. Enumerating relations that extend forward from the first rule set to the second rule set is another step in the method. Additionally, using multi-valued logic, calculating the effects to the relations of control flow through the workflow model from the first rule set to the second rule set, tracing paths backward through the workflow model from the first rule set to the second rule set, enumerating relations that extend backward form the second rule set to the first rule set, and using multi-valued logic, calculating the effects on the relations of control flow backwards through the workflow model from the second rule set to the first rule set are also steps in the method.

US Patent:

20050038764, Feb 17, 2005

Filed:

Jun 4, 2004

Appl. No.:

10/861777

Inventors:

Steven Minsky - Boston MA, US
Charles Forgy - Pittsburgh PA, US
Ming Tan - Newton MA, US

International Classification:

G06F017/00
G06N005/02
G06F017/60

US Classification:

706047000, 705001000

Abstract:

In one aspect, the invention relates to a method to propagate relations between a first rule set and a second rule set wherein the first and second rule sets are invoked by a common workflow model. The method includes tracing paths forward through the workflow model from the first rule set to the second rule set. Enumerating relations that extend forward from the first rule set to the second rule set is another step in the method. Additionally, using multi-valued logic, calculating the effects on the relations of control flow through the workflow model from the first rule set to the second rule set, tracing paths backward through the workflow model from the second rule set to the first rule set, enumerating relations that extend backward from the second rule set to the first rule set, and using multi-valued logic, calculating the effects on the relations of control flow backwards through the workflow model from the second rule set to the first rule set are also steps in the method.

US Patent:

20110054970, Mar 3, 2011

Filed:

Nov 9, 2010

Appl. No.:

12/942850

Inventors:

Steven Minsky - Boston MA, US
Charles Forgy - Pittsburgh PA, US
Ming Tan - Newton MA, US

International Classification:

G06Q 10/00

US Classification:

705 737, 705348

Abstract:

In one aspect, the invention relates to a method to propagate relations between a first rule set and a second rule set wherein the first and second rule sets are invoked by a common workflow model. The method includes tracing paths forward through the workflow model from the first rule set to the second rule set. Enumerating relations that extend forward from the first rule set to the second rule set is another step in the method. Additionally, using multi-valued logic, calculating the effects to the relations of control flow through the workflow model from the first rule set to the second rule set, tracing paths backward through the workflow model from the first rule set to the second rule set, enumerating relations that extend backward form the second rule set to the first rule set, and using multi-valued logic, calculating the effects on the relations of control flow backwards through the workflow model from the second rule set to the first rule set are also steps in the method.