P এর বক্তব্য সমূহ ভেদনযোগ্য বিধেয়সমূহের একটি সেট সংজ্ঞায়িত করে এবং এর দ্বারা তারা সমস্যা ক্ষেত্রের মডেল প্রদান করে। IC এর অখণ্ড সীমাবদ্ধতাসমূহ সমস্যা ক্ষেত্রে সাধারণ ধর্মসমূহ সুনির্দিষ্ট করে।

একটি সমস্যা, "G", যা একটি পর্যবেক্ষণ যার ব্যাখ্যা প্রয়োজন কিংবা একটি প্রত্যাশিত লক্ষ্যকে প্রকাশ করে, ধনাত্মক এবং ঋণাত্মক ফলাফল গুলোর সংযোগ দ্বারা উপস্থাপিত হয়। এসব সমস্যা এর এবডাক্টিভ ব্যাখ্যার মাধ্যমে সমাধান করা হয়।

একটি সমস্যা"G" এর এবডাকটিভ ব্যাখ্যা হল ধনাত্মক এবং মাঝে মাঝে ঋণাত্মক অকাট্য বিধেয়সমূহের সেট ,যেন, যখন এগুলোকে যৌক্তিক প্রোগ্রাম তে যুক্ত করা হয়, "G" সমস্যা টি এবং অখণ্ড সীমাবদ্ধতা সমূহ IC উভয়েই তা সমর্থন করে। এভাবে অকাট্য বিধেয়সমূহের পূর্ণ কিংবা আংশিক সংজ্ঞা যোগের মাধ্যমে এবডাকটিভ ব্যাখ্যা যৌক্তিক প্রোগ্রাম P কে বর্ধিত করা হয়। এভাবে, P এবং IC এর সমস্যা ক্ষেত্রের ব্যাখ্যা সমাধান প্রস্তুত করে এবডাকটিভ যুক্তির ব্যাখ্যা, যা প্রদত্ত সমস্যাকে বর্ধিত কিংবা সম্পূর্ণ বিবরণ প্রদান করে, নতুন তথ্য প্রদান করে যদিও তা সবসময় সমস্যার সমাধান দেয় না। একটি সমাধানের পরিবর্তে অন্য সমাধানকে নির্বাচনের জন্য মানদণ্ডসমূহ (প্রায়ই অখণ্ড সীমাবদ্ধতার দ্বারা প্রকাশ করা হয়) সমস্যাটির নির্দিষ্ট ব্যাখ্যা নির্বাচনে প্রয়োগ করা যেতে পারে।

ALP এর বিশ্লেষণ মূলত সাধারণ যুক্তিভিত্তিক প্রোগ্রামিং এর সঙ্গে একধরনের অখণ্ডতা যাচাইয়ের একীভূত রূপ যা প্রমাণ করে যে প্রাপ্ত ব্যাখ্যাটি গ্রহণযোগ্য।

নিম্নোক্ত উদাহরণদ্বয়, যা কঠোর ALP এর ব্যাকরণের বদলে সাধারণ ভাষায় লেখা হয়েছে, সমস্যা সমাধানের ক্ষেত্রে এর প্রয়োগ ব্যাখ্যা করবে।
ব্যাকরণ
উদাহরণ ১
অনানুষ্ঠানিক ব্যাখ্যা এবং সমস্যা সমাধানকরণ
উদাহরণ ২