অ্যাবডাক্টিভ লজিক প্রোগ্রামিং: সংশোধিত সংস্করণের মধ্যে পার্থক্য

{{প্রোগ্রামিং প্যারাডাইম}}

 

অকাট্য যুক্তিভিত্তিক প্রোগ্রামিংয়ের তিনটি উপাদান রয়েছে, <math>\langle P,A,IC\rangle,</math> যেখানে:

সাধারণত যৌক্তিক প্রোগ্রাম P তে অকাট্য বিধেয়সমূহকে নির্দেশ করে এমন কোন শীর্ষকবিশিষ্ট বাক্যাংশ থাকে না (সাধারণতা হারানো ব্যতিরেকেই এই সীমাবদ্ধতা প্রদান করা যেতে পারে)। বাস্তবে অনেক সময়, IC তে অবস্থিত [[integrity constraints]]গুলো প্রায় অস্বীকার আকারে সীমাবদ্ধ থাকে অর্থাৎ নিম্নোক্ত আকারে বাক্যাংশগুলো থাকে:

মিথ্যা:- A1,...,An, not B1, ..., not Bm.

 

== অনানুষ্ঠানিক ব্যাখ্যা এবং সমস্যা সমাধানকরণ ==

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

 

 

 

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

 

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

abductive যুক্তিভিত্তিক প্রোগ্রাম, <math>\langle P,A,\mathit{IC} \rangle</math> এবং <math>P</math> এ নিম্নোক্ত বক্তব্যসমূহ রয়েছে:

 

সূর্য কিরণ দিচ্ছিল

 

 

মিথ্যা '''যদি''' বৃষ্টি হয়ে থাকে এবং সিঞ্চক চালু থাকে

 

=== উদাহরণ ২ ===

X একজন মার্কিন নাগরিক '''যদি''' X যুক্তরাষ্ট্রে জন্মগ্রহণ করেন<br />

X মার্কিন নাগরিক '''যদি''' X যুক্তরাষ্ট্রের বাইরে জন্মগ্রহণ করেন '''এবং''' X যুক্তরাষ্ট্রে বসবাস করেন '''এবং''' X অনুমোদনপ্রাপ্ত<br />

মিথ্যা '''যদি''' John যুক্তরাষ্ট্রের বাসিন্দা হোন

 

 

আনুষ্ঠানিক রীতিতে লেখা আরো জটিল একটি উদাহরণ নিম্নরূপ:

 

 

; Domain knowledge (P)

feed(lactose):-make(permease),make(galactosidase).

make(Enzyme):-code(Gene,Enzyme),express(Gene).

code(lac(z),galactosidase).

temperature(low):-amount(glucose,low).

; Integrity constraints (IC)

false :- amount(S,V1), amount(S,V2), V1 ≠ V2.

; Abducibles (A)

abducible_predicate(amount).

<math>G=\text{feed(lactose)}</math> হল সমস্যার মূল লক্ষ্য। এটি একটি "পর্যবেক্ষণ যার ব্যাখ্যা প্রয়োজন" কিংবা "পরিকল্পনার সাহায্যে কোনো ঘটনার অবস্থা ব্যাখ্যা প্রয়োজন" উত্তোলন করে। এই লক্ষ্যের দুটি ব্যাখ্যা রয়েছে:

 

যখন যেকোনো একটি ব্যাখ্যা নির্বাচন করা হয়, তখন এটি তত্ত্বটির অংশ হয়ে যায়, যা নতুন উপসংহারে পৌঁছাতে সক্ষম। এসব উপসংহারই সমস্যাটির সমাধান গঠন করে।

 

নিম্নোক্ত উপায়ে অ্যাবডাকটিভ যুক্তিভিত্তিক প্রোগ্রামিংয়ের কেন্দ্রীয় প্রকাশরীতি আনুষ্ঠানিকভাবে সংজ্ঞায়িত করা যায়।

 

* <math>P \cup \Delta</math> পারস্পরিক [[সংগতিপূর্ণ]]

 

 

উপরোক্ত সংজ্ঞাটি, অখণ্ড সীমাবদ্ধতা <math>\mathit{IC}</math> এর ভূমিকার আনুষ্ঠানিকীকরণের উপর সম্ভাব্য সমাধান হিসেবে গুরুত্বারোপ করে। এতে একটি "অ্যাবডাকটিভ সমাধানের মাধ্যমে বর্ধিত যুক্তিভিত্তিক প্রোগ্রামের" প্রয়োজন পড়ে। কিছু ক্ষেত্রে তীব্র এবং দুর্বল সঙ্গতির প্রয়োজন পড়ে, যেমন <math>P \cup \mathit{IC} \cup \Delta</math> স্বসঙ্গত, যা দ্বারা বোঝায় যে কমপক্ষে এমন একটি সমাধান রয়েছে যা অখণ্ড সীমাবদ্ধতাকেসিদ্ধ করে। বাস্তবিকপক্ষে, অনেক ক্ষেত্রেই অখণ্ডতা সীমাবদ্ধতার ভূমিকা আনুষ্ঠানিকীকরণের এই উপায়দ্বয় যৌক্তিক প্রোগ্রাম এবং তার এক্সটেনশনগুলিতে সর্বদা একটি অনন্য মডেল বজায় রাখে। ALP সিস্টেমের অনেকগুলি অখণ্ডতা সীমাবদ্ধতার অনিবার্যতার দৃষ্টিভঙ্গি ব্যবহার করে কারণ এটি কোনো সমস্যার লক্ষ্যমাত্রার সাথে একইভাবে সীমাবদ্ধতাগুলি বিবেচনা করায় বিভিন্ন সীমাবদ্ধতার সিদ্ধকরণের জন্য কোনও অতিরিক্ত বিশেষ পদ্ধতিগুলির প্রয়োজন ছাড়া সহজেই বাস্তবায়িত করা যায়। উল্লেখ্য যে, অনেক ব্যবহারিক ক্ষেত্রে ALP এর একটি অ্যাবডাকটিভ ব্যাখ্যার এই আনুষ্ঠানিক সংজ্ঞা তৃতীয় শর্তকে সিদ্ধ করে কিংবা এটি নির্দিষ্ট পরিস্থিতিতে সঙ্গতিপূর্ণ অখণ্ড সীমাবদ্ধতাসহ দ্বিতীয় শর্তে অন্তর্ভুক্ত হয়।

 

 

== তথ্যসূত্র ==

{{refend}}

 

* [http://www.cs.ucy.ac.cy/aclp/ ACLP]

* [http://www-lia.deis.unibo.it/Software/ACL/ ACL]