Taxonomy of Methods
Atoms
Propositions
Objects
Categorical
Probabilistic
Search
HMMs
(PO)MDPs
Propositional logic
Graphplan, Satplan, …
CSPs
(Dynamic) Bayes nets
Kalman Filters
First-order logic
Relational databases
Constraint logic prog
Epistemic states
World states
Several other representations now fall neatly into our axes.
But there seems to be an intriguing hole.