روبرت کوالسکی یا رابرت کوالسکی ( به انگلیسی: Robert Kowalski ) با نام کامل روبرت آنتونی باب کوالسکی , منطق دان و دانشمند علوم کامپیوتر است که بیشتر عمر خود را در بریتانیا سپری کرده است.
روبرت بیشتر به دلیل خدماتش به برنامه نویسی منطقی و ابداع هورن کلاز ها شناخته می شود.
او در دانشگاه شیکاگو، دانشگاه بریجپورت ( کارشناسی ریاضیات، ۱۹۶۳ ) ، دانشگاه استنفورد ( کارشناسی ارشد در ریاضیات، ۱۹۶۶ ) ، دانشگاه ورشو و دانشگاه ادینبرو ( دکتری در علوم رایانه، ۱۹۷۰ ) تحصیل کرد.
او تحقیقات خود را در زمینه اثبات قضیه خودکار آغاز کرد و هر دو رزلوشن SLD را با دونالد کوئنر و روش اثبات گرافیک اتصال توسعه داد. او با مارتن ون امدن، رزلوشن SLD و تفسیر رویه ای عبارت هورن را توسعه داد، که زیربنای معناشناسی عملیاتی استدلال عقب مانده در برنامه نویسی منطقی است. او همچنین مدل حداقل و معناشناسی نقطه ثابت عبارات هورن را توسعه داد، که زیربنای معناشناسی منطقی برنامه نویسی منطقی است.
کوالسکی با مارک سرگوت حساب رویداد و هم کاربرد برنامه نویسی منطقی را برای استدلال قانونی توسعه داد. او با فریبا صدری یک سیستم عامل ایجاد کرد که در آن باورها با برنامه های منطقی و اهداف با محدودیت های یکپارچگی داده ها نمایش داده می شوند.
کوالسکی در سال ۱۹۹۱ به عضویت انجمن آمریکایی پیشبرد هوش مصنوعی، در سال ۱۹۹۹ به عضویت کمیته هماهنگی هوش مصنوعی اروپا و در سال ۲۰۰۱ به عضویت انجمن ماشین های حسابگر انتخاب شد. در سال ۲۰۱۱، او جایزه IJCAI برای تعالی پژوهشی را دریافت کرد. [ ۱] در سال ۲۰۱۲، جایزه انجمن ژاپن برای ترویج علم برای دانشمندان برجسته برای سال های ۲۰۱۲ - ۲۰۱۴ را دریافت کرد.
این نوشته برگرفته از سایت ویکی پدیا می باشد، اگر نادرست یا توهین آمیز است، لطفا گزارش دهید: گزارش تخلفروبرت بیشتر به دلیل خدماتش به برنامه نویسی منطقی و ابداع هورن کلاز ها شناخته می شود.
او در دانشگاه شیکاگو، دانشگاه بریجپورت ( کارشناسی ریاضیات، ۱۹۶۳ ) ، دانشگاه استنفورد ( کارشناسی ارشد در ریاضیات، ۱۹۶۶ ) ، دانشگاه ورشو و دانشگاه ادینبرو ( دکتری در علوم رایانه، ۱۹۷۰ ) تحصیل کرد.
او تحقیقات خود را در زمینه اثبات قضیه خودکار آغاز کرد و هر دو رزلوشن SLD را با دونالد کوئنر و روش اثبات گرافیک اتصال توسعه داد. او با مارتن ون امدن، رزلوشن SLD و تفسیر رویه ای عبارت هورن را توسعه داد، که زیربنای معناشناسی عملیاتی استدلال عقب مانده در برنامه نویسی منطقی است. او همچنین مدل حداقل و معناشناسی نقطه ثابت عبارات هورن را توسعه داد، که زیربنای معناشناسی منطقی برنامه نویسی منطقی است.
کوالسکی با مارک سرگوت حساب رویداد و هم کاربرد برنامه نویسی منطقی را برای استدلال قانونی توسعه داد. او با فریبا صدری یک سیستم عامل ایجاد کرد که در آن باورها با برنامه های منطقی و اهداف با محدودیت های یکپارچگی داده ها نمایش داده می شوند.
کوالسکی در سال ۱۹۹۱ به عضویت انجمن آمریکایی پیشبرد هوش مصنوعی، در سال ۱۹۹۹ به عضویت کمیته هماهنگی هوش مصنوعی اروپا و در سال ۲۰۰۱ به عضویت انجمن ماشین های حسابگر انتخاب شد. در سال ۲۰۱۱، او جایزه IJCAI برای تعالی پژوهشی را دریافت کرد. [ ۱] در سال ۲۰۱۲، جایزه انجمن ژاپن برای ترویج علم برای دانشمندان برجسته برای سال های ۲۰۱۲ - ۲۰۱۴ را دریافت کرد.
wiki: روبرت کوالسکی