Text this: Logics in artificial intelligence :