שליחה במסרון: Logics in artificial intelligence :