Robert Kowalski

Z Multimediaexpo.cz

Robert Anthony Kowalski, známý jako Bob Kowalski, (* 15. května 1941, Bridgeport, Connecticut, USA) se zabývá logikou a počítačovou vědou. Má polské předky a většinu své kariéry strávil ve Velké Británii. Jeho jméno je asi nejvíce spojováno s vývojem logického programování, počínaje procedurální interpretací Hornových klauzulí. Kowalski 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 univerzitách v Chicagu, Bridgeportu (titul bakalář v matematice, 1963), dále ve Stanfordu (titul Magistr v matematice, 1966), a poté na Varšavské univerzitě, a na univerzitě v Edingurgu (doktorský titul v informatice, 1970).

V letech 1970 až 1975 působil jako výzkumný pracovník na univerzitě v Edinburgu. Od roku 1975 byl členem profesorké 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 ovšem nejvíce spojováno s příspěvky věnovanými logickému programování, počínaje procedurální interpretací Hornových klauzulí. Zasloužil se také o vyvinutí minimálního modelu a sémantiku 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. Kowalski byl 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

Externí odkazy


Citováno z „http://ww.multimediaexpo.cz/mmecz/index.php/Robert_Kowalski“