بحث التبرير الاستقرائي والتخمين