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.