Which one is mainly used in artificial intelligence?