backward chaining

method of forming inferences

Kategorien: