أرسل هذا في رسالة قصيرة: Logics in artificial intelligence :