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

বিষয়বস্তু বিয়োগ হয়েছে বিষয়বস্তু যোগ হয়েছে
সম্পাদনা সারাংশ নেই
ট্যাগ: মোবাইল সম্পাদনা মোবাইল ওয়েব সম্পাদনা
ট্যাগ: মোবাইল সম্পাদনা মোবাইল ওয়েব সম্পাদনা
১৪ নং লাইন:
 
এসব সীমাবদ্ধতা বলতে বুঝায় যে সকল A1,...,An একই সঙ্গে সত্য হতে পারে না এবং একই সময়ে সকল B1,...,Bm মিথ্যা হতে পারে না।
==বাস্তবায়ন এবং ব্যবস্থা==
এবডাকটিভ যুক্তিভিত্তিক প্রোগ্রামিং এর বেশিরভাগ প্রয়োগ যুক্তিভিত্তিক প্রোগ্রামিং এর SLD রেজ্যুলেশন-ভিত্তিক গাণিতিক মডেল কে বর্ধিত করে। এবডেকক্টিভ যুক্তিভিত্তিক প্রোগ্রামিংয়ের সঙ্গে উত্তর সেট প্রোগ্রামিং (ASP) এর সম্পর্কের সাহায্যেও এটি বাস্তবায়ন করা সম্ভব। ACLP, A-system, CIFF, SCIFF, ABDUAL এবং ProLogICA হল এর কিছু উদাহরণ।
 
== আরো দেখুন ==
* [[Abductive reasoning]]
* [[Answer set programming]]
* [[Inductive logic programming]]
* [[Negation as failure]]
* [[Argumentation]]
 
== তথ্যসূত্র ==
{{Reflist}}
 
== মাধ্যমিক উৎস ==
{{refbegin}}
* {{cite book |first1=D. |last1=Poole |first2=R. |last2=Goebel |first3=R. |last3=Aleliunas |chapter=Theorist: a logical reasoning system for defaults and diagnosis |editor1-first=Nick |editor1-last=Cercone |editor2-first=Gordon |editor2-last=McCalla |title=The Knowledge Frontier: Essays in the Representation of Knowledge |chapterurl=https://books.google.com/books?id=WRy1XVarSd4C&pg=PA331 |year=1987 |publisher=Springer |isbn=978-0-387-96557-4 |pages=331–352}}
* {{cite book |first1=A.C. |last1=Kakas |first2=P. |last2=Mancarella |chapter=Generalised Stable Models: A Semantics for Abduction |editor-first=L.C. |editor-last=Aiello |title=ECAI 90: proceedings of the 9th European Conference on Artificial Intelligence |publisher=Pitman |location= |year=1990 |isbn=978-0273088226 |pages=385–391 }}
* {{cite journal |first1=L. |last1=Console |first2=D.T. |last2=Dupre |first3=P. |last3=Torasso |title=On the Relationship between Abduction and Deduction |journal=Journal of Logic and Computation |volume=1 |issue=5 |pages=661–690 |year=1991 |doi=10.1093/logcom/1.5.661 |url=http://logcom.oxfordjournals.org/content/1/5/661.short |citeseerx=10.1.1.31.9982 }}
* {{cite journal |first1=A.C. |last1=Kakas |first2=R.A. |last2=Kowalski |first3=F. |last3=Toni |title=Abductive Logic Programming |journal=Journal of Logic and Computation |volume=2 |issue=6 |pages=719–770 |year=1993 |doi=10.1093/logcom/2.6.719 |url=http://logcom.oxfordjournals.org/content/2/6/719.short|citeseerx=10.1.1.37.3655 }}
* {{cite journal |first1=Marc |last1=Denecker |first2=Danny |last2=De Schreye |title=SLDNFA: An Abductive Procedure for Abductive Logic Programs |journal=J. Logic Programming |volume=34 |issue=2 |pages=111–167 |date=February 1998 |doi=10.1016/S0743-1066(97)00074-5 |citeseerx = 10.1.1.21.6503 }}
* {{cite journal |first1=M. |last1=Denecker |first2=A.C. |last2=Kakas |title=Special issue: abductive logic programming |journal=J. Logic Programming |volume=44 |issue=1–3 |pages=1–4 |date=July 2000 |doi=10.1016/S0743-1066(99)00078-3 |url=http://www.sciencedirect.com/science/article/pii/S0743106699000783}}
* {{cite book |first1=M. |last1=Denecker |first2=A.C. |last2=Kakas |chapter=Abduction in Logic Programming |editor1-first=A.C. |editor1-last=Kakas |editor2-first=F. |editor2-last=Sadri |title=Computational Logic: Logic Programming and Beyond: Essays in Honour of Robert A. Kowalski |chapterurl=https://books.google.com/books?id=15umWyDVsRMC&pg=PA402 |year=2002 |publisher=Springer |isbn=978-3-540-43959-2 |pages=402–437 |volume=2407 |series=Lecture Notes in Computer Science}}
* {{cite journal |first=D. |last=Poole |title=Probabilistic Horn abduction and Bayesian networks |journal=Artificial Intelligence |volume=64 |issue=1 |pages=81–129 |year=1993 |doi=10.1016/0004-3702(93)90061-F |url=https://www.cs.ubc.ca/~poole/papers/pha-bn.pdf }}
* {{cite journal|first1=F. |last1=Esposito |first2=S. |last2=Ferilli |first3=T.M.A. |last3=Basile |first4=N. |last4=Di Mauro |title=Inference of abduction theories for handling incompleteness in first-order learning |journal=Knowl. Inf. Syst. |volume=11 |issue=2 |pages=217–242 |date=February 2007 |doi=10.1007/s10115-006-0019-5 |url=http://www.di.uniba.it/~ndm/publications/files/esposito07kais.pdf |deadurl=yes |archiveurl=https://web.archive.org/web/20110717210259/http://www.di.uniba.it/~ndm/publications/files/esposito07kais.pdf |archivedate=2011-07-17 }}
{{refend}}
 
== বহিঃসংযোগ ==
* [http://www.cs.ucy.ac.cy/aclp/ ACLP]
* [http://www-lia.deis.unibo.it/Software/ACL/ ACL]
* [http://lia.deis.unibo.it/sciff/ SCIFF]
* [http://dtai.cs.kuleuven.be/krr/Asystem/asystem.html Asystem]
 
[[Category:যুক্তিভিত্তিক প্রোগ্রামিং]]