Robert Kowalski - Robert Kowalski
Robert Kowalski | |
---|---|
narozený |
Bridgeport , Connecticut, USA
|
15. května 1941
Státní příslušnost | britský |
Alma mater |
University of Chicago University of Bridgeport Stanford University University of Warsaw University of Edinburgh |
Známý jako |
Logické programování Počet událostí |
Ocenění | Cena IJCAI za vynikající výzkum (2011) |
Vědecká kariéra | |
Pole |
Logika Počítačová věda |
Instituce |
University of Edinburgh Imperial College London |
Teze | Studie úplnosti a účinnosti dokazování věty rezolucí (1970) |
Doktorský poradce | Bernard Meltzer |
Doktorandi |
David HD Warren Keith Clark |
Robert Anthony Kowalski (narozený 15 května 1941) je americko-britský logik a počítačový vědec , jehož výzkum se zaměřuje na vývoj jak výpočetně orientovaných modelů člověka, tak výpočetních modelů lidského myšlení. Většinu své kariéry strávil ve Velké Británii.
Vzdělání
Vystudoval University of Chicago , University of Bridgeport (BA v matematice, 1963), Stanford University (MSc v matematice, 1966), University of Warsaw a University of Edinburgh (PhD v oboru počítačových věd , 1970).
Kariéra
Byl výzkumným pracovníkem na univerzitě v Edinburghu (1970–75) a od roku 1975 působí na katedře výpočetní techniky na Imperial College v Londýně. V roce 1982 získal katedru výpočetní logiky a v roce 1999 se stal emeritním profesorem.
Začal svůj výzkum v oblasti automatizovaného dokazování teorémů , přičemž vyvinul SL-rozlišení s Donaldem Kuehnerem a postup důkazu spojovacího grafu. Vyvinul rozlišení SLD a procedurální interpretaci Hornových klauzulí , které podporují operační sémantiku zpětného uvažování v logickém programování . S Maarten van Emden. Vyvinul také minimální model a sémantiku fixpointů Hornových klauzulí, které podporují logickou sémantiku logického programování.
S Marekem Sergotem vyvinul jak počet událostí, tak aplikaci logického programování na právní uvažování . S Faribou Sadri vyvinul model agenta, ve kterém jsou víry reprezentovány logickými programy a cíle jsou reprezentovány omezeními integrity .
Kowalski byl jedním z vývojářů Abductive Logic Programming , ve kterém jsou logické programy doplněny omezeními integrity a nedefinovanými, unesitelnými predikáty. Tato práce vedla k demonstraci s Phan Minh Dungem a Francescou Toni, že většinu logik pro výchozí uvažování lze považovat za zvláštní případy argumentace založené na předpokladu .
Ve své knize Logic for Problem Solving z roku 1979 Kowalski tvrdí, že logická inference poskytuje jednoduchý a výkonný model řešení problémů, který mohou používat lidé i počítače. Ve své knize z roku 2011 Computational Logic and Human Thinking - How to be Artificially Intelligent tvrdí, že použití výpočetní logiky může obyčejným lidem pomoci zlepšit jejich komunikační dovednosti v přirozeném jazyce a že v kombinaci s teorií rozhodování jej lze použít ke zlepšení jejich praktické schopnosti řešit problémy.
V nedávné době ve společné práci s Faribou Sadri vyvinul logický a počítačový jazyk LPS (Logic Production Systems), který integruje velkou část jeho předchozí práce na výpočetní logice.
Vyznamenání a ocenění
Kowalski byl zvolen členem Americké asociace pro umělou inteligenci v roce 1991, Evropského koordinačního výboru pro umělou inteligenci v roce 1999 a Asociace pro výpočetní techniku v roce 2001. V roce 2011 obdržel cenu IJCAI za vynikající výsledky výzkumu , “ za jeho příspěvky do logiky pro reprezentaci znalostí a řešení problémů, včetně jeho průkopnické práce na automatizovaném dokazování teorémů a logickém programování “. V roce 2012 obdržel cenu Japonské společnosti pro podporu vědy pro významné vědce na období 2012–2014. V roce 2021 obdržel inaugurační Cenu CodeX za svou práci s Faribou Sadri a Marekem Sergotem „jako uznání jejich průkopnické práce na aplikaci logického programování při formalizaci a analýze britského zákona o národnosti.“ Klíčový článek autorů „The Britský zákon o státní příslušnosti jako logický program, “publikovaný v roce 1986 v časopise Communications of ACM, je jedním z prvních a nejznámějších prací v oblasti výpočetního práva a jedním z nejcitovanějších článků v této oblasti.“ [4]
Knihy
- Logic for Problem Solving , North Holland, Elsevier, 1979.
- Výpočtová logika a lidské myšlení: Jak být uměle inteligentní , Cambridge University Press, 2011.