Trí tuệ nhân tạo - Đinh Mạnh Tường (KHKT, 2002)