অ্যাবডাক্টিভ লজিক প্রোগ্রামিং: সংশোধিত সংস্করণের মধ্যে পার্থক্য
বিষয়বস্তু বিয়োগ হয়েছে বিষয়বস্তু যোগ হয়েছে
Nokib Sarkar (আলোচনা | অবদান) ট্যাগ: মোবাইল সম্পাদনা মোবাইল ওয়েব সম্পাদনা |
Nokib Sarkar (আলোচনা | অবদান) ট্যাগ: ২০১৭ উৎস সম্পাদনা |
||
১৪ নং লাইন:
এসব সীমাবদ্ধতা বলতে বুঝায় যে সকল A1,...,An একই সঙ্গে সত্য হতে পারে না এবং একই সময়ে সকল B1,...,Bm মিথ্যা হতে পারে না।
== অনানুষ্ঠানিক ব্যাখ্যা এবং সমস্যা সমাধানকরণ ==
P এর বক্তব্য সমূহ ভেদনযোগ্য বিধেয়সমূহের একটি সেট সংজ্ঞায়িত করে এবং এর দ্বারা তারা সমস্যা ক্ষেত্রের মডেল প্রদান করে। IC এর অখন্ড সীমাবদ্ধতাসমূহ সমস্যা ক্ষেত্রে সাধারণ ধর্মসমূহ সুনির্দিষ্ট করে।
একটি সমস্যা, ''G'', যা একটি পর্যবেক্ষণ যার ব্যাখ্যা প্রয়োজন কিংবা একটি প্রত্যাশিত লক্ষ্যকে প্রকাশ করে, ধনাত্মক এবং ঋণাত্মক ফলাফল গুলোর সংযোগ দ্বারা উপস্থাপিত হয়। এসব সমস্যা এর এবডাক্টিভ ব্যাখ্যার মাধ্যমে সমাধান করা হয়।
একটি সমস্যা''G'' এর এবডাকটিভ ব্যাখ্যা হল ধনাত্মক এবং মাঝে মাঝে ঋণাত্মক অকাট্য বিধেয়সমূহের সেট ,যেন, যখন এগুলোকে যৌক্তিক প্রোগ্রাম তে যুক্ত করা হয়, ''G'' সমস্যা টি এবং অখন্ড সীমাবদ্ধতা সমূহ IC উভয়েই তা সমর্থন করে। এভাবে অকাট্য বিধেয়সমূহের পূর্ণ কিংবা আংশিক সংজ্ঞা যোগের মাধ্যমে এবডাকটিভ ব্যাখ্যা যৌক্তিক প্রোগ্রাম P কে বর্ধিত করা হয়। এভাবে, P এবং IC এর সমস্যা ক্ষেত্রের ব্যাখ্যা সমাধান প্রস্তুত করে এবডাকটিভ যুক্তির ব্যাখ্যা, যা প্রদত্ত সমস্যাকে বর্ধিত কিংবা সম্পূর্ণ বিবরণ প্রদান করে, নতুন তথ্য প্রদান করে যদিও তা সবসময় সমস্যার সমাধান দেয় না। একটি সমাধানের পরিবর্তে অন্য সমাধানকে নির্বাচনের জন্য মানদণ্ডসমূহ (প্রায়ই অখন্ড সীমাবদ্ধতার দ্বারা প্রকাশ করা হয়) সমস্যাটির নির্দিষ্ট ব্যাখ্যা নির্বাচনে প্রয়োগ করা যেতে পারে।
ALP এর বিশ্লেষণ মূলত সাধারণ [[যুক্তিভিত্তিক প্রোগ্রামিং]] এর সঙ্গে একধরণের অখন্ডতা যাচাইয়ের একীভূত রূপ যা প্রমাণ করে যে প্রাপ্ত ব্যাখ্যাটি গ্রহণযোগ্য।
নিম্নোক্ত উদাহরণদ্বয়, যা কঠোর ALP এর ব্যাকরণের বদলে সাধারণ ভাষায় লেখা হয়েছে, সমস্যা সমাধানের ক্ষেত্রে এর প্রয়োগ ব্যাখ্যা করবে।
===উদাহরণ ১===
abductive যুক্তিভিত্তিক প্রোগ্রাম, <math>\langle P,A,\mathit{IC} \rangle</math> এবং <math>P</math> এ নিম্নোক্ত বক্তব্যসমূহ রয়েছে:
ঘাস ভেজা থাকে '''যদি''' বৃষ্টি হয়<br />
ঘাস ভেজা থাকে '''যদি''' সিঞ্চক চালু থাকে<br />
সূর্য কিরণ দিচ্ছিল
<math>A</math> তে অকাট্য বিধেয়সমূহ হল "বৃষ্টি হয়েছিল" এবং "সিঞ্চক চালু ছিল" এবং <math>\mathit{IC}</math> এ একমাত্র অখন্ড সীমাবদ্ধতা হল:
মিথ্যা '''যদি''' বৃষ্টি হয়ে থাকে এবং সিঞ্চক চালু থাকে
"'''ঘাস ভেজা রয়েছে'''" এমন পর্যবেক্ষনের দুটি ব্যাখ্যা রয়েছে - "বৃষ্টি হয়েছিল" এবং "সিঞ্চক চালু ছিল", যার ফলশ্রুতিতে ঘটনাটি ঘটেছিল। তবে, শুধুমাত্র দ্বিতীয় ব্যাখ্যা, "সিঞ্চক চালু ছিল", অখন্ড সীমাবদ্ধতাটিকে সিদ্ধ করে (কেননা, তখন বৃষ্টি হলে সূর্য কিরণ দেয়ার কথা নয়)।
=== উদাহরণ ২ ===
নিম্নোক্ত এবডাকটিভ যুক্তিভিত্তিক প্রোগ্রাম টি বিবেচনা করা যাক:
X একজন মার্কিন নাগরিক '''যদি''' X যুক্তরাষ্ট্রে জন্মগ্রহণ করেন<br />
X মার্কিন নাগরিক '''যদি''' X যুক্তরাষ্ট্রের বাইরে জন্মগ্রহণ করেন '''এবং''' X যুক্তরাষ্ট্রে বসবাস করেন '''এবং''' X অনুমোদনপ্রাপ্ত<br />
X একজন মার্কিন নাগরিক '''যদি''' X যুক্তরাষ্ট্রের বাইরে জন্মগ্রহণ করেন '''এবং''' X এর মাতা Y '''এবং''' Y একজন মার্কিন নাগরিক '''এবং''' X নিবন্ধিত<br />
এখন নিম্নোক্ত বক্তব্য:
John এর মাতা Mary<br />
Mary একজন মার্কিন নাগরিক
এর পাঁচটি বিধেয় - "যুক্তরাষ্ট্রে জন্মগ্রহণকারী", "যুক্তরাষ্ট্রের বাইরে জন্মগ্রহণকারী", "একজন যুক্তরাষ্ট্রে বসবাসকারী", "অনুমোদনপ্রাপ্ত" এবং "নিবন্ধিত" এবং অখন্ড সীমাবদ্ধতা হল :
মিথ্যা '''যদি''' John যুক্তরাষ্ট্রের বাসিন্দা হোন
এক্ষেত্রে "John একজন মার্কিন নাগরিক" বক্তব্যটির দুটি ব্যাখ্যা রয়েছে , যার একটি হল "John যুক্তরাষ্ট্রে জন্মগ্রহণ করেছেন", অন্যটি হল "John যুক্তরাষ্ট্রের বাইরে জন্মগ্রহণ করেছেন এবং John নিবন্ধিত". একজন বসবাস এবং অনুমোদনসূত্রে নাগরিক হওয়ার ব্যাখ্যাটি ব্যর্থ কেননা এটি অখন্ড সীমাবদ্ধতাকে লংঘন করে।
আনুষ্ঠানিক রীতিতে লেখা আরো জটিল একটি উদাহরণ নিম্নরূপ:
==বাস্তবায়ন এবং ব্যবস্থা==
এবডাকটিভ যুক্তিভিত্তিক প্রোগ্রামিং এর বেশিরভাগ প্রয়োগ যুক্তিভিত্তিক প্রোগ্রামিং এর SLD রেজ্যুলেশন-ভিত্তিক গাণিতিক মডেল কে বর্ধিত করে। এবডেকক্টিভ যুক্তিভিত্তিক প্রোগ্রামিংয়ের সঙ্গে উত্তর সেট প্রোগ্রামিং (ASP) এর সম্পর্কের সাহায্যেও এটি বাস্তবায়ন করা সম্ভব। ACLP, A-system, CIFF, SCIFF, ABDUAL এবং ProLogICA হল এর কিছু উদাহরণ।
| |||