Title: Logics in Artificial Intelligence