Textmeddelande: Logics in artificial intelligence :