Robert Kowalski
રોબર્ટ એન્થની કોવલ્સ્કી (જન્મ 15 મે, 1941) એક અમેરિકન-બ્રિટિશ તર્કશાસ્ત્રી અને કોમ્પ્યુટર વૈજ્ઞાનિક છે, જેમના સંશોધનનો સંબંધ કમ્પ્યુટિંગના માનવ-લક્ષી નમૂનાઓ અને માનવ વિચારસરણીના કોમ્પ્યુટેશનલ નમૂનાઓ બંને વિકસાવવા સાથે છે. તેમણે પોતાની કારકિર્દીનો મોટાભાગનો સમય યુનાઇટેડ કિંગડમમાં વિતાવ્યો છે. શિક્ષણ તેમણે શિકાગો યુનિવર્સિટી, બ્રિજપોર્ટ યુનિવર્સિટી (ગણિતમાં બી. એ., 1963), સ્ટેનફોર્ડ યુનિવર્સિટી (ગણિતમાં એમ. એસ. સી., 1966), વોર્સો યુનિવર્સિટી અને એડિનબર્ગ યુનિવર્સિટી (કોમ્પ્યુટર સાયન્સમાં પીએચડી, 1970) માં શિક્ષણ મેળવ્યું હતું. તેઓ એડિનબર્ગ યુનિવર્સિટી (1970-75) માં રિસર્ચ ફેલો હતા અને 1975 થી ઇમ્પિરિયલ કોલેજ લંડનના કોમ્પ્યુટિંગ વિભાગમાં છે, 1982 માં કોમ્પ્યુટેશનલ લોજિકમાં ચેર પ્રાપ્ત કરી અને 1999 માં એમેરિટસ પ્રોફેસર બન્યા. તેમણે ડોનાલ્ડ કુએનર સાથે એસ. એલ.-રિઝોલ્યુશન અને જોડાણ ગ્રાફ પ્રૂફ પ્રક્રિયા બંને વિકસાવીને સ્વચાલિત પ્રમેય સાબિત કરવાના ક્ષેત્રમાં તેમનું સંશોધન શરૂ કર્યું. તેમણે એસ. એલ. ડી. રિઝોલ્યુશન અને હોર્ન કલમોનું પ્રક્રિયાગત અર્થઘટન વિકસાવ્યું, જે તર્ક પ્રોગ્રામિંગમાં પછાત તર્કના કાર્યકારી શબ્દાર્થને આધાર આપે છે. માર્ટેન વેન એમ્ડેન સાથે, તેમણે હોર્ન કલમોનું ન્યૂનતમ મોડેલ અને ફિક્સપોઇન્ટ સિમેન્ટિક્સ પણ વિકસાવ્યું, જે તર્ક પ્રોગ્રામિંગના તાર્કિક સિમેન્ટિક્સને આધાર આપે છે. મારેક સેર્ગોટ સાથે, તેમણે ઇવેન્ટ કેલ્ક્યુલસ અને કાનૂની તર્ક માટે લોજિક પ્રોગ્રામિંગનો ઉપયોગ બંને વિકસાવ્યા. ફરીબા સદરી સાથે, તેમણે એક એજન્ટ મોડેલ વિકસાવ્યું જેમાં માન્યતાઓને તર્ક કાર્યક્રમો દ્વારા રજૂ કરવામાં આવે છે અને લક્ષ્યોને અખંડિતતાના અવરોધો દ્વારા રજૂ કરવામાં આવે છે. કોવલ્સ્કી એ અબડક્ટીવ લોજિક પ્રોગ્રામિંગના વિકાસકર્તાઓમાંના એક હતા, જેમાં લોજિક પ્રોગ્રામ્સને અખંડિતતાના અવરોધો અને અવ્યાખ્યાયિત, અસ્પષ્ટ આગાહીઓ સાથે વધારવામાં આવે છે. આ કાર્ય ફાન મિન્હ ડુંગ અને ફ્રાન્સેસ્કા ટોની સાથે પ્રદર્શન તરફ દોરી ગયું કે મૂળભૂત તર્ક માટેના મોટાભાગના તર્કશાસ્ત્રને ધારણા-આધારિત દલીલના વિશેષ કિસ્સાઓ તરીકે ગણી શકાય. તેમના 1979 ના પુસ્તક, લોજિક ફોર પ્રોબ્લેમ સોલ્વિંગમાં, કોવલ્સ્કી દલીલ કરે છે કે તાર્કિક અનુમાન સમસ્યા હલ કરવાનું એક સરળ અને શક્તિશાળી મોડેલ પ્રદાન કરે છે જેનો ઉપયોગ મનુષ્ય અને કમ્પ્યુટર બંને દ્વારા કરી શકાય છે. તેમના 2011 ના પુસ્તક, કોમ્પ્યુટેશનલ લોજિક એન્ડ હ્યુમન થિંકિંગ-હાઉ ટુ બી આર્ટિફિસિયલી ઇન્ટેલિજન્ટમાં, તેઓ દલીલ કરે છે કે કોમ્પ્યુટેશનલ લોજિકનો ઉપયોગ સામાન્ય લોકોને તેમની કુદરતી ભાષા સંચાર કુશળતામાં સુધારો કરવામાં મદદ કરી શકે છે, અને નિર્ણય સિદ્ધાંત સાથે સંયોજનમાં, તેનો ઉપયોગ તેમની વ્યવહારુ સમસ્યા હલ કરવાની ક્ષમતાઓને સુધારવા માટે કરી શકાય છે. ફરીબા સદરી સાથે સંયુક્ત કાર્યમાં, તેમણે તર્ક અને કમ્પ્યુટર ભાષા એલ. પી. એસ. (લોજિક પ્રોડક્શન સિસ્ટમ્સ) વિકસાવી છે, જે કોમ્પ્યુટેશનલ તર્ક પર તેમના અગાઉના મોટાભાગના કાર્યને એકીકૃત કરે છે. તેમણે આર્ટિફિશિયલ ઇન્ટેલિજન્સના વિકાસમાં તેમનો રસ ચાલુ રાખ્યો છે. સન્માન અને પુરસ્કારો કોવલ્સ્કીને 1991માં અમેરિકન એસોસિએશન ફોર આર્ટિફિશિયલ ઇન્ટેલિજન્સ, 1999માં યુરોપિયન કોઓર્ડિનેટિંગ કમિટી ફોર આર્ટિફિશિયલ ઇન્ટેલિજન્સ અને 2001માં એસોસિએશન ફોર કમ્પ્યુટિંગ મશીનરીના ફેલો તરીકે ચૂંટવામાં આવ્યા હતા. 2011 માં, તેમને સંશોધન શ્રેષ્ઠતા માટે IJCEI એવોર્ડ મળ્યો, "જ્ઞાન પ્રતિનિધિત્વ અને સમસ્યાનું નિરાકરણ માટેના તર્કમાં તેમના યોગદાન માટે, જેમાં સ્વચાલિત પ્રમેય સાબિત કરવા અને તર્ક પ્રોગ્રામિંગ પરના તેમના અગ્રણી કાર્યનો સમાવેશ થાય છે". 2012 માં, તેમને 2012-2014 માટે પ્રખ્યાત વૈજ્ઞાનિકો માટે જાપાન સોસાયટી ફોર ધ પ્રમોશન ઓફ સાયન્સ એવોર્ડ મળ્યો હતો. 2021 માં, તેમને બ્રિટિશ રાષ્ટ્રીયતા અધિનિયમના ઔપચારિકરણ અને વિશ્લેષણમાં તર્ક પ્રોગ્રામિંગના ઉપયોગ પરના તેમના કાર્યની સ્વીકૃતિમાં ફરીબા સદરી અને મારેક સેર્ગોટ સાથેના તેમના કાર્ય માટે ઉદ્ઘાટન કોડએક્સ પુરસ્કાર મળ્યો હતો. 1986માં કોમ્યુનિકેશન્સ ઓફ ધ એસીએમ જર્નલમાં પ્રકાશિત લેખકોનો મૂળ લેખ, "ધ બ્રિટિશ નેશનાલિટી એક્ટ એઝ અ લોજિક પ્રોગ્રામ", કોમ્પ્યુટેશનલ કાયદામાં પ્રથમ અને સૌથી જાણીતા કાર્યોમાંનું એક છે, અને આ ક્ષેત્રમાં સૌથી વધુ ટાંકવામાં આવેલા કાગળોમાંથી એક છે ". પુસ્તક લોજિક ફોર પ્રોબ્લેમ સોલ્વિંગ, નોર્થ-હોલેન્ડ, એલ્સેવિયર, 1979. કોમ્પ્યુટેશનલ લોજિક એન્ડ હ્યુમન થિંકિંગઃ કેવી રીતે કૃત્રિમ રીતે બુદ્ધિશાળી બનવું, કેમ્બ્રિજ યુનિવર્સિટી પ્રેસ, 2011. ઇવેન્ટ કેલ્ક્યુલસ લોજિક પ્રોગ્રામિંગ પ્રોલોગ રેફરન્સ બાહ્ય લિંક્સ રોબર્ટ કોવલ્સ્કીનું હોમ પેજ બાયોગ્રાફી બાયોગ્રાફી (પીડીએફ) બાયોગ્રાફી એસે ઇન્ટરવ્યૂ એપ્રિલ 2020 1941 જન્મ જીવંત લોકો ઇંગ્લેન્ડમાં અમેરિકન ઇમિગ્રન્ટ્સ બ્રિટિશ તર્કશાસ્ત્રીઓ બ્રિટિશ કમ્પ્યુટર વૈજ્ઞાનિકો બ્રિજપોર્ટના લોકો, કનેક્ટિકટ યુનિવર્સિટી ઓફ બ્રિજપોર્ટના ભૂતપૂર્વ વિદ્યાર્થીઓ સ્ટેનફોર્ડ યુનિવર્સિટીના ભૂતપૂર્વ વિદ્યાર્થીઓ યુનિવર્સિટી ઓફ શિકાગો ભૂતપૂર્વ વિદ્યાર્થીઓ યુનિવર્સિટી ઓફ વોર્સોના ભૂતપૂર્વ વિદ્યાર્થીઓ એડિનબર્ગ યુનિવર્સિટીના ભૂતપૂર્વ વિદ્યાર્થીઓ એસોસીએશન ફોર કમ્પ્યુટિંગ મશીનરીના સાથીઓ ઔપચારિક પદ્ધતિઓના લોકો લોજિક પ્રોગ્રામિંગ સંશોધકો બ્રિટિશ ફિલોસોફર્સ પોલિશ મૂળના અમેરિકન લોકો