Generality in artificial intelligence