Reasoning: The Fight Continues
To
use
a knowledge base
we must provide effective
reasoning procedures