Text this: Logics in AI :