In a preferred embodiment, the system uses data-driven and goal-seeking rules to reason about a means for achieving a goal, wherein the data-driven rules are supported by an extended form of forward chaining logic, wherein the goal-seeking rules are supported by an extended form of backward chaining logic, and wherein the extended forms of logic are provided by the rule evaluator.