Describir: Logics in artificial intelligence