Institute for Logic, Language and Computation
انسٹی ٹیوٹ فار لاجک، لینگویج اینڈ کمپیوٹیشن (آئی ایل ایل سی) یونیورسٹی آف ایمسٹرڈیم کا ایک تحقیقی ادارہ ہے، جس میں فیکلٹی آف سائنس اور فیکلٹی آف ہیومینٹیز کے محققین تعاون کرتے ہیں۔ آئی ایل ایل سی کا مرکزی تحقیقی شعبہ انکوڈنگ، ترسیل اور معلومات کی فہم کے بنیادی اصولوں کا مطالعہ ہے۔ قدرتی اور رسمی زبانوں پر زور دیا جاتا ہے، لیکن دیگر انفارمیشن کیریئرز، جیسے تصاویر اور موسیقی کا بھی مطالعہ کیا جاتا ہے۔ آئی ایل ایل سی میں تحقیق بین الضابطہ ہے، اور اس کا مقصد معلومات اور انفارمیشن پروسیسنگ سے متعلق مختلف شعبوں جیسے منطق، ریاضی، کمپیوٹر سائنس، کمپیوٹیشنل لسانیات، علمی سائنس، مصنوعی ذہانت، اور فلسفہ سے بصیرت کو اکٹھا کرنا ہے۔ یہ تین گروپوں میں منظم کیا جاتا ہے جن میں منطق اور کمپیوٹیشن (پروجیکٹ لیڈر: یڈے وینیما)، منطق اور زبان (پروجیکٹ لیڈر: رابرٹ وان روئج)، اور زبان اور کمپیوٹیشن (پروجیکٹ لیڈر: جیلے زوئیڈیما) کلیدی موضوعات قابل وضاحت اور اخلاقی مصنوعی ذہانت، قدرتی زبان کی پروسیسنگ کے لیے قابل تشریح مشین لرننگ، علمی ماڈلنگ، منطق، کھیل اور سماجی ایجنسی اور کوانٹم انفارمیشن اور کمپیوٹیشن شامل ہیں۔ آئی ایل ایل سی کئی بین الاقوامی تعاون میں شامل ہے جن میں ہم جوائنٹ ریسرچ سینٹر فار لاجک (جے آر سی) کو اجاگر کرتے ہیں، جو سنگہوا یونیورسٹی اور ایمسٹرڈیم یونیورسٹی کے درمیان ایک خصوصی باہمی تعاون پر مبنی شراکت داری ہے۔ اپنی تحقیقی سرگرمیوں کے علاوہ، آئی ایل ایل سی پی ایچ ڈی پروگرام کے ساتھ منطق میں گریجویٹ پروگرام اور منطق میں ایم ایس سی چلا رہا ہے، جو منطق میں بین الاقوامی اعلی درجے کی اور بین الضابطہ ایم ایس سی ڈگری (ایم ایس سی منطق ویب پیج) ہے۔ ستمبر 2018 میں، انسٹی ٹیوٹ نے مقامی اور بین الاقوامی بیچلر طلباء کا خیرمقدم کرتے ہوئے مائنر ان لاجک اینڈ کمپیوٹیشن کھولا۔ مائنر ان لاجک اینڈ کمپیوٹیشن کا پروگرام 30 ای سی پر مشتمل ہے، جو چار موضوعات: ریاضی، فلسفہ، نظریاتی کمپیوٹر سائنس، اور کمپیوٹیشنل لسانیات اور اے آئی کے مطابق منظم ہائی پروفائل کورسز کی فہرست میں سے منتخب کیا گیا ہے۔ آئی ایل ایل سی کا آغاز 1986 میں انسٹی ٹیوٹ وور تال، لاجیکا این انفارمیٹی (آئی ٹی ایل آئی ؛ انسٹی ٹیوٹ فار لینگویج، لاجک اینڈ انفارمیشن) کے طور پر ہوا۔ ابتدا میں، یہ فیکلٹی آف میتھمیٹکس اینڈ کمپیوٹر سائنس اور فیکلٹی آف فلاسفی کے عملے کے ارکان کی ایک غیر رسمی انجمن تھی، اور 1989 میں فیکلٹی آف ہیومینٹیز کے کمپیوٹیشنل ماہر لسانیات نے اس میں شمولیت اختیار کی۔ 1991 میں انسٹی ٹیوٹ کو باضابطہ طور پر یونیورسٹی ریسرچ انسٹی ٹیوٹ کے طور پر قائم کیا گیا۔ 1991-1996 کے دوران فیکلٹی آف میتھمیٹکس اینڈ کمپیوٹر سائنس کا پروگرامنگ ریسرچ گروپ بھی انسٹی ٹیوٹ کا حصہ تھا۔ فیکلٹی آف سوشل سائنسز کی اپلائیڈ لاجک لیب 1996 سے 2003 تک آئی ایل ایل سی کا حصہ تھی۔ کمپیوٹر سائنس اور علمی سائنس کے دیگر گروپوں نے 1996 میں خود کو انسٹی ٹیوٹ سے منسلک کیا ہے۔ آئی ایل ایل سی کی جڑیں ایمسٹرڈیم منطق ریسرچ روایت میں ہیں جو بیسویں صدی کے اوائل کی ہیں (بشمول ایل ای جے جیسے محققین۔ بروور، آرنڈ ہیٹنگ، اور ایورٹ ولیم بیت)۔ یہ بیتھ کے انسٹی ٹیوٹ وور گرونڈسلجینڈرزوک این فلوسوفی ڈیر ایکزیکٹ ویٹنسچپن (1952 میں قائم کیا گیا) کو اپنا پیش خیمہ سمجھتا ہے۔ ڈائریکٹرز ممبران دیگر قابل ذکر ممبران اور ماضی کے اراکین میں شامل ہیں: رینیٹ بارٹش ہیری بوہرمین پیٹر وین ایمڈے بوس ہینکجن ہوننگ لوکا انکوروتی تھیو جانسن ڈک ڈی جونگ مشیل وین لامبلجن بینیڈیکٹ لووی ریمکو شا این ٹرویلسٹرا جوکو وانینن پال ویتانی بھی دیکھیں کورٹویگ-ڈی وریس انسٹی ٹیوٹ برائے ریاضی سینٹرم وسکنڈے اور انفارمیٹکا بیرونی لنکس نیدرلینڈ میں تحقیقی ادارے علمی سائنس تحقیقی ادارے نیدرلینڈ میں کمپیوٹر سائنس کے ادارے ایمسٹرڈیم کی منطقی تنظیمیں یونیورسٹی