Machine learningLogic and Reasoning
স্বয়ংক্রিয় উপপাদ্য প্রমাণ (Automated Theorem Proving)
স্বয়ংক্রিয় উপপাদ্য প্রমাণ (Automated Theorem Proving, ATP) হলো কৃত্রিম বুদ্ধিমত্তা এবং গাণিতিক যুক্তির একটি ক্ষেত্র যা আনুষ্ঠানিক সিস্টেমে গাণিতিক উপপাদ্যগুলির যান্ত্রিকভাবে প্রমাণ করার জন্য নিবেদিত। জন রবিনসন ১৯৬৫ সালে রেজোলিউশন নীতির মাধ্যমে এটি তৈরি করেন। এটি আধুনিক যাচাইকরণ সরঞ্জাম যেমন SAT/SMT সলভারগুলির ভিত্তি এবং আনুষ্ঠানিক সফ্টওয়্যার যাচাইকরণ, হার্ডওয়্যার বৈধতা এবং গণিতের জন্য অপরিহার্য।
পুরো পদ্ধতিটি পড়ুন
শুধু সদস্যদের জন্য
সাইন ইন করুনএই অংশটি পড়তে বিনামূল্যের অ্যাকাউন্ট দিয়ে সাইন ইন করুন।
উৎস
- Robinson, J. A. (1965). A machine-oriented logic based on the resolution principle. Journal of the ACM, 12(1), 23–41. DOI: 10.1145/321250.321253 ↗
- Fitting, M. (1996). First-Order Logic and Automated Theorem Proving (2nd ed.). Springer. DOI: 10.1007/978-1-4612-2360-3 ↗
- Nieuwenhuis, R., Oliveras, A., & Tinelli, C. (2006). Solving SAT and SAT modulo theories: From an abstract Davis–Putnam–Logemann–Loveland procedure to DPLL(T). Journal of the ACM, 53(6), 937–977. DOI: 10.1145/1217856.1217859 ↗
এই পৃষ্ঠা কীভাবে উদ্ধৃত করবেন
ScholarGate. (2026, June 3). Automated Theorem Proving (ATP). ScholarGate. https://scholargate.app/bn/numerical-methods/automated-theorem-proving
এই পৃষ্ঠায় কোনো ত্রুটি চোখে পড়েছে? জানান বা সংশোধনের প্রস্তাব দিন →