कम्प्यूटेशनल तर्क: Difference between revisions
(Created page with "{{distinguish|Computability logic}} {{more citations needed|date=April 2015}} गणनाल लॉजिक प्रदर्शन करने के लिए...") |
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 00:08, 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.
