Knowledge Representation

• How do you represent knowledge?
• program variables: integers, reals, booleans, characters, strings
• programs
• databases?
• Logic:
  • All men are Mortal, Socrates is a Man, therefore Socrates is Mortal
  • Functions are important in all of this
• Semantic Nets: hierarchies, part-of, relationships.
• Frames: e.g. the verb hit has an actor slot, an object slot, and an instrument slot.
• These are symbolic ways of representing knowledge. They will be on the exam.