Before revision: Ranking Theory is a theory in formal epistemology that represents the agent's epistemic state by a ranking function.
After revision: Ranking theory is a theory in formal epistemology that represents the agent's epistemic state by a ranking function.