How do you represent knowledge?

• Really, how do you?
• Equations
• Proofs
• Text
• Decision Trees
• Theories
• Cognitive Maps
  
  
• What we are looking for is a way a machine can represent and use knowledge.
• It's about formalism