Knowledge Repr & Reasoning

• Propositional Logic

  • Syntax, inference: modus ponens, resolution, DPLL, stochastic methods; truth maintenance, hard problems, phase transitions

• Predicate Calculus

  • Syntax, inference: unification, resolution, compilation to propositional form

• Modal Logic

  • Representing action and change, diagnosis, planning

• Bayesian Belief Networks

  • Joint prob distrib, indepenence, Bayes rule, inference and diagnosis: clustering methods, cutset conditioning, stochastic simulation; utility functions, decision networks 

Previous slide

Next slide

Back to first slide

View graphic version