Azərbaycanca
Беларускі
Dansk
Deutsch
Española
Français
Indonesia
Italiana
日本語
Қазақ
Lietuvos
Nederlands
Português
Русский
සිංහල
แบบไทย
Türkçe
Українська
中國人
United State
Afrikaans
Роберт Ентоні Ковальський (нар. 15 травня 1941) — американський логік і вчений, який провів більшу частину своєї кар'єри в Сполученому Королівстві.
| Роберт Ковальський | |
|---|---|
| Robert Anthony "Bob" Kowalski | |
 | |
| Народився | 15 травня 1941 (83 роки) США, Бріджпорт |
| Країна |  Велика Британія |
| Національність | британець |
| Діяльність | математик, інформатик, інженер, філософ, викладач університету |
| Alma mater | Единбурзький університет, Стенфордський університет, Чиказький університет, [en] |
| Галузь | логіка, комп'ютерні науки |
| Заклад | Единбурзький університет, Імперський коледж Лондона |
| Науковий керівник | Bernard Meltzer |
| Аспіранти, докторанти | d[1] d[1] d[1] d[1] d[1] d[1] d[1] d[1] d[1] d[1] d[1] |
| Членство | Association for Computing Machinery[2] |
| Відомий завдяки: | Логічне програмування, [en] |
| Нагороди | [en] (2011) |
Освіта
Здобув освіту в Чиказькому університеті, [en] (бакалавр в області математики, 1963), Стенфордському університеті (магістр у галузі математики, 1966), у Варшавському університеті та в Единбурзькому університеті (науковий ступінь у галузі комп'ютерних наук, 1970).
Кар'єра
Був науковим співробітником в Единбурзькому університеті (1970–75) і в Імперському коледжі Лондона з 1975 року. У 1999 році став заслуженим професором. Незабаром приєднався до Американської асоціації з розвитку штучного інтелекту в 1991 році, Координаційного комітету штучного інтелекту в 1999 році, і асоціації обчислювальної техніки в 2001 році.
Свої дослідження Роберт почав в області автоматичного доведення, що реалізоване на програмному рівні. В основу покладено апарат математичної логіки. Тим не менш, він є найвідомішим за його внесок у розвиток логічного програмування, починаючи з процедурної інтерпретації Горна.
Він також розробив мінімальну модель семантики Горна з Маартен ван Емден. З Мареком Сергот, розробив обчислення подій і застосування логічного програмування для юридичного обґрунтування. і застосування логічного програмування для юридичних цілей. Разом з Фаріба Садрі, він розробив модель агента, в якому переконання представлені логічними програмами і мета представлена обмеженням цілісності.
Ковальський був одним з перших розробників абдуктивної логіки програмування, де логічні програми доповнені обмеженнями цілісності і з невизначеними, абдуктивними предикатами. Ця робота продемонструвала, що логіку для міркувань за замовчуванням можна розглядати як окремі випадки допущення на основі аргументації.
Пролог
Розробка мови Prolog почалася в 1970 році Аланом Кулмерое і Філіпом Русселом. Вони хотіли створити мову, яка могла б робити логічні висновки на основі заданого тексту. Назва Prolog є скороченням від «PROgramming in LOGic». Ця мова була розроблена в Марселі в 1972 році. Принцип резолюції Ковальського здавався підходящою моделлю, на основі якої можна було розробити механізм логічних висновків. З обмеженням резолюції на диз'юнкт Горна уніфікація привела до ефективної системи, де непереборний недетермінізм оброблявся за допомогою процесу відкату, який міг бути легко реалізований. Алгоритм резолюції дозволяв створити виконувану послідовність, необхідну для реалізації специфікацій, подібних до наведеного вище відношенню.
Перша реалізація мови Prolog з використанням компілятора Вірта ALGOL-W була закінчена в 1972 році, а основи сучасної мови були закладені в 1973. Використання мови Prolog поступово поширювалося серед тих, хто займався логічним програмуванням, в основному завдяки особистим контактам, а не через комерціалізацію продукту. В даний час існує декілька різних, але досить схожих між собою версій. Хоча стандарту мови Prolog не існує, проте версія, розроблена в Единбурзькому університеті, стала найбільш широко використовуваним варіантом. Недолік розробок ефективних додатків Prolog стримував його поширення аж до 1980 року.
Книги
- «Logic for Problem Solving», North Holland, Elsevier, 1979.
- «Computational Logic and Human Thinking: How to be Artificially Intelligent», Cambridge University Press, 2011.
Див. також
Примітки
- Математичний генеалогічний проєкт — 1997.
- https://awards.acm.org/fellows/award-recipients
- Kowalski, R. and Kuehner, D., "Linear Resolution with Selection Function", in Artificial Intelligence, Vol. 2, 1971, pp. 227–260. Reprinted in Anthology of Automated Theorem-Proving Papers, Vol. 2, Springer-Verlag, 1983, pp. 542–577.
- Kowalski, R., "Predicate Logic as Programming Language", in Proceedings IFIP Congress, Stockholm, North Holland Publishing Co., 1974, pp. 569–574. Reprinted in Computers for Artificial Intelligence Applications, (eds. Wah, B. and Li, G.-J.), , Los Angeles, 1986, pp. 68–73.
- van Emden, M. and Kowalski, R., "The Semantics of Predicate Logic as a Programming Language", in Journal of the ACM, Vol. 23, No. 4, 1976, pp. 733–742.
- Kowalski, R. and Sergot, M., "A Logic-based Calculus of Events", in , Vol. 4, No. 1, February 1986, pp. 67–95. Also in Knowledge Base Management-Systems, (eds. C. Thanos and J. W. Schmidt), Springer-Verlag, pp. 23–51. Also in The Language of Time: A Reader (eds. Inderjeet Mani, J. Pustejovsky, and R. Gaizauskas). Oxford University Press, 2005.
- Sergot, M., Sadri, F., Kowalski, R., Kriwaczek, F., Hammond, P., and Cory, T., "The British Nationality Act as a Logic Program", in Communications of the ACM, Vol. 29, No. 5, 1986, pp. 370–386.
- Kowalski, R., "Legislation as Logic Programs", in Logic Programming in Action (eds. G. Comyn, N. E. Fuchs, M. J. Ratcliffe), Springer-Verlag, 1992, pp. 203–230.
- Kowalski, R., "Using Metalogic to Reconcile Reactive with Rational Agents". In Meta-Logics and Logic Programming (K. Apt and F. Turini, eds.), MIT Press, 1995.
- Kowalski, R. and Sadri, F., "From Logic Programming towards Multi-agent Systems", , Volume 25 (1999), pp. 391–419.
- Eshghi, K.,and Kowalski, R., "Abduction through deduction". Department of Computing, Imperial College, 1988.
- Kakas, T., Kowalski, K. and Toni, F., "Abductive Logic Programming". , 1992, Vol. 2 No. 6, pp. 719–770.
- Bondarenko, A., Dung, P. M., Kowalski, R., and Toni, F. "An Abstract Argumentation-theoretic Approach to Default Reasoning". , 93(1–2), 1997, pp 63–101.
- Dung, P. M., Kowalski, R., and Toni, F. "Dialectic proof procedures for assumption-based, admissible argumentation". Journal of Artificial Intelligence, 170(2), February 2006, pp. 114–159.
Посилання
- Особиста сторінка Роберта Ковальського (англ.)
- Біографія (англ.)
- Біографія (PDF) (англ.)
- Біографічне есе (англ.)
- Тезіс (англ.)
Вікіпедія, Українська, Україна, книга, книги, бібліотека, стаття, читати, завантажити, безкоштовно, безкоштовно завантажити, mp3, відео, mp4, 3gp, jpg, jpeg, gif, png, малюнок, музика, пісня, фільм, книга, гра, ігри, мобільний, телефон, android, ios, apple, мобільний телефон, samsung, iphone, xiomi, xiaomi, redmi, honor, oppo, nokia, sonya, mi, ПК, web, Інтернет
Robert Entoni Kovalskij nar 15 travnya 1941 19410515 amerikanskij logik i vchenij yakij proviv bilshu chastinu svoyeyi kar yeri v Spoluchenomu Korolivstvi Robert KovalskijRobert Anthony Bob KowalskiNarodivsya15 travnya 1941 1941 05 15 83 roki SShA BridzhportKrayina Velika BritaniyaNacionalnistbritanecDiyalnistmatematik informatik inzhener filosof vikladach universitetuAlma materEdinburzkij universitet Stenfordskij universitet Chikazkij universitet en Galuzlogika komp yuterni naukiZakladEdinburzkij universitet Imperskij koledzh LondonaNaukovij kerivnikBernard MeltzerAspiranti doktorantid 1 d 1 d 1 d 1 d 1 d 1 d 1 d 1 d 1 d 1 d 1 ChlenstvoAssociation for Computing Machinery 2 Vidomij zavdyaki Logichne programuvannya en Nagorodi en 2011 OsvitaZdobuv osvitu v Chikazkomu universiteti en bakalavr v oblasti matematiki 1963 Stenfordskomu universiteti magistr u galuzi matematiki 1966 u Varshavskomu universiteti ta v Edinburzkomu universiteti naukovij stupin u galuzi komp yuternih nauk 1970 Kar yeraBuv naukovim spivrobitnikom v Edinburzkomu universiteti 1970 75 i v Imperskomu koledzhi Londona z 1975 roku U 1999 roci stav zasluzhenim profesorom Nezabarom priyednavsya do Amerikanskoyi asociaciyi z rozvitku shtuchnogo intelektu v 1991 roci Koordinacijnogo komitetu shtuchnogo intelektu v 1999 roci i asociaciyi obchislyuvalnoyi tehniki v 2001 roci Svoyi doslidzhennya Robert pochav v oblasti avtomatichnogo dovedennya sho realizovane na programnomu rivni V osnovu pokladeno aparat matematichnoyi logiki Tim ne mensh vin ye najvidomishim za jogo vnesok u rozvitok logichnogo programuvannya pochinayuchi z procedurnoyi interpretaciyi Gorna Vin takozh rozrobiv minimalnu model semantiki Gorna z Maarten van Emden Z Marekom Sergot rozrobiv obchislennya podij i zastosuvannya logichnogo programuvannya dlya yuridichnogo obgruntuvannya i zastosuvannya logichnogo programuvannya dlya yuridichnih cilej Razom z Fariba Sadri vin rozrobiv model agenta v yakomu perekonannya predstavleni logichnimi programami i meta predstavlena obmezhennyam cilisnosti Kovalskij buv odnim z pershih rozrobnikiv abduktivnoyi logiki programuvannya de logichni programi dopovneni obmezhennyami cilisnosti i z neviznachenimi abduktivnimi predikatami Cya robota prodemonstruvala sho logiku dlya mirkuvan za zamovchuvannyam mozhna rozglyadati yak okremi vipadki dopushennya na osnovi argumentaciyi PrologRozrobka movi Prolog pochalasya v 1970 roci Alanom Kulmeroe i Filipom Russelom Voni hotili stvoriti movu yaka mogla b robiti logichni visnovki na osnovi zadanogo tekstu Nazva Prolog ye skorochennyam vid PROgramming in LOGic Cya mova bula rozroblena v Marseli v 1972 roci Princip rezolyuciyi Kovalskogo zdavavsya pidhodyashoyu modellyu na osnovi yakoyi mozhna bulo rozrobiti mehanizm logichnih visnovkiv Z obmezhennyam rezolyuciyi na diz yunkt Gorna unifikaciya privela do efektivnoyi sistemi de neperebornij nedeterminizm obroblyavsya za dopomogoyu procesu vidkatu yakij mig buti legko realizovanij Algoritm rezolyuciyi dozvolyav stvoriti vikonuvanu poslidovnist neobhidnu dlya realizaciyi specifikacij podibnih do navedenogo vishe vidnoshennyu Persha realizaciya movi Prolog z vikoristannyam kompilyatora Virta ALGOL W bula zakinchena v 1972 roci a osnovi suchasnoyi movi buli zakladeni v 1973 Vikoristannya movi Prolog postupovo poshiryuvalosya sered tih hto zajmavsya logichnim programuvannyam v osnovnomu zavdyaki osobistim kontaktam a ne cherez komercializaciyu produktu V danij chas isnuye dekilka riznih ale dosit shozhih mizh soboyu versij Hocha standartu movi Prolog ne isnuye prote versiya rozroblena v Edinburzkomu universiteti stala najbilsh shiroko vikoristovuvanim variantom Nedolik rozrobok efektivnih dodatkiv Prolog strimuvav jogo poshirennya azh do 1980 roku Knigi Logic for Problem Solving North Holland Elsevier 1979 Computational Logic and Human Thinking How to be Artificially Intelligent Cambridge University Press 2011 Div takozhPrologPrimitkiMatematichnij genealogichnij proyekt 1997 d Track Q829984 https awards acm org fellows award recipients Kowalski R and Kuehner D Linear Resolution with Selection Function in Artificial Intelligence Vol 2 1971 pp 227 260 Reprinted in Anthology of Automated Theorem Proving Papers Vol 2 Springer Verlag 1983 pp 542 577 Kowalski R Predicate Logic as Programming Language in Proceedings IFIP Congress Stockholm North Holland Publishing Co 1974 pp 569 574 Reprinted in Computers for Artificial Intelligence Applications eds Wah B and Li G J Los Angeles 1986 pp 68 73 van Emden M and Kowalski R The Semantics of Predicate Logic as a Programming Language in Journal of the ACM Vol 23 No 4 1976 pp 733 742 Kowalski R and Sergot M A Logic based Calculus of Events in Vol 4 No 1 February 1986 pp 67 95 Also in Knowledge Base Management Systems eds C Thanos and J W Schmidt Springer Verlag pp 23 51 Also in The Language of Time A Reader eds Inderjeet Mani J Pustejovsky and R Gaizauskas Oxford University Press 2005 Sergot M Sadri F Kowalski R Kriwaczek F Hammond P and Cory T The British Nationality Act as a Logic Program in Communications of the ACM Vol 29 No 5 1986 pp 370 386 Kowalski R Legislation as Logic Programs in Logic Programming in Action eds G Comyn N E Fuchs M J Ratcliffe Springer Verlag 1992 pp 203 230 Kowalski R Using Metalogic to Reconcile Reactive with Rational Agents In Meta Logics and Logic Programming K Apt and F Turini eds MIT Press 1995 Kowalski R and Sadri F From Logic Programming towards Multi agent Systems Volume 25 1999 pp 391 419 Eshghi K and Kowalski R Abduction through deduction Department of Computing Imperial College 1988 Kakas T Kowalski K and Toni F Abductive Logic Programming 1992 Vol 2 No 6 pp 719 770 Bondarenko A Dung P M Kowalski R and Toni F An Abstract Argumentation theoretic Approach to Default Reasoning 93 1 2 1997 pp 63 101 Dung P M Kowalski R and Toni F Dialectic proof procedures for assumption based admissible argumentation Journal of Artificial Intelligence 170 2 February 2006 pp 114 159 PosilannyaOsobista storinka Roberta Kovalskogo angl Biografiya angl Biografiya PDF angl Biografichne ese angl Tezis angl