structure: semantic network, frame, script, description logic, ontology
psychological models of categorization: classical theory, prototype theory, exemplar theory, theory theory
"strong methods" vs. "weak methods": content vs. mechanism
expert system (knowledge-based system), rule-based vs. case-based
knowledge base: Cyc, Open Mind, WordNet, Mizar
knowledge acquisition: knowledge engineering, semantic web, data mining, natural language interface
efficiency
reasonable: