Robert Kowalski
رابرٹ انتھونی کوولسکی (پیدائش 15 مئی 1941) ایک امریکی-برطانوی منطق اور کمپیوٹر سائنسدان ہیں، جن کی تحقیق کا تعلق کمپیوٹنگ کے انسانی پر مبنی ماڈل اور انسانی سوچ کے کمپیوٹیشنل ماڈل دونوں کو تیار کرنے سے ہے۔ انہوں نے اپنے کیریئر کا زیادہ تر حصہ برطانیہ میں گزارا ہے۔ انہوں نے شکاگو یونیورسٹی، برج پورٹ یونیورسٹی (ریاضی میں بی اے، 1963)، اسٹینفورڈ یونیورسٹی (ریاضی میں ایم ایس سی، 1966)، وارسا یونیورسٹی اور ایڈنبرا یونیورسٹی (کمپیوٹر سائنس میں پی ایچ ڈی، 1970) سے تعلیم حاصل کی۔ کیریئر وہ ایڈنبرا یونیورسٹی (1970-75) میں ریسرچ فیلو تھے اور 1975 سے امپیریل کالج لندن کے شعبہ کمپیوٹنگ میں ہیں، انہوں نے 1982 میں کمپیوٹیشنل منطق میں کرسی حاصل کی اور 1999 میں ایمریٹس پروفیسر بنے۔ انہوں نے خودکار تھیوریم ثابت کرنے کے میدان میں اپنی تحقیق کا آغاز کیا، ڈونلڈ کوہنر کے ساتھ ایس ایل ریزولوشن اور کنکشن گراف پروف طریقہ کار دونوں کو تیار کیا۔ انہوں نے ایس ایل ڈی ریزولوشن اور ہارن شقوں کی طرز عمل کی تشریح تیار کی، جو منطق پروگرامنگ میں پسماندہ استدلال کے آپریشنل سیمنٹکس کو تقویت دیتی ہے۔ مارٹن وین ایمڈن کے ساتھ، اس نے ہارن شقوں کا کم سے کم ماڈل اور فکس پوائنٹ سیمنٹکس بھی تیار کیا، جو منطق پروگرامنگ کے منطقی سیمنٹکس کو تقویت دیتا ہے۔ ماریک سرگٹ کے ساتھ، اس نے ایونٹ کیلکولس اور قانونی استدلال پر منطق پروگرامنگ کے اطلاق دونوں کو تیار کیا۔ فریبہ سدری کے ساتھ، اس نے ایک ایجنٹ ماڈل تیار کیا جس میں عقائد کی نمائندگی منطق کے پروگراموں کے ذریعے کی جاتی ہے اور اہداف کی نمائندگی سالمیت کی رکاوٹوں کے ذریعے کی جاتی ہے۔ کوولسکی ابڈوکٹو منطق پروگرامنگ کے ڈویلپرز میں سے ایک تھے، جس میں منطق کے پروگراموں کو سالمیت کی رکاوٹوں اور غیر متعین، ابڈوسیبل پیش گوئیوں کے ساتھ بڑھایا جاتا ہے۔ اس کام کی وجہ سے فین منہ ڈنگ اور فرانسیسکا ٹونی کے ساتھ یہ مظاہرہ ہوا کہ پہلے سے طے شدہ استدلال کے لیے زیادہ تر منطقوں کو مفروضے پر مبنی دلیل کے خصوصی معاملات کے طور پر سمجھا جا سکتا ہے۔ اپنی 1979 کی کتاب، لاجک فار پروبلم سولونگ میں، کوولسکی کا استدلال ہے کہ منطقی تخمینہ مسئلہ حل کرنے کا ایک آسان اور طاقتور نمونہ فراہم کرتا ہے جسے انسان اور کمپیوٹر دونوں استعمال کر سکتے ہیں۔ اپنی 2011 کی کتاب، کمپیوٹیشنل لاجک اینڈ ہیومن تھنکنگ-ہاؤ ٹو بی آرٹیفیشل انٹیلیجنٹ میں، ان کا استدلال ہے کہ کمپیوٹیشنل منطق کے استعمال سے عام لوگوں کو اپنی فطری زبان کی مواصلاتی مہارتوں کو بہتر بنانے میں مدد مل سکتی ہے، اور یہ کہ فیصلہ سازی کے نظریہ کے ساتھ مل کر، اسے ان کی عملی مسئلہ حل کرنے کی صلاحیتوں کو بہتر بنانے کے لیے استعمال کیا جا سکتا ہے۔ فریبہ سدری کے ساتھ مشترکہ کام میں، انہوں نے منطق اور کمپیوٹر زبان ایل پی ایس، (لاجک پروڈکشن سسٹمز) تیار کیا ہے، جو کمپیوٹیشنل منطق پر ان کے پچھلے کام کو مربوط کرتا ہے۔ انہوں نے مصنوعی ذہانت کی ترقی میں اپنی دلچسپی جاری رکھی ہے۔ اعزازات اور اعزازات کوولسکی کو 1991 میں امریکن ایسوسی ایشن فار آرٹیفیشل انٹیلی جنس، 1999 میں یورپی کوآرڈینیٹنگ کمیٹی فار آرٹیفیشل انٹیلی جنس، اور 2001 میں ایسوسی ایشن فار کمپیوٹنگ مشینری کا فیلو منتخب کیا گیا۔ 2011 میں، انہیں ریسرچ ایکسی لینس کے لیے آئی جے سی اے آئی ایوارڈ ملا، "علم کی نمائندگی اور مسئلہ حل کرنے کے لیے منطق میں ان کی شراکت کے لیے، جس میں خودکار نظریہ ثابت کرنے اور منطق پروگرامنگ پر ان کا اہم کام بھی شامل ہے۔" 2012 میں، انہیں ممتاز سائنسدانوں کے لیے جاپان سوسائٹی فار دی پروموشن آف سائنس ایوارڈ 2012-2014 ملا۔ 2021 میں، انہیں برٹش نیشنلٹی ایکٹ کو باضابطہ بنانے اور تجزیہ کرنے کے لیے منطق پروگرامنگ کے اطلاق پر ان کے کام کے اعتراف میں فریبہ سدری اور مارک سرگوٹ کے ساتھ اپنے کام کے لیے افتتاحی کوڈ ایکس انعام ملا۔ مصنفین کا بنیادی مضمون، "دی برٹش نیشنلٹی ایکٹ ایز اے لاجک پروگرام"، جو 1986 میں کمیونیکیشنز آف دی اے سی ایم جریدے میں شائع ہوا، کمپیوٹیشنل قانون کے پہلے اور سب سے مشہور کاموں میں سے ایک ہے، اور اس شعبے میں سب سے زیادہ حوالہ شدہ کاغذات میں سے ایک ہے۔ منطق برائے مسئلہ حل، نارتھ ہالینڈ، ایلسیویئر، 1979۔ کمپیوٹیشنل منطق اور انسانی سوچ: مصنوعی طور پر ذہین کیسے ہوں، کیمبرج یونیورسٹی پریس، 2011۔ ایونٹ کیلکولس لاجک پروگرامنگ پرولاگ حوالہ جات بیرونی روابط رابرٹ کوالسکی کا ہوم پیج سوانح عمری (پی ڈی ایف) سوانحی مضمون انٹرویو اپریل 2020 1941 پیدائشیں زندہ لوگ امریکی تارکین وطن انگلینڈ برطانوی منطق برطانوی کمپیوٹر سائنس دان اکیڈمکس آف امپیریل کالج لندن لوگ برج پورٹ، کنیکٹیکٹ یونیورسٹی آف برج پورٹ کے سابق طلباء اسٹینفورڈ یونیورسٹی کے سابق طلباء یونیورسٹی آف شکاگو کے سابق طلباء وارسا یونیورسٹی کے سابق طلباء ایڈنبرا یونیورسٹی کے سابق طلباء ایسوسی ایشن آف کمپیوٹنگ مشینری کے فیلوز رسمی طریقے لوگ منطق پروگرامنگ محققین برطانوی فلسفی پولینڈ سے تعلق رکھنے والے امریکی لوگ