Robert Kowalski

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

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.

Ž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)

Tento článek je příliš stručný nebo postrádá důležité informace. Pomozte Wikipedii tím, že jej vhodně rozšíříte. Nevkládejte však bez oprávnění cizí texty.

Autoritní data	NKC: xx0282971 ACM DL: 81406592554 BIBSYS: 11061753 DBLP: k/RobertAKowalski GND: 123879507 ISNI: 0000 0001 1786 4671 LCCN: n79112883 MGP: 127951 NDL: 00446226 NLI: 987007425232805171 NLK: KAC2018L8638 NTA: 074184342 PLWABN: 9810676498705606 SUDOC: 070184445 VIAF: 164403553 WorldCat Entities: E39PBJbttG9RCDp9GVvv9yMByd