कार्ल हेविट

1960 के दशक के अंत में विकसित Planner प्रोग्रामिंग भाषा ने ज्ञान का एक प्रक्रियात्मक एम्बेडिंग पेश किया जिसने कृत्रिम बुद्धिमत्ता में मौजूदा तार्किक दृष्टिकोणों का विकल्प प्रदान किया। यह परियोजना कार्ल एड़ी हेविट के करियर में एक केंद्रीय स्तंभ के रूप में कार्य करती है, जो एक कंप्यूटर वैज्ञानिक और गणितज्ञ थे, जिनका शोध तीन दशकों से अधिक समय तक चला और जिसने समवर्ती कंप्यूटिंग और तर्क प्रोग्रामिंग के विकास को प्रभावित किया।

एमआईटी में शैक्षणिक आधार

कार्ल एड़ी हेविट ने 1971 में मैसाचुसेट्स इंस्टीट्यूट ऑफ टेक्नोलॉजी (एमआईटी) से गणित में पीएचडी प्राप्त की। उनके डॉक्टरेट पर्यवेक्षकों में सीमोर पैपर्ट, मार्विन मिन्स्की और माइक पैटर्सन शामिल थे। स्नातक होने के बाद, वे एमआईटी के इलेक्ट्रिकल इंजीनियरिंग और कंप्यूटर साइंस विभाग में संकाय में शामिल हो गए, जहाँ उन्होंने 1999–2000 शैक्षणिक वर्ष तक पढ़ाया। सेवानिवृत्ति के बाद, उन्हें विभाग में एमेरिटस का दर्जा दिया गया। अपने कार्यकाल के दौरान, उन्होंने गुल आगा, हेनरी बेकर, विलियम क्लिंगर, आइरीन ग्रीफ और अकिनोरी योनेज़ावा सहित कई डॉक्टरेट छात्रों का मार्गदर्शन किया।

Planner का विकास

एमआईटी आर्टिफिशियल इंटेलिजेंस लेबोरेटरी में अपने समय के दौरान, हेविट ने Planner पर काम किया, जो रोबोट में स्वचालित योजना और प्रमेय साबित करने के लिए डिज़ाइन की गई एक भाषा थी। जॉन मैकार्थी जैसे शोधकर्ताओं द्वारा पसंद किए गए पिछले तार्किक तरीकों के विपरीत, Planner ने दावों और लक्ष्यों से पैटर्न-निर्देशित आह्वान का उपयोग किया। भाषा का एक उपसमुच्चय, माइक्रो-प्लानर, गेरी ससमन, ड्रू मैकडरमोट, यूजीन चारनियाक और टेरी विनोग्राड द्वारा कार्यान्वित किया गया था, जिसने बाद में SHRDLU जैसे कार्यक्रमों और प्राकृतिक भाषा कहानी समझ के विभिन्न प्रयोगों को संचालित किया। हेविट ने बाद में मडल पर सहयोग किया, जो Planner अवधारणाओं के कार्यान्वयन को परिष्कृत करने के लिए अभिप्रेत Lisp का एक विस्तारित संस्करण था।

एक्टर मॉडल और समवर्ती कंप्यूटिंग

1972 में, हेविट ने अपने स्नातक छात्रों के साथ समवर्ती कंप्यूटिंग का एक्टर मॉडल विकसित करने के बाद अपना ध्यान स्थानांतरित किया। पीटर बिशप और रिचर्ड स्टीगर के साथ सह-लिखित 1973 के पेपर में औपचारिक रूप से पेश किया गया, मॉडल ने समानांतर प्रक्रियाओं के लिए एक नया ढांचा प्रस्तावित किया। इस काम ने स्कीम प्रोग्रामिंग भाषा के निर्माण को प्रभावित किया, जहाँ शोधकर्ताओं ससमन और स्टील ने नोट किया कि उनके एक्टर निर्माण के लिए ऑपरेटर लैम्ब्डा कैलकुलस ऑपरेटर के साथ पहचान साझा करता है। एक्टर मॉडल ने बाद में ई, साल्सा और एक्टरस्क्रिप्ट सहित विभिन्न भाषाओं के विकास के साथ-साथ सैद्धांतिक π-कैलकुलस को सूचित किया।

पेशेवर आउटरीच और बाद का शोध

हेविट ने एक अंतरराष्ट्रीय शैक्षणिक उपस्थिति बनाए रखी, सितंबर 1989 से अगस्त 1990 तक जापान में केयो विश्वविद्यालय में आईबीएम चेयर विजिटिंग प्रोफेसर के रूप में कार्य किया। उन्होंने स्टैनफोर्ड विश्वविद्यालय में विजिटिंग प्रोफेसरशिप भी संभाली। शोध के अपने अंतिम दशक में, उन्होंने असंगति मजबूती पर ध्यान केंद्रित किया, जिसका उद्देश्य सूचना प्रणालियों के लिए कठोर नींव बनाना था जो लगातार असंगत डेटा को संभालती हैं। उनके शैक्षणिक उत्पादन में खुली सूचना प्रणाली, पैराकॉन्सिसटेंट लॉजिक, क्लाउड कंप्यूटिंग और संगठनात्मक मल्टी-एजेंट सिस्टम जैसे विविध क्षेत्र शामिल थे।

त्वरित तथ्य

- जन्म: 1944 - मृत्यु: 2022, एप्टोस - नागरिकता: संयुक्त राज्य अमेरिका - शिक्षा: मैसाचुसेट्स इंस्टीट्यूट ऑफ टेक्नोलॉजी - प्राथमिक क्षेत्र: कंप्यूटर विज्ञान - उल्लेखनीय कार्य: Planner - शैक्षणिक पर्यवेक्षक: मार्विन मिन्स्की - विजिटिंग प्रोफेसर: केयो विश्वविद्यालय

पाठकों द्वारा पूछे गए प्रश्न

### Planner भाषा का उद्देश्य क्या था?

Planner को स्वचालित योजना और प्रमेय साबित करने के लिए डिज़ाइन किया गया था, विशेष रूप से कृत्रिम बुद्धिमत्ता और रोबोटिक्स में उपयोग के लिए।

### हेविट ने समवर्ती प्रोग्रामिंग में कैसे योगदान दिया?

उन्होंने एक्टर मॉडल विकसित किया, जो समवर्ती कंप्यूटिंग के लिए एक औपचारिक प्रणाली है जिसने कई प्रोग्रामिंग भाषाओं और π-कैलकुलस के विकास को प्रभावित किया।