Artificial intelligence: a very short introduction