Роберт Ковальски: Логика, есептеу және жасанды интеллект саяхаты
Robert Kowalski
Роберт Ковальски – британдық ғалым, компьютерлік логик. Зерттеулері есептеу моделі мен адам ойлауын дамытуға бағытталған. Логикалық бағдарламалаудағы SLD шешімі туралы ақпарат.
Ағылшыншамен салыстырыңыз: абзацты басыңыз — түпнұсқа терезеде ашылады. Абзац астындағы EN түймесі оны мәтін ішінде көрсетеді.
Мазмұны
Кіріспе
Британдық компьютерлік ғалым (1941 жылы туған)
американдық медициналық журналист және автор
British computer scientist (born 1941)
the American medical journalist and author
Роберт Энтони Ковальски (15 мамыр 1941 жылы туған) – американдық-британдық логик және компьютерлік ғалым, оның зерттеулері адамға бағытталған есептеу модельдерін және адам ойлауының есептеу модельдерін жасаумен айналысады. Ол өзінің мансабының көп бөлігін Ұлыбританияда өткізді.
Robert Anthony Kowalski (born 15 May 1941) is an American British logician and computer scientist, whose research is concerned with developing both human oriented models of computing and computational models of human thinking. He has spent most of his career in the United Kingdom.
Білім
Ол Чикаго университетінде, Бриджпорт университетінде (математика бакалавры, 1963), Стэнфорд университетінде (математика магистрі, 1966), Варшава университетінде және Эдинбург университетінде (компьютер ғылымдарының докторы, 1970) білім алды, Дональд Кьюнермен және байланыс графигін дәлелдеу әдісімен жұмыс істеді. Ол логикалық бағдарламалаудағы кері ойлаудың операциялық семантикасын құрайтын SLD ажыратымдылығын және Хорн шарттарының процедуралық интерпретациясын жасады. Мартен ван Эмденмен бірге ол логикалық бағдарламалаудың логикалық семантикасын құрайтын Хорн шарттарының минималды моделін және бекітілген нүктелік семантикасын дамытты. Марек Сергомен бірге ол оқиғалар есебін және құқықтық ойлауға логикалық бағдарламалауты қолдануды жетілдірді. Фариба Садримен бірге ол сенімдері логикалық бағдарламалармен, ал мақсаттары тұтастық шектеулерімен ұсынылған агенттік модельді жасады. Ковальски абдуктивті логикалық бағдарламалауды дамытушылардың бірі болды, онда логикалық бағдарламалар тұтастық шектеулерімен және анықталмаған, абдукцияланатын предикаттармен толықтырылады. Бұл жұмыс Фан Мин Дунг пен Франческа Тонимен бірге көптеген әдепкі логикалардың басылымға негізделген аргументацияның ерекше жағдайлары ретінде қарастырылуы мүмкін екенін көрсетуге әкелді. 1979 жылғы «Проблемаларды шешу логикасы» кітабында Ковальски логикалық қорытындының адамдар мен компьютерлердің екеуі де қолдана алатын проблемаларды шешудің қарапайым және қуатты моделін ұсынатынын айтады. 2011 жылғы «Компьютерлік логика және адам ойлауы: Жасанды интеллектке қалай қол жеткізуге болады» кітабында ол есептеу логикасын қолданудың қарапайым адамдарға тілдік қарым-қатынас дағдыларын жақсартуға көмектесетінін және шешім қабылдау теориясымен біріктірілгенде, оны практикалық проблемаларды шешу қабілеттерін арттыру үшін пайдалануға болатынын көрсетеді. Фариба Садримен бірлесіп, ол өзінің есептеу логикасы бойынша бұрынғы жұмыстарының көп бөлігін біріктіретін LPS (Logic Production Systems) логикалық және компьютерлік тілін жасады. Ол жасанды интеллектті дамытуға деген қызығушылығын жалғастыруда.
He was educated at the University of Chicago, University of Bridgeport (BA in mathematics, 1963), Stanford University (MSc in mathematics, 1966), University of Warsaw and the University of Edinburgh (PhD in computer science, 1970). with Donald Kuehner and the connection graph proof procedure. He developed SLD resolution and the procedural interpretation of Horn clauses, which underpin the operational semantics of backward reasoning in logic programming. With Maarten van Emden, he also developed the minimal model and the fixpoint semantics of Horn clauses, which underpin the logical semantics of logic programming. With Marek Sergot, he developed both the event calculus and the application of logic programming to legal reasoning. With Fariba Sadri, he developed an agent model in which beliefs are represented by logic programs and goals are represented by integrity constraints. Kowalski was one of the developers of abductive logic programming, in which logic programs are augmented with integrity constraints and with undefined, abducible predicates. This work led to the demonstration with Phan Minh Dung and Francesca Toni that most logics for default reasoning can be regarded as special cases of assumption based argumentation. In his 1979 book, Logic for Problem Solving, Kowalski argues that logical inference provides a simple and powerful model of problem solving that can be used by both humans and computers. In his 2011 book, Computational Logic and Human Thinking How to be Artificially Intelligent, he argues that the use of computational logic can help ordinary people to improve their natural language communication skills, and that in combination with decision theory, it can be used to improve their practical problem solving abilities. In joint work with Fariba Sadri, he has developed the logic and computer language LPS, (Logic Production Systems), which integrates much of his previous work on computational logic. He has continued his interest in the development of artificial intelligence.
Құрметтер мен марапаттар
Ковальски 1991 жылы Американың жасанды интеллект қауымдастығының, 1999 жылы жасанды интеллект жөніндегі Еуропалық үйлестіру комитетінің және 2001 жылы Есептеу машиналары қауымдастығының мүшесі болып сайланды. 2012 жылы ол 2012–2014 жылдарға арналған көрнекті ғалымдарға берілетін Жапония ғылымды дамыту қоғамының сыйлығын алды. 2021 жылы Фариба Садри және Марек Серготпен бірлескен жұмысы үшін алғашқы CodeX сыйлығына ие болды, бұл сыйлық "Британдық азаматтығы туралы заңды формалдау және талдау үшін логикалық бағдарламалауды қолдану жөніндегі еңбектеріне" деген танымы ретінде табысталды. Авторлардың 1986 жылы ACM журналының хабарламаларында жарияланған "Британдық азаматтық туралы заң – логикалық бағдарлама ретінде" атты мақаласы – есептеу құқығы саласындағы алғашқы және ең белгілі жұмыстардың бірі және осы саладағы ең көп сілтеме жасалған мақалалардың бірі болып табылады.
Kowalski was elected a Fellow of the American Association for Artificial Intelligence in 1991, of the European Co ordinating Committee for Artificial Intelligence in 1999, and the Association for Computing Machinery in 2001. In 2012, he received the Japan Society for the Promotion of Science Award for Eminent Scientists for 2012–2014. In 2021, he received the Inaugural CodeX Prize for his work with Fariba Sadri and Marek Sergot "in acknowledgment of their work on the application of logic programming to the formalization and analysis of the British Nationality Act. The authors' seminal article, "The British Nationality Act as a Logic Program," published in 1986 in the Communications of the ACM journal, is one of the first and best known works in computational law, and one of the most widely cited papers in the field."