Representation: Design Decisions
Atoms
Propositions
Objects
Categorical
Probabilistic
Epistemic states
World states
Search
Propositional logic
Graphplan, Satplan, …
CSPs
First-order logic
Relational databases
Constraint logic prog
Many of the standard methods can be categorized along this axis.
But, there is also a second important design decision --- how do we
represent the epistemic state of the agent, its beliefs about the world.
Two common choices are categorical, or deterministic, beliefs, and
probabilistic beliefs.