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