Relation of Terms
Term includes Properties
Term can be Algorithm
Use task constraints to make search efficient.
Perform Inference with First Order Logic and appreciate the strengths and weaknesses of this and other logic representations (eg Propositional).
Use PDDL to plan and execute actions using either Propositional or First Order Logic representations.
Create and reason with a representation of a Bayesian agent for handling a non-deterministic planning problem.