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 জন্ম জীবিত মানুষ ইংল্যান্ডে মার্কিন অভিবাসী ব্রিটিশ যুক্তিবিদ ব্রিটিশ কম্পিউটার বিজ্ঞানী ব্রিজপোর্ট, কানেকটিকাট বিশ্ববিদ্যালয়ের ব্রিজপোর্টের প্রাক্তন শিক্ষার্থী স্ট্যানফোর্ড বিশ্ববিদ্যালয়ের প্রাক্তন শিক্ষার্থী ওয়ারশ বিশ্ববিদ্যালয়ের প্রাক্তন শিক্ষার্থী এডিনবার্গ বিশ্ববিদ্যালয়ের প্রাক্তন শিক্ষার্থী অ্যাসোসিয়েশন ফর কম্পিউটিং মেশিনারি ফর্মাল মেথডসের ফেলো লোক লজিক প্রোগ্রামিং গবেষকরা ব্রিটিশ দার্শনিক পোলিশ বংশোদ্ভূত আমেরিকান মানুষ