A process that generates a set of logically consistent inferences by applying  rules to the  of .

Alternatives

Related Links