Robert Kowalski - Robert Kowalski
Robert Kowalski | |
---|---|
narozený | Bridgeport, Connecticut, USA | 15. května 1941
Národnost | britský |
Státní občanství | Naturalizovaný britský občan |
Alma mater | University of Chicago University of Bridgeport Stanfordská Univerzita Varšavská univerzita 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 o úplnosti a účinnosti dokazování věty rezolucí (1970) |
Doktorský poradce | Bernard Meltzer |
Doktorandi | David H. D. Warren Keith Clark |
Robert Anthony Kowalski (narozen 15. května 1941) je a logik a počítačový vědec, jehož výzkum se zabývá vývojem jak na člověka orientovaných modelů výpočetní techniky, tak výpočetních modelů lidského myšlení. Většinu své kariéry strávil ve Velké Británii.
Vzdělávání
On byl vzděláván u University of Chicago, University of Bridgeport (BA v matematice, 1963), Stanfordská Univerzita (MSc v matematice, 1966), Varšavská univerzita a University of Edinburgh (PhD v počítačová věda, 1970).
Kariéra
Byl výzkumný pracovník na University of Edinburgh (1970–75) a byl na Department of Computing, Imperial College London od roku 1975 získává židli v Výpočtová logika v roce 1982 a emeritním profesorem v roce 1999.
Začal svůj výzkum v oblasti automatizované dokazování věty, rozvíjení obou SL-rozlišení[2] s Donaldem Kuehnerem a postupem ověřování grafu připojení.[3] Vyvinul se Rozlišení SLD a procedurální výklad Horn klauzule[4], které podporují operační sémantiku systému zpětné uvažování v logické programování. S Maarten van Emden.[5], vyvinul také minimální model a sémantiku fixpointů Hornových klauzí, které podporují logickou sémantiku logického programování.
S Marekem Sergotem vyvinul obojí počet událostí[6] a aplikace logického programování na právní uvažování.[7][8] S Faribou Sadri vyvinul model agenta[9][10] ve kterém jsou víry reprezentovány logickými programy a cíle jsou reprezentovány omezení integrity.
Kowalski byl jedním z vývojářů Abduktivní logické programování, ve kterém jsou logické programy doplněny omezeními integrity a nedefinovanými, únosnými predikáty.[11][12] 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 založené na předpokladu argumentace.[13][14]
Ve své knize z roku 1979 Logika pro řešení problémů,[15] 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 Výpočtová logika a lidské myšlení - jak být uměle inteligentní,[16] 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í může být použito ke zlepšení jejich praktických schopností řešit problémy.
Nedávno ve společné práci s Faribou Sadri vyvinul logický a počítačový jazyk LPS[17], (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ý koordinační výbor pro umělou inteligenci v roce 1999 a Sdružení pro výpočetní techniku v roce 2001. Získal Cena IJCAI za vynikající výzkum, „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 2011 [18]a Japonská společnost pro podporu vědy Cena pro významné vědce na období 2012–2014[19].
Knihy
- Logika pro řešení problémů, Severní Holandsko, Elsevier, 1979.
- Výpočtová logika a lidské myšlení: Jak být uměle inteligentní, Cambridge University Press, 2011.
Viz také
Reference
- ^ http://www.doc.ic.ac.uk/~rak/history.html
- ^ Kowalski, R. a Kuehner, D., "Linear Resolution with Selection Function", v Artificial Intelligence, sv. 2, 1971, s. 227–260. Přetištěno Antology of Automated Theorem-Proving Papers, Sv. 2, Springer-Verlag, 1983, str. 542–577.
- ^ Kowalski, R., "Zkušební postup pomocí grafů připojení", v Deník ACM Sv. 22, č. 4, 1975, str. 572–595.
- ^ Kowalski, R., „Predicate Logic as Programming Language“, ve sborníku IFIP Congress, Stockholm, North Holland Publishing Co., 1974, str. 569–574. Přetištěno v počítačích pro aplikace umělé inteligence, (ed. Wah, B. a Li, G.-J.), IEEE Computer Society Press, Los Angeles, 1986, s. 68–73.
- ^ van Emden, M. a Kowalski, R., „Sémantika predikátové logiky jako programovacího jazyka“, v Deník ACM, Sv. 23, č. 4, 1976, str. 733–742.
- ^ Kowalski, R. a Sergot, M., „Logický počet událostí“, in Nová generace výpočetní techniky, Sv. 4, č. 1, únor 1986, s. 67–95. Také v Systémy pro správu znalostí(ed. C. Thanos a J. W. Schmidt), Springer-Verlag, s. 23–51. Také v The Language of Time: A Reader (eds. Inderjeet Mani, J. Pustejovsky a R. Gaizauskas). Oxford University Press, 2005.
- ^ Sergot, M., Sadri, F., Kowalski, R., Kriwaczek, F., Hammond, P. a Cory, T., „The British Nationality Act as a Logic Program“, v Komunikace ACM, Sv. 29, č. 5, 1986, str. 370–386.
- ^ Kowalski, R., „Legislation as Logic Programmes“, v Logic Programming in Action (eds. G. Comyn, N. E. Fuchs, M. J. Ratcliffe), Springer-Verlag, 1992, str. 203–230.
- ^ Kowalski, R., „Využití Metalogic ke sladění reaktivních s racionálními agenty“. v Meta-logika a logické programování (K. Apt a F. Turini, eds.), MIT Stiskněte, 1995.
- ^ Kowalski, R. a Sadri, F., „Od logického programování k multiagentním systémům“, Annals of Mathematics and Artificial Intelligence, Svazek 25 (1999), str. 391–419.
- ^ Eshghi, K. a Kowalski, R., „Únos prostřednictvím dedukce“. Katedra výpočetní techniky, Imperial College, 1988.
- ^ Kakas, T., Kowalski, K. a Toni, F., "Abductive Logic Programming". Journal of Logic and Computation 1992, sv. 2 č. 6, s. 719–770.
- ^ Bondarenko, A., Dung, P. M., Kowalski, R. a Toni, F. „Abstract Argumentation-theoretic Approach to Default Reasoning“. Journal of Artificial Intelligence, 93 (1–2), 1997, str. 63–101.
- ^ Dung, P. M., Kowalski, R. a Toni, F. „Dialektické důkazní postupy pro předpoklady založené na přípustné argumentaci“. Journal of Artificial Intelligence, 170 (2), únor 2006, s. 114–159.
- ^ Kowalski, R.A., 1979. [1] Logika pro řešení problémů, Elsevier, Severní Holandsko.
- ^ Kowalski, R.A., 2011. [2] Výpočtová logika a lidské myšlení - Jak být uměle inteligentní, Cambridge University Press.
- ^ http://lps.doc.ic.ac.uk
- ^ [3]
- ^ [4]