Institute for Logic, Language and Computation
द इंस्टीट्यूट फॉर लॉजिक, लैंग्वेज एंड कम्प्यूटेशन (आई. एल. एल. सी.) एम्स्टर्डम विश्वविद्यालय का एक शोध संस्थान है, जिसमें विज्ञान संकाय और मानविकी संकाय के शोधकर्ता सहयोग करते हैं। आई. एल. एल. सी. का केंद्रीय अनुसंधान क्षेत्र एन्कोडिंग, संचरण और सूचना की समझ के मौलिक सिद्धांतों का अध्ययन है। प्राकृतिक और औपचारिक भाषाओं पर जोर दिया जाता है, लेकिन अन्य सूचना वाहक, जैसे कि चित्र और संगीत का भी अध्ययन किया जाता है। आई. एल. एल. सी. में अनुसंधान अंतःविषय है, और इसका उद्देश्य तर्क, गणित, कंप्यूटर विज्ञान, कम्प्यूटेशनल भाषाविज्ञान, संज्ञानात्मक विज्ञान, कृत्रिम बुद्धिमत्ता और दर्शन जैसे सूचना और सूचना प्रसंस्करण से संबंधित विभिन्न विषयों से अंतर्दृष्टि को एक साथ लाना है। यह तीन समूहों में आयोजित किया जाता है-लॉजिक एंड कम्प्यूटेशन (प्रोजेक्ट लीडरः येडे वेनेमा), लॉजिक एंड लैंग्वेज (प्रोजेक्ट लीडरः रॉबर्ट वैन रूइज), और लैंग्वेज एंड कम्प्यूटेशन (प्रोजेक्ट लीडरः जेले ज़ुइडेमा) जो प्रमुख विषयों-एक्सप्लेनेबल एंड एथिकल ए. आई., इंटरप्रेटेबल मशीन लर्निंग फॉर नेचुरल लैंग्वेज प्रोसेसिंग, कॉग्निटिव मॉडलिंग, लॉजिक, गेम्स एंड सोशल एजेंसी और क्वांटम इंफॉर्मेशन एंड कम्प्यूटेशन-द्वारा एकजुट हैं। आई. एल. एल. सी. कई अंतर्राष्ट्रीय सहयोगों में शामिल है, जिनके बीच हम सिंघुआ विश्वविद्यालय और एम्स्टर्डम विश्वविद्यालय के बीच एक विशेष सहयोगी साझेदारी, जॉइंट रिसर्च सेंटर फॉर लॉजिक (जे. आर. सी.) पर प्रकाश डालते हैं। अपनी शोध गतिविधियों के अलावा, आई. एल. एल. सी. पी. एच. डी. कार्यक्रम के साथ लॉजिक में स्नातक कार्यक्रम और लॉजिक में एम. एस. सी., लॉजिक में एक अंतरराष्ट्रीय शीर्ष क्रम और अंतःविषय एम. एस. सी. डिग्री (एम. एस. सी. लॉजिक वेबपेज) चला रहा है। सितंबर 2018 में, संस्थान ने स्थानीय और अंतर्राष्ट्रीय स्नातक छात्रों का स्वागत करते हुए माइनर इन लॉजिक एंड कम्प्यूटेशन खोला। माइनर इन लॉजिक एंड कम्प्यूटेशन के कार्यक्रम में 30 ईसी शामिल हैं, जिन्हें चार विषयों के अनुसार आयोजित हाई-प्रोफाइल पाठ्यक्रमों की सूची से चुना गया हैः गणित, दर्शन, सैद्धांतिक कंप्यूटर विज्ञान और कम्प्यूटेशनल भाषाविज्ञान और एआई। आई. एल. एल. सी. की शुरुआत 1986 में इंस्टीट्यूट वूर ताल, लॉजिका एन इन्फॉर्मेटी (आई. टी. एल. आई.; भाषा, तर्क और सूचना संस्थान) के रूप में हुई थी। शुरुआत में, यह गणित और कंप्यूटर विज्ञान संकाय और दर्शनशास्त्र संकाय के कर्मचारियों का एक अनौपचारिक संघ था, और 1989 में मानविकी संकाय के कम्प्यूटेशनल भाषाविदों द्वारा इसमें शामिल किया गया था। 1991 में संस्थान को आधिकारिक तौर पर एक विश्वविद्यालय अनुसंधान संस्थान के रूप में स्थापित किया गया था। 1991-1996 के दौरान गणित और कंप्यूटर विज्ञान संकाय का प्रोग्रामिंग अनुसंधान समूह भी संस्थान का हिस्सा था। सामाजिक विज्ञान संकाय की अनुप्रयुक्त तर्क प्रयोगशाला 1996 से 2003 तक आई. एल. एल. सी. का हिस्सा थी। कंप्यूटर विज्ञान और संज्ञानात्मक विज्ञान के अन्य समूहों ने 1996 में संस्थान के साथ खुद को जोड़ा है। आई. एल. एल. सी. की जड़ें बीसवीं शताब्दी की शुरुआत में एम्स्टर्डम तर्क अनुसंधान परंपरा में निहित हैं (जिसमें एल. ई. जे. जैसे शोधकर्ता भी शामिल हैं। ब्रोवर, एरेंड हेटिंग और एवर्ट विलेम बेथ)। यह बेथ के इंस्टिट्यूट वूर ग्रॉन्डस्लाजेनडरोएक एन फिलोसोफी डेर एक्जैक्ट वेटेंसचैपन (1952 में स्थापित) को अपने अग्रदूत के रूप में मानता है। निदेशक सदस्य अन्य उल्लेखनीय सदस्यों और पूर्व सदस्यों में शामिल हैंः रेनेट बार्टश हैरी बुहरमैन पीटर वैन एमडे बोस हेंकजन होनिंग लुका इनकुरवती थियो जानसेन डिक डी जोंग मिशेल वैन लैम्बल्जेन बेनेडिक्ट लोवे रेमको शा ऐनी ट्रोएलस्ट्रा जूको वानैनेन पॉल विटानी नीदरलैंड में कॉर्टेवेग-डी व्रीस इंस्टीट्यूट फॉर मैथेमैटिक्स सेंट्रम विस्कुन्डे और इन्फॉर्मेटिका बाहरी लिंक अनुसंधान संस्थान नीदरलैंड में संज्ञानात्मक विज्ञान अनुसंधान संस्थान एम्स्टर्डम विश्वविद्यालय में कंप्यूटर विज्ञान संस्थान लॉजिक संगठन