Representation using predicate calculus. Resolution. Resolution strategies. Answer extraction systems. Application in robot plan generation. Forward and backward rule-based deduction. Nonmonotonic reasoning. Uncertainty. Procedural knowledge representation. Semantic nets, frames. AI and the cognitive psychology.