introduction to representing knowledge 8708625