Abstraction and pattern classification