استقرا
استدلال کل به جزء یا استدلال قیاسی (deductive reasoning) یکی از دو استدلال معروف در منطق (استدلال کل به جزء و استدلال جزء به کل {the deductive and inductive approaches}) می‌باشد . استدلال کل به جزء هنگامی است که در استدلال از یک نظریه (تئوری) کلی استفاده کنیم و به فرضیه یا فرضیه‌های جزئی برسیم. در پژوهش ها، زمانی که پژوهشگر از نظریه استفاده می‌کند و فرضیه می‌سازد و برای ازمون فرضیه‌ها داده جمع‌آوری می‌کند و نتیجه می‌گیرد می گوییم پژوهشگر از روش استدلال کل به جزء استفاده کرده‌است. روش استدلال جزء به کل (inductive approaches) بر عکس این روش می‌باشد یعنی پژوهشگر داده جمع‌آوری می‌کند و الگو بین داده‌ها و متغیرها کشف می‌کند سپس فرضیه می‌سازد و فرضیه را آزمون می‌کند و در نهایت نظریه می‌دهد. روش‌های جز به کل و کل به جز از دو روش مهم در پژوهش می‌باشد (the deductive and inductive methods).
برنامه‌ریزی منطقی قیاسی
شروط در P مجموعه گزاره‌های قیاسی را تعریف می‌کنند و از طریق آن یک توصیف (یامدل) حوزه مسئله را ارائه می‌کنند. محدودیت انسجام در IC ویژگی‌های عمومی مسئله را مشخص می‌کند که باید در هر راه‌حل مسئله مورد بررسی قرار گیرد. مسئله، G، یک مشاهده را بیان می‌کند که باید توضیح داده شود یا هدفی را بیان می‌کند که با ترکیب مثبت و منفی (NAF) مطلوب نشان داده می‌شود. چنین مسائلی توسط محاسبه «توضیحات قیاسی» G حل می‌شود. توضیح قیاسی در مورد مسئله G مجموعه‌ای از موارد مثبت (و گاهی منفی) از گزاره‌های قیاسی است، مثلاً هنگامی که این موارد به برنامه منطقی P، مسئله G و محدودیت‌های IC اضافه می‌شوند؛ بنابراین توضیحات قیاسی، برنامه منطقی P را با افزودن تعاریف کامل یا نسبی گزاره‌های قیاسی بسط می‌دهد. به این ترتیب، توضیحات قیاسی راه‌حل مسئله را با توجه به توصیف حوزه مسئله در P و ICشکل می‌دهند. تمدید یا تکمیل توصیف مسئله ارائه شده توسط توضیحات قیاسی، اطلاعات جدیدی را فراهم می‌کند که تا کنون در راه‌حل مسئله گنجانده نشده‌است. معیارهای کیفیت برای ترجیح دادن یک راه‌حل نسبت به دیگری که اغلب از طریق محدودیت‌های درستی بیان می‌شوند، می‌تواند برای انتخاب توضیحات خاص قیاسی در مورد مسئله G اعمال شود. محاسبه درALP، استدلال معکوس برنامه‌نویسی منطقی را با نوعی کنترل ترکیب می‌کند تا نشان دهد که توضیحات قیاسی محدودیت‌های درستی رابرطرف می‌کند. در ادامه چند مثال را ارائه می‌دهیم: