Trí tuệ tính toán : Tiếp cận bằng logic T.1 - Poole, David (Thống kê, 2002)