Text this: Logics for artificial intelligence /