System and method for providing inferencing services
First Claim
1. A method for providing inferencing services, comprising:
- receiving a plurality of rules for a specified domain;
identifying at least one precondition associated with the rules, each precondition representing an input used in executing the rules;
identifying at least one postcondition associated with the rules, each postcondition representing an output from the execution of the rules;
receiving an input value corresponding to the identified preconditions; and
executing at least a portion of the rules using the input value to generate an output value, the output value corresponding to the identified postconditions.
1 Assignment
0 Petitions
Accused Products
Abstract
A method for providing inferencing services includes receiving a plurality of rules for a specified domain. The method also includes identifying a precondition associated with the rules and a postcondition associated with the rules. The precondition represents an input used in executing the rules, and the postcondition represents an output from the execution of the rules. The method further includes receiving an input value corresponding to the precondition. In addition, the method includes executing at least a portion of the rules using the input value to generate an output value. The output value corresponds to the postcondition.
58 Citations
56 Claims
-
1. A method for providing inferencing services, comprising:
-
receiving a plurality of rules for a specified domain;
identifying at least one precondition associated with the rules, each precondition representing an input used in executing the rules;
identifying at least one postcondition associated with the rules, each postcondition representing an output from the execution of the rules;
receiving an input value corresponding to the identified preconditions; and
executing at least a portion of the rules using the input value to generate an output value, the output value corresponding to the identified postconditions. - View Dependent Claims (2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22)
-
-
23. A system for providing inferencing services, comprising:
-
a memory operable to store a plurality of rules for a specified domain; and
one or more processors collectively operable to;
identify a precondition associated with the rules, the precondition representing an input used in executing the rules;
identify a postcondition associated with the rules, the postcondition representing an output from the execution of the rules;
receive an input value corresponding to the precondition; and
execute at least a portion of the rules using the input value to generate an output value, the output value corresponding to the postcondition. - View Dependent Claims (24, 25, 26, 27, 28, 29, 30, 31, 32)
-
-
33. Logic embodied on at least one computer readable medium and operable when executed to:
-
identify a precondition associated with a plurality of rules for a specified domain, the precondition representing an input used in executing the rules;
identify a postcondition associated with the rules, the postcondition representing an output from the execution of the rules;
receive an input value corresponding to the precondition; and
execute at least a portion of the rules using the input value to generate an output value, the output value corresponding to the postcondition.
-
-
34. A system for providing inferencing services, comprising:
-
means for identifying a precondition associated with a plurality of rules for a specified domain, the precondition representing an input used in executing the rules;
means for identifying a postcondition associated with the rules, the postcondition representing an output from the execution of the rules;
means for receiving an input value corresponding to the precondition; and
means for executing at least a portion of the rules using the input value to generate an output value, the output value corresponding to the postcondition.
-
-
35. A method for providing inferencing services, comprising:
-
communicating a plurality of rules for a specified domain to an inference engine, the rules associated with a precondition and a postcondition, the precondition representing an input used by the inference engine in executing the rules, the postcondition representing an output from the execution of the rules;
communicating an input value corresponding to the precondition to the inference engine; and
receiving an output value from the inference engine, the output value corresponding to the postcondition. - View Dependent Claims (36, 37, 38, 39)
-
-
40. A method for providing inferencing services, comprising:
-
receiving a plurality of first rules for a specified domain comprising at least a portion of a first rulebase;
loading the first rules into a memory;
receiving a supplemental rulebase comprising a second rule;
combining the second rule with the first rules in the memory; and
executing at least a portion of the first and second rules to generate an output value. - View Dependent Claims (41, 42, 43, 44)
-
-
45. A system for providing inferencing services, comprising:
-
a memory operable to store a plurality of first rules for a specified domain, the plurality of first rules comprising at least a portion of a first rulebase; and
one or more processors collectively operable to;
receive a supplemental rulebase comprising a second rule;
combine the second rule with the first rules in the memory; and
execute at least a portion of the first and second rules to generate an output value. - View Dependent Claims (46, 47, 48)
-
-
49. Logic embodied on at least one computer readable medium and operable when executed to:
-
receive a plurality of first rules for a specified domain, the plurality of first rules comprising at least a portion of a first rulebase;
load the first rules into a memory;
receive a supplemental rulebase comprising a second rule;
combine the second rule with the first rules in the memory; and
execute at least a portion of the first and second rules to generate an output value.
-
-
50. A method for providing inferencing services, comprising:
-
communicating a plurality of first rules for a specified domain, the plurality of first rules comprising at least a portion of a first rulebase to an inference engine;
communicating a supplemental rulebase comprising a second rule to the inference engine;
allowing the inference engine to combine the second rule with the first rules in the memory; and
receiving from the inference engine an output value, the inference engine operable to execute at least a portion of the first and second rules to generate the output value. - View Dependent Claims (51)
-
-
52. A method for providing inferencing services, comprising:
-
executing at least a portion of a plurality of rules for a specified domain, at least one of the rules comprising an expression;
pending one of the rules when a field needed to resolve the expression in the rule has an unknown value;
identifying a binary statement associated with the expression that caused the decision tree rule to pend;
assigning a known value to the field that caused the rule to pend;
unpending the rule; and
restarting execution of the rule at the identified binary statement. - View Dependent Claims (53)
-
-
54. A system for providing inferencing services, comprising:
-
a memory operable to store a plurality of rules for a specified domain, at least one of the rules comprising an expression; and
one or more processors collectively operable to;
execute at least a portion of the rules;
pend one of the rules when a field needed to resolve the expression in the rule has an unknown value;
identify a binary statement associated with the expression that caused the decision tree rule to pend;
assign a known value to the field that caused the rule to pend;
unpend the rule; and
restart execution of the rule at the identified binary statement. - View Dependent Claims (55)
-
-
56. Logic embodied on at least one computer readable medium and operable when executed to:
-
execute at least a portion of a plurality of rules for a specified domain, at least one of the rules comprising an expression;
pend one of the rules when a field needed to resolve the expression in the rule has an unknown value;
identify a binary statement associated with the expression that caused the decision tree rule to pend;
assign a known value to the field that caused the rule to pend;
unpend the rule; and
restart execution of the rule at the identified binary statement.
-
Specification