कम्प्यूटेशनल तर्क: Difference between revisions
No edit summary |
No edit summary |
||
| Line 1: | Line 1: | ||
{{distinguish| | {{distinguish|कम्प्यूटेशनल तर्क}} | ||
{{more citations needed|date=April 2015}} | {{more citations needed|date=April 2015}} | ||
'''कम्प्यूटेशनल तर्क''' प्र[[दर्शन]] करने के लिए तर्क का उपयोग या | '''कम्प्यूटेशनल तर्क''' प्र[[दर्शन]] करने के लिए तर्क का उपयोग या गणना के विषय में कई कारण है। यह [[कंप्यूटर विज्ञान]] और इंजीनियरिंग के समान संबंध रखता है क्योंकि गणितीय [[तर्क]] गणित के लिए और दार्शनिक तर्क दर्शन के लिए स्वीकृति देते हैं। यह "[[कंप्यूटर विज्ञान में तर्क]]" का पर्याय है। | ||
शब्द "कम्प्यूटेशनल तर्क" 2000 में कम्प्यूटेशनल तर्क पर एसीएम | शब्द "कम्प्यूटेशनल तर्क" 2000 में कम्प्यूटेशनल तर्क पर एसीएम स्थानांतरण की स्थापना के साथ प्रमुखता से विकसित हुआ था।<ref>http://tocl.acm.org official website of ACM Transactions on Computational Logic</ref> हालाँकि, यह शब्द बहुत पहले 1970 में जे.ए. रॉबिन्सन द्वारा प्रस्तुत किया गया था।<ref>{{cite conference | ||
|last1 = Robinson | |last1 = Robinson | ||
|first1 = J.A. | |first1 = J.A. | ||
| Line 26: | Line 26: | ||
|isbn = 085224195X | |isbn = 085224195X | ||
|title = Proceedings of the Sixth Annual Machine Intelligence Workshop | |title = Proceedings of the Sixth Annual Machine Intelligence Workshop | ||
}}</ref> अभिव्यक्ति का उपयोग दूसरे | }}</ref> अभिव्यक्ति का उपयोग दूसरे अनुच्छेद में एक पाद टिप्पणी के साथ किया गया है। जिसमें अनुरोध किया गया है कि "कम्प्यूटेशनल तर्क" निश्चित रूप से 'प्रमेय सिद्ध करने' की तुलना में अपेक्षाकृत वाक्यांश है। कृत्रिम बुद्धिमत्ता की शाखा के लिए जो यंत्रों को कुशलता से बनाने के तरीके से संबंधित है। | ||
1972 में [[एडिनबर्ग विश्वविद्यालय]] में | 1972 में [[एडिनबर्ग विश्वविद्यालय]] में मेटा गणितीय इकाई का नाम कृत्रिम बुद्धिमत्ता विद्यालय में "कम्प्यूटेशनल तर्क विभाग" रखा गया था।<ref name="uni">http://homepages.inf.ed.ac.uk/bundy/ Professor [[Alan Bundy]]'s website</ref> तब इस शब्द का प्रयोग रॉबर्ट एस. बोयर और [[जे स्ट्रॉथर मूर]] द्वारा किया गया था। जिन्होंने 1970 के दशक के प्रारम्भ में विभाग [[कार्यक्रम सत्यापन]] और [[स्वचालित तर्क]] पर अपने कार्य का वर्णन करने के लिए कार्य किया था। उन्होंने कम्प्यूटेशनल तर्क इंक की भी स्थापना की थी। | ||
कम्प्यूटेशनल तर्क तर्क प्रोग्रामिंग से भी जुड़ा हुआ है | कम्प्यूटेशनल तर्क, तर्क प्रोग्रामिंग से भी जुड़ा हुआ है क्योंकि 1970 के दशक के प्रारम्भ में तर्क प्रोग्रामिंग में बहुत से प्रारम्भी कार्य भी एडिनबर्ग में कम्प्यूटेशनल तर्क विभाग में हुए थे। 1990 के दशक के प्रारम्भ में ईयू आधारिक अनुसंधान परियोजना "कॉम्पलॉग" और उत्कृष्टता के संबद्ध नेटवर्क में तर्क प्रोग्रामिंग के विस्तार पर कार्य का वर्णन करने के लिए इसका पुन: उपयोग किया गया था। करज़िस्तोफ एप्ट, जो ईयू आधारिक अनुसंधान परियोजना कॉम्पलॉग-II के समन्वयक थे। इन्होंने 2000 में कम्प्यूटेशनल तर्क पर एसीएम स्थानांतरण की स्थापना करते समय इस शब्द का पुन: उपयोग और सामान्यीकरण किया और इसके पहले प्रधान संपादक बने थे। | ||
== यह भी देखें == | == यह भी देखें == | ||
* तर्क प्रोग्रामिंग | * तर्क प्रोग्रामिंग | ||
* [[स्वचालित प्रमेय साबित करना|स्वचालित प्रमेय सिद्ध करना]] | * [[स्वचालित प्रमेय साबित करना|स्वचालित प्रमेय को सिद्ध करना]] | ||
* प्रारूप सिद्धांत | * प्रारूप सिद्धांत | ||
* [[औपचारिक सत्यापन]] | * [[औपचारिक सत्यापन]] | ||
Revision as of 07:49, 17 May 2023
 | This article needs additional citations for verification. (April 2015) (Learn how and when to remove this template message) |
कम्प्यूटेशनल तर्क प्रदर्शन करने के लिए तर्क का उपयोग या गणना के विषय में कई कारण है। यह कंप्यूटर विज्ञान और इंजीनियरिंग के समान संबंध रखता है क्योंकि गणितीय तर्क गणित के लिए और दार्शनिक तर्क दर्शन के लिए स्वीकृति देते हैं। यह "कंप्यूटर विज्ञान में तर्क" का पर्याय है।
शब्द "कम्प्यूटेशनल तर्क" 2000 में कम्प्यूटेशनल तर्क पर एसीएम स्थानांतरण की स्थापना के साथ प्रमुखता से विकसित हुआ था।[1] हालाँकि, यह शब्द बहुत पहले 1970 में जे.ए. रॉबिन्सन द्वारा प्रस्तुत किया गया था।[2] अभिव्यक्ति का उपयोग दूसरे अनुच्छेद में एक पाद टिप्पणी के साथ किया गया है। जिसमें अनुरोध किया गया है कि "कम्प्यूटेशनल तर्क" निश्चित रूप से 'प्रमेय सिद्ध करने' की तुलना में अपेक्षाकृत वाक्यांश है। कृत्रिम बुद्धिमत्ता की शाखा के लिए जो यंत्रों को कुशलता से बनाने के तरीके से संबंधित है।
1972 में एडिनबर्ग विश्वविद्यालय में मेटा गणितीय इकाई का नाम कृत्रिम बुद्धिमत्ता विद्यालय में "कम्प्यूटेशनल तर्क विभाग" रखा गया था।[3] तब इस शब्द का प्रयोग रॉबर्ट एस. बोयर और जे स्ट्रॉथर मूर द्वारा किया गया था। जिन्होंने 1970 के दशक के प्रारम्भ में विभाग कार्यक्रम सत्यापन और स्वचालित तर्क पर अपने कार्य का वर्णन करने के लिए कार्य किया था। उन्होंने कम्प्यूटेशनल तर्क इंक की भी स्थापना की थी।
कम्प्यूटेशनल तर्क, तर्क प्रोग्रामिंग से भी जुड़ा हुआ है क्योंकि 1970 के दशक के प्रारम्भ में तर्क प्रोग्रामिंग में बहुत से प्रारम्भी कार्य भी एडिनबर्ग में कम्प्यूटेशनल तर्क विभाग में हुए थे। 1990 के दशक के प्रारम्भ में ईयू आधारिक अनुसंधान परियोजना "कॉम्पलॉग" और उत्कृष्टता के संबद्ध नेटवर्क में तर्क प्रोग्रामिंग के विस्तार पर कार्य का वर्णन करने के लिए इसका पुन: उपयोग किया गया था। करज़िस्तोफ एप्ट, जो ईयू आधारिक अनुसंधान परियोजना कॉम्पलॉग-II के समन्वयक थे। इन्होंने 2000 में कम्प्यूटेशनल तर्क पर एसीएम स्थानांतरण की स्थापना करते समय इस शब्द का पुन: उपयोग और सामान्यीकरण किया और इसके पहले प्रधान संपादक बने थे।
यह भी देखें
- तर्क प्रोग्रामिंग
- स्वचालित प्रमेय को सिद्ध करना
- प्रारूप सिद्धांत
- औपचारिक सत्यापन
संदर्भ
- ↑ http://tocl.acm.org official website of ACM Transactions on Computational Logic
- ↑ Robinson, J.A. (1970). "Computational Logic: The Unification Computation". In Meltzer, Bernard; Michie, Donald (eds.). Proceedings of the Sixth Annual Machine Intelligence Workshop. Machine Intelligence. Vol. 6. Edinburgh University Press (published 1971). pp. 63–72. ISBN 085224195X.
- ↑ http://homepages.inf.ed.ac.uk/bundy/ Professor Alan Bundy's website
अग्रिम पठन
- Dov M. Gabbay; Jörg H. Siekmann; John Woods, eds. (2014). Handbook of the History of Logic. Vol. 9: Computational Logic. Elsevier. ISBN 978-0-08-093067-1.
