Reasoning in Artificial intelligence