Robert Kowalski

Robert Anthony Kowalski také Bob Kowalski (* 15. května 1941 Bridgeport, Connecticut) je americký vědec zabývající se logikou a informatikou. Jeho předci jsou polského původu. Převážnou část své kariéry strávil ve Spojeném království. Jeho jméno je nejvíce spojováno s vývojem logického programování, především procedurální interpretací Hornových klauzulí. Byl jedním z prvních vývojářů abduktivního logického programování, ve kterém jsou logické programy rozšířeny o integritní omezení a nedefinované abduktivní predikáty.

Robert Kowalski
Robert Kowalski (9. listopadu 2009)
Narození	15. května 1941 (84 let) Bridgeport
Alma mater	Edinburská univerzita University of Bridgeport Varšavská univerzita Chicagská univerzita Stanfordova univerzita Fairfield College Preparatory School
Povolání	matematik, počítačový vědec, inženýr, filozof a vysokoškolský učitel
Zaměstnavatelé	Imperiální kolej v Londýně Edinburská univerzita
Ocenění	AAAI Fellow (1991) společník ACM (2001) IJCAI Award for Research Excellence (2011)
Některá data mohou pocházet z datové položky.

Životopis

Vzdělání dosáhl na Chicagské univerzitě, na univerzitě v Bridgeportu získal v roce 1963 titul bakalář. Titul Magistr v matematice získal v roce 1966 na Stanfordově univerzitě a poté na Varšavské univerzitě. Na univerzitě v Edinburghu získal v roce 1970 doktorský titul v informatice.

V letech 1970 až 1975 působil jako výzkumný pracovník na univerzitě v Edinburghu. Od roku 1975 byl členem profesorské stolice na Imperial College London v oboru počítačová logika. V roce 1999 získal post emeritního profesora. Roku 1991 byl dosazen na pozici výzkumného pracovníka Americké asociace pro umělou Inteligenci. O 8 let později se věnoval práci pro evropskou koordinační komisi pro umělou inteligenci a následovně pro Asociaci pro počítačovou techniku.

Svému výzkumu se věnoval společně s Donaldem Kuehnerem. Jeho jméno je spojováno s příspěvky věnovanými logickému programování, počínaje procedurální interpretací Hornových klauzulí. Přispěl k vývoji minimálního modelu a sémantiky pevného bodu Hornových klauzulí za asistence Maartena van Emdena. S Marekem Sergotem vyvinul aplikaci logického programování a s Farivem Sadrim prostředek, v němž je víra reprezentována logickými programy a cíle omezením integrity. Je jedním z prvních vývojářů abdukovaného logického programování, v němž jsou logické programy rozšířeny omezením integrity a nedefinovatelnými, abdukovanými výroky.

Související články

• Logické programování
• Prolog (programovací jazyk)

Externí odkazy

• Osobní stránky (anglicky)
• Životopis (anglicky)

Portály: Matematika | Lidé | Spojené státy americké