Describir: Logics in artificial intelligence :