extended 'knowledge representation' section - facts, rules, system state,
  transitions btw states, initial state, knowledge base, working memory,
  production memory, facts in STRIPS