- AGM(as a formal system for understanding belief revision)
- A theory in philosophy about how people should rationally change their beliefs when they learn new information; named after philosophers Alchourron, Gärdenfors, and Makinson who developed it.
- Entrenchment ordering(as a method for organizing beliefs by how strongly held they are)
- A ranking system that shows which beliefs someone holds more firmly than others—like saying you're more confident about 'water is wet' than 'it will rain tomorrow.'
- Knowledge-belief interaction(describing a relationship that AGM theory may or may not be able to express)
- How knowledge and beliefs relate to and influence each other—for example, how knowing something might change which beliefs you hold.
- Syntactic expressibility(contrasted with what a system can actually represent or communicate)
- Whether something can be written down or represented using symbols and rules of a formal language, regardless of whether it actually means anything.
- epistemic states(Multiple ontological states can map to a single epistemic state)
- States represented within the model state space, which are the modeler's knowledge representations of the target system
- knowledge(Distinguished from mere true belief, which may be the product of indoctrination and need not exercise deliberative capacities.)
- Justified true belief — true belief that has been arrived at through the exercise of deliberative capacities, including comparison of and deliberation among alternatives.
- representational capacity(Leibnizo-Wolffian metaphysics and psychology as applied by Sulzer)
- The essential faculty of the human mind by which desire, will, and cognition are all understood as forms of representation.