การคาดการณ์ผลลัพธ์ โดยใช้เหตุผลเชิงตรรกะ