ความรู้การแก้ปัญหาโดยใช้เหตุผลเชิงตรรกะ