Abstraction in perceptual symbol systems
Abstraction and reformulation in artificial intelligence