u
inference engine
u
tools for:
n
knowledge acquisition
n
explanation
n
verification, incoherence, etc.
u
When, why is it useful to use a shell?
n
fast, easy development, test for a prototype