These three criteria are strongly related to John McCarthy's
notions of
Metaphysical Adequacy
Epistemological Adequacy
Heuristic Adequacy
formulated for the evaluation of knowledge representation
formalisms in general.
These ideas are discussed in McCarthy and Hayes' (1969) paper
Some Philosophical Problems from the Stanpoint of Artificial
Intelligence
see
www-formal.stanford.edu/jmc/mcchay69/mcchay69.html