Definition, synonyms and related words
The problem of finding an adequate collection of axioms making up a viable description of the world for a robot or artificial intelligence.