We shall briefly examine some of the major techniques (or formalisms) for knowledge representation. The most important ones are predicate logic, semantic networks, production systems, frames and scripts.