Machine learningLogic and Reasoning
स्वचालित प्रमेय सिद्धि
स्वचालित प्रमेय सिद्धि (ATP) कृत्रिम बुद्धिमत्ता और गणितीय तर्क का एक क्षेत्र है जो औपचारिक प्रणालियों में गणितीय प्रमेयों को यांत्रिक रूप से सिद्ध करने के लिए समर्पित है। 1965 में जॉन रॉबिन्सन द्वारा समाधान सिद्धांत के साथ विकसित, 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/hi/numerical-methods/automated-theorem-proving