Institute for Logic, Language and Computation
ઇન્સ્ટિટ્યૂટ ફોર લોજિક, લેંગ્વેજ એન્ડ કમ્પ્યુટેશન (આઇ. એલ. એલ. સી.) એમ્સ્ટરડેમ યુનિવર્સિટીની એક સંશોધન સંસ્થા છે, જેમાં ફેકલ્ટી ઓફ સાયન્સ અને ફેકલ્ટી ઓફ હ્યુમેનિટીઝના સંશોધકો સહયોગ કરે છે. આઇ. એલ. એલ. સી. નું કેન્દ્રિય સંશોધન ક્ષેત્ર એન્કોડિંગ, પ્રસારણ અને માહિતીની સમજણના મૂળભૂત સિદ્ધાંતોનો અભ્યાસ છે. કુદરતી અને ઔપચારિક ભાષાઓ પર ભાર મૂકવામાં આવે છે, પરંતુ છબીઓ અને સંગીત જેવા અન્ય માહિતી વાહકનો પણ અભ્યાસ કરવામાં આવે છે. આઇ. એલ. એલ. સી. ખાતે સંશોધન આંતરશાખાકીય છે, અને તેનો ઉદ્દેશ તર્કશાસ્ત્ર, ગણિત, કોમ્પ્યુટર વિજ્ઞાન, કોમ્પ્યુટેશનલ ભાષાશાસ્ત્ર, જ્ઞાનાત્મક વિજ્ઞાન, કૃત્રિમ બુદ્ધિ અને ફિલસૂફી જેવી માહિતી અને માહિતી પ્રક્રિયા સાથે સંબંધિત વિવિધ શાખાઓની આંતરદૃષ્ટિને એકસાથે લાવવાનો છે. તે ત્રણ જૂથોમાં આયોજિત કરવામાં આવે છે-તર્ક અને ગણતરી (પ્રોજેક્ટ લીડરઃ યેડે વેનેમા), તર્ક અને ભાષા (પ્રોજેક્ટ લીડરઃ રોબર્ટ વાન રુઇજ), અને ભાષા અને ગણતરી (પ્રોજેક્ટ લીડરઃ જેલે ઝુઇડેમા) જે મુખ્ય વિષયો દ્વારા એકીકૃત છે-સમજાવી શકાય તેવું અને નૈતિક AI, કુદરતી ભાષા પ્રક્રિયા માટે અર્થઘટનક્ષમ મશીન લર્નિંગ, જ્ઞાનાત્મક મોડેલિંગ, તર્ક, રમતો અને સામાજિક એજન્સી અને ક્વોન્ટમ માહિતી અને ગણતરી. આઇ. એલ. એલ. સી. ઘણા આંતરરાષ્ટ્રીય સહયોગમાં સામેલ છે, જેમાં અમે સિંઘુઆ યુનિવર્સિટી અને એમ્સ્ટરડેમ યુનિવર્સિટી વચ્ચેની વિશેષ સહયોગી ભાગીદારી, જોઈન્ટ રિસર્ચ સેન્ટર ફોર લોજિક (જે. આર. સી.) ને પ્રકાશિત કરીએ છીએ. તેની સંશોધન પ્રવૃત્તિઓ ઉપરાંત, આઇ. એલ. એલ. સી. પીએચડી પ્રોગ્રામ સાથે લોજિકમાં ગ્રેજ્યુએટ પ્રોગ્રામ અને લોજિકમાં એમ. એસ. સી., લોજિકમાં આંતરરાષ્ટ્રીય ટોચના ક્રમાંકિત અને આંતરશાખાકીય એમ. એસ. સી. ડિગ્રી (એમ. એસ. સી. લોજિક વેબપેજ) ચલાવી રહી છે. સપ્ટેમ્બર 2018માં, સંસ્થાએ સ્થાનિક અને આંતરરાષ્ટ્રીય સ્નાતક વિદ્યાર્થીઓને આવકારતા માઇનર ઇન લોજિક એન્ડ કમ્પ્યુટેશન ખોલ્યું હતું. માઇનર ઇન લોજિક એન્ડ કમ્પ્યુટેશનના કાર્યક્રમમાં 30 ઇસીનો સમાવેશ થાય છે, જે ચાર વિષયો અનુસાર આયોજિત ઉચ્ચ-પ્રોફાઇલ અભ્યાસક્રમોની સૂચિમાંથી પસંદ કરવામાં આવે છેઃ ગણિત, તત્વજ્ઞાન, સૈદ્ધાંતિક કમ્પ્યુટર વિજ્ઞાન અને કોમ્પ્યુટેશનલ ભાષાવિજ્ઞાન અને AI. ઇતિહાસ આઈ. એલ. એલ. સી. ની શરૂઆત 1986માં ઇન્સ્ટિટ્યુટ વૂર તાલ, લોજિકા એન ઇન્ફોર્મેટી (આઈ. ટી. એલ. આઈ.; ઇન્સ્ટિટ્યૂટ ફોર લેંગ્વેજ, લોજિક એન્ડ ઇન્ફર્મેશન) તરીકે થઈ હતી. શરૂઆતમાં, તે ગણિત અને કોમ્પ્યુટર સાયન્સ ફેકલ્ટી અને ફિલોસોફી ફેકલ્ટીના સ્ટાફ સભ્યોની અનૌપચારિક સંસ્થા હતી, અને 1989માં હ્યુમેનિટીઝ ફેકલ્ટીના કોમ્પ્યુટેશનલ ભાષાશાસ્ત્રીઓ તેમાં જોડાયા હતા. 1991માં આ સંસ્થાની સત્તાવાર રીતે યુનિવર્સિટી રિસર્ચ ઇન્સ્ટિટ્યૂટ તરીકે સ્થાપના કરવામાં આવી હતી. 1991-1996 દરમિયાન ગણિત અને કોમ્પ્યુટર વિજ્ઞાન ફેકલ્ટીનું પ્રોગ્રામિંગ સંશોધન જૂથ પણ સંસ્થાનો ભાગ હતું. સામાજિક વિજ્ઞાન ફેકલ્ટીની એપ્લાઇડ લોજિક લેબ 1996 થી 2003 સુધી આઇ. એલ. એલ. સી. નો ભાગ હતી. કોમ્પ્યુટર વિજ્ઞાન અને જ્ઞાનાત્મક વિજ્ઞાનના અન્ય જૂથોએ 1996માં આ સંસ્થા સાથે પોતાને જોડ્યા છે. આઇ. એલ. એલ. સી. વીસમી સદીની શરૂઆતમાં (એલ. ઇ. જે. જેવા સંશોધકો સહિત) એમ્સ્ટર્ડમ તર્ક સંશોધન પરંપરામાં મૂળ ધરાવે છે. બ્રોવર, એરેન્ડ હેયટિંગ અને એવર્ટ વિલેમ બેથ). તે બેથની ઇન્સ્ટિટ્યુટ વૂર ગ્રોન્ડસ્લાજેનડોર્ઝેક એન ફિલોસોફી ડેર એક્ઝેક્ટ વેટન્સચેપન (1952 માં સ્થપાયેલ) ને તેના પુરોગામી તરીકે માને છે. નિર્દેશક સભ્યો અન્ય નોંધપાત્ર સભ્યો અને ભૂતકાળના સભ્યોમાં નીચેનાનો સમાવેશ થાય છેઃ રેનેટ બાર્ટશ હેરી બુહરમેન પીટર વાન એમ્ડે બોસ હેન્કજન હોનિંગ લુકા ઇન્કુરવતી થિયો જાનસેન ડિક ડી જોંગ મિશેલ વાન લામ્બાલજેન બેનેડિક્ટ લોવે રેમકો શા એની ટ્રોએલસ્ટ્રા જુકો વેનેનેન પોલ વિટેની નેધરલેન્ડ્સમાં કોર્ટેવેગ-ડી વ્રીસ ઇન્સ્ટિટ્યૂટ ફોર મેથેમેટિક્સ સેન્ટ્રમ વિસ્કુન્ડે અને ઇન્ફોર્મેટિકા બાહ્ય લિંક્સ સંશોધન સંસ્થાઓ નેધરલેન્ડ્સમાં જ્ઞાનાત્મક વિજ્ઞાન સંશોધન સંસ્થાઓ યુનિવર્સિટી ઓફ એમ્સ્ટરડેમમાં કમ્પ્યુટર વિજ્ઞાન સંસ્થાઓ