Αποστολή με SMS: Logics in Artificial Intelligence