Robert Kowalski
ராபர்ட் அந்தோனி கோவல்ஸ்கி (பிறப்பு 15 மே 1941) ஒரு அமெரிக்க-பிரிட்டிஷ் தர்க்கவாதி மற்றும் கணினி விஞ்ஞானி ஆவார், அவரது ஆராய்ச்சி மனித-சார்ந்த கணினி மாதிரிகள் மற்றும் மனித சிந்தனையின் கணக்கீட்டு மாதிரிகள் இரண்டையும் உருவாக்குவதில் அக்கறை கொண்டுள்ளது. அவர் தனது தொழில் வாழ்க்கையின் பெரும்பகுதியை ஐக்கிய இராச்சியத்தில் கழித்துள்ளார். சிகாகோ பல்கலைக்கழகம், பிரிட்ஜ்போர்ட் பல்கலைக்கழகம் (கணிதத்தில் பி. ஏ., 1963), ஸ்டான்போர்ட் பல்கலைக்கழகம் (கணிதத்தில் எம். எஸ்சி, 1966), வார்சா பல்கலைக்கழகம் மற்றும் எடின்பர்க் பல்கலைக்கழகம் (கணினி அறிவியலில் முனைவர் பட்டம், 1970) ஆகியவற்றில் கல்வி பயின்றார். எடின்பர்க் பல்கலைக்கழகத்தில் (1970-75) ஆராய்ச்சியாளராக இருந்த அவர், 1975 முதல் லண்டன் இம்பீரியல் கல்லூரியின் கம்ப்யூட்டிங் துறையில் உள்ளார், 1982 இல் கம்ப்யூடேஷனல் லாஜிக்கில் ஒரு நாற்காலியைப் பெற்றார், 1999 இல் எமிரிட்டஸ் பேராசிரியராக ஆனார். தானியங்கி தேற்றத்தை நிரூபிக்கும் துறையில் தனது ஆராய்ச்சியைத் தொடங்கினார், டொனால்ட் குயெனருடன் எஸ். எல்-தெளிவுத்திறன் மற்றும் இணைப்பு வரைபட ஆதார செயல்முறை ஆகிய இரண்டையும் உருவாக்கினார். தர்க்க நிரலாக்கத்தில் பின்தங்கிய பகுத்தறிவின் செயல்பாட்டு சொற்பொருள்களுக்கு அடித்தளமாக இருக்கும் ஹார்ன் உட்பிரிவுகளின் நடைமுறை விளக்கத்தையும் எஸ். எல். டி தீர்மானத்தையும் அவர் உருவாக்கினார். மார்ட்டின் வான் எம்டனுடன், தர்க்க நிரலாக்கத்தின் தர்க்கரீதியான சொற்பொருள்களுக்கு அடித்தளமாக இருக்கும் ஹார்ன் உட்பிரிவுகளின் குறைந்தபட்ச மாதிரி மற்றும் ஃபிக்ஸ்பாயிண்ட் சொற்பொருள்களையும் அவர் உருவாக்கினார். மாரேக் செர்கோடுடன், அவர் நிகழ்வு கால்குலஸ் மற்றும் சட்டரீதியான பகுத்தறிவுக்கு தர்க்க நிரலாக்கத்தின் பயன்பாடு ஆகிய இரண்டையும் உருவாக்கினார். ஃபரீபா சத்ரியுடன், அவர் ஒரு முகவர் மாதிரியை உருவாக்கினார், அதில் நம்பிக்கைகள் தர்க்க திட்டங்களால் குறிப்பிடப்படுகின்றன மற்றும் குறிக்கோள்கள் ஒருமைப்பாட்டு கட்டுப்பாடுகளால் குறிப்பிடப்படுகின்றன. அப்டக்டிவ் லாஜிக் புரோகிராமிங்கின் டெவலப்பர்களில் ஒருவரான கோவல்ஸ்கி, இதில் லாஜிக் நிரல்கள் ஒருமைப்பாடு கட்டுப்பாடுகள் மற்றும் வரையறுக்கப்படாத, அப்டோகிபிள் பிரடிகேட்டுகளுடன் அதிகரிக்கப்படுகின்றன. இயல்புநிலை பகுத்தறிவுக்கான பெரும்பாலான தர்க்கங்கள் அனுமான அடிப்படையிலான வாதத்தின் சிறப்பு நிகழ்வுகளாகக் கருதப்படலாம் என்பதை பான் மின் துங் மற்றும் பிரான்செஸ்கா டோனி ஆகியோருடன் இந்த வேலை நிரூபிக்க வழிவகுத்தது. கோவல்ஸ்கி தனது 1979 புத்தகத்தில், சிக்கலைத் தீர்ப்பதற்கான தர்க்கம், தர்க்கரீதியான அனுமானம் மனிதர்கள் மற்றும் கணினிகளால் பயன்படுத்தக்கூடிய சிக்கலைத் தீர்ப்பதற்கான எளிய மற்றும் சக்திவாய்ந்த மாதிரியை வழங்குகிறது என்று வாதிடுகிறார். 2011 ஆம் ஆண்டு தனது புத்தகமான கம்ப்யூடேஷனல் லாஜிக் அண்ட் ஹ்யூமன் திங்கிங்-ஹவ் டு பி ஆர்டிஃபிஷியலி இன்டெலிஜென்ட் என்ற புத்தகத்தில், கம்ப்யூடேஷனல் லாஜிக்கின் பயன்பாடு சாதாரண மக்கள் தங்கள் இயல்பான மொழி தகவல்தொடர்பு திறன்களை மேம்படுத்த உதவும் என்றும், முடிவெடுக்கும் கோட்பாட்டுடன் இணைந்து, அவர்களின் நடைமுறை சிக்கல் தீர்க்கும் திறன்களை மேம்படுத்த இது பயன்படுத்தப்படலாம் என்றும் அவர் வாதிடுகிறார். ஃபரீபா சத்ரியுடன் கூட்டுப்பணியில், அவர் தர்க்கம் மற்றும் கணினி மொழி எல்பிஎஸ் (லாஜிக் புரொடக்ஷன் சிஸ்டம்ஸ்) ஐ உருவாக்கியுள்ளார், இது கணக்கீட்டு தர்க்கம் குறித்த அவரது முந்தைய பணியின் பெரும்பகுதியை ஒருங்கிணைக்கிறது. செயற்கை நுண்ணறிவின் வளர்ச்சியில் அவர் தனது ஆர்வத்தைத் தொடர்ந்தார். கவுரவங்கள் மற்றும் விருதுகள் கோவல்ஸ்கி 1991 இல் செயற்கை நுண்ணறிவுக்கான அமெரிக்க சங்கத்தின் உறுப்பினராகவும், 1999 இல் செயற்கை நுண்ணறிவுக்கான ஐரோப்பிய ஒருங்கிணைப்புக் குழுவின் உறுப்பினராகவும், 2001 இல் கம்ப்யூட்டிங் இயந்திரங்களுக்கான சங்கத்தின் உறுப்பினராகவும் தேர்ந்தெடுக்கப்பட்டார். 2011 ஆம் ஆண்டில், ஆராய்ச்சி சிறப்புக்கான ஐ. ஜே. சி. ஏ. ஐ விருதைப் பெற்றார், "அறிவு பிரதிநிதித்துவம் மற்றும் சிக்கலைத் தீர்ப்பதற்கான தர்க்கத்திற்கான அவரது பங்களிப்புகளுக்காக, தானியங்கி தேற்றத்தை நிரூபித்தல் மற்றும் தர்க்க நிரலாக்கம் குறித்த அவரது முன்னோடி பணி உட்பட". 2012 ஆம் ஆண்டில், பிரபல விஞ்ஞானிகளுக்கான ஜப்பான் சொசைட்டி ஃபார் தி புரமோஷன் ஆஃப் சயின்ஸ் விருதைப் பெற்றார். 2021 ஆம் ஆண்டில், பிரிட்டிஷ் தேசியச் சட்டத்தின் முறைப்படுத்தல் மற்றும் பகுப்பாய்விற்கு தர்க்க நிரலாக்கத்தைப் பயன்படுத்துவதில் அவர்கள் செய்த பணியை அங்கீகரிப்பதற்காக ஃபரீபா சத்ரி மற்றும் மாரேக் செர்கோட் ஆகியோருடன் இணைந்து பணியாற்றியதற்காக அவர் தொடக்க கோட்எக்ஸ் பரிசைப் பெற்றார். 1986 ஆம் ஆண்டில் கம்யூனிகேஷன்ஸ் ஆஃப் தி ஏ. சி. எம் இதழில் வெளியிடப்பட்ட "தி பிரிட்டிஷ் நேஷனாலிட்டி ஆக்ட் ஆஸ் எ லாஜிக் புரோகிராம்" என்ற ஆசிரியர்களின் அடிப்படை கட்டுரை, கணக்கீட்டுச் சட்டத்தில் முதல் மற்றும் நன்கு அறியப்பட்ட படைப்புகளில் ஒன்றாகும், மேலும் இந்தத் துறையில் மிகவும் பரவலாக மேற்கோள் காட்டப்பட்ட கட்டுரைகளில் ஒன்றாகும் ". புத்தகங்கள் சிக்கலைத் தீர்ப்பதற்கான தர்க்கம், வடக்கு-ஹாலந்து, எல்செவியர், 1979. கணக்கீட்டு தர்க்கம் மற்றும் மனித சிந்தனைஃ செயற்கை நுண்ணறிவுடன் இருப்பது எப்படி, கேம்பிரிட்ஜ் யுனிவர்சிட்டி பிரஸ், 2011. மேலும் காண்க நிகழ்வு கால்குலஸ் லாஜிக் புரோகிராமிங் புரோலாக் குறிப்புகள் வெளிப்புற இணைப்புகள் ராபர்ட் கோவல்ஸ்கியின் முகப்பு பக்கம் சுயசரிதை சுயசரிதை (பி. டி. எஃப்) சுயசரிதை கட்டுரை நேர்காணல் ஏப்ரல் 2020 1941 பிறப்புகள் உயிருள்ள மக்கள் அமெரிக்கர்கள் இங்கிலாந்துக்கு குடியேறியவர்கள் பிரிட்டிஷ் தர்க்கவாதிகள் பிரிட்டிஷ் கணினி விஞ்ஞானிகள் லண்டன் இம்பீரியல் கல்லூரியின் கல்வியாளர்கள் பிரிட்ஜ்போர்ட், கனெக்டிகட் பல்கலைக்கழகத்தின் பிரிட்ஜ்போர்ட் முன்னாள் மாணவர்கள் ஸ்டான்போர்ட் பல்கலைக்கழகத்தின் முன்னாள் மாணவர்கள் வார்சாவின் சிகாகோ முன்னாள் மாணவர்கள் எடின்பர்க் பல்கலைக்கழகத்தின் முன்னாள் மாணவர்கள் எடின்பர்க் பல்கலைக்கழகத்தின் கல்வியாளர்கள் எடின்பர்க் பல்கலைக்கழகத்தின் முன்னாள் மாணவர்கள் முறையான கணினி இயந்திர முறைகள் சங்கத்தின் கூட்டாளிகள் மக்கள் லாஜிக் புரோகிராமிங் ஆராய்ச்சியாளர்கள் பிரிட்டிஷ் தத்துவவாதிகள் போலந்து வம்சாவளியைச் சேர்ந்த அமெரிக்க மக்கள்