Robert Kowalski
Robert Anthony Kowalski ( Bridgeport , 15 mai 1941 ) este un computer american și logic . A cărui cercetare se ocupă cu dezvoltarea atât a modelelor de calcul orientate spre om, cât și a modelelor de calcul ale gândirii umane. A petrecut cea mai mare parte a carierei sale în Marea Britanie .
Educaţie
A studiat la Universitatea din Chicago , Universitatea din Bridgeport (licență în matematică în 1963 ), Universitatea Stanford (masterat în matematică , 1966 ), Universitatea din Varșovia și Universitatea din Edinburgh (doctorat în informatică, 1970 ).
Carieră
A fost cercetător la Universitatea din Edinburgh (1970-75) și din 1975 la Departamentul de Informatică al Imperial College din Londra , câștigând o catedră de logică computațională în 1982 și devenind profesor emerit în 1999 .
El și-a început cercetările în domeniul verificării automatizate a teoremelor, dezvoltând atât rezoluția SL [1] cu Donald Kuehner, cât și procedura de verificare a graficului de conexiune. El a dezvoltat rezoluția SLD și interpretarea procedurală a clauzelor Horn, care stau la baza semanticii operaționale a raționamentului înapoi în programarea logică. Cu Maarten van Emden, el a dezvoltat, de asemenea, modelul minim și semantica punctului fix al clauzelor Horn, care stau la baza semanticii logice a programării logice.
Cu Marek Sergot , el a dezvoltat atât calculul evenimentelor [2], cât și aplicarea programării logice la raționamentul juridic. Cu Fariba Sadri , el a dezvoltat un model de agent [3] [4] în care credințele sunt reprezentate de programe logice și obiectivele sunt reprezentate de constrângeri de integritate.
Kowalski a fost unul dintre dezvoltatorii programării logice abductive, în care programele logice sunt mărite cu constrângeri de integritate și cu predicate nedefinite abducibile [5] [6] . Această lucrare a condus la demonstrația cu Phan Minh Dung și Francesca Toni că majoritatea logicii pentru raționamentul predefinit pot fi considerate cazuri speciale de argumentare bazată pe ipoteze [7] [8] .
În cartea sa din 1979, Logic for Problem Solving [9] , Kowalski susține că inferența logică oferă un model simplu și puternic de rezolvare a problemelor care poate fi folosit atât de oameni, cât și de computere. În cartea sa din 2011, Computational Logic and Human Thinking - How to be Artificially Intelligent , el susține că utilizarea logicii de calcul poate ajuta oamenii obișnuiți să-și îmbunătățească abilitățile de comunicare în limbaj natural și că, în combinație cu teoria deciziilor, poate fi folosit pentru să-și îmbunătățească abilitățile practice de rezolvare a problemelor .
Mai recent, în colaborare cu Fariba Sadri, a dezvoltat limbajul de logică și computer LPS [10] (Logic Production Systems), care integrează o mare parte din lucrările sale anterioare privind logica de calcul.
Distincții și premii
Kowalski a fost ales membru al Asociației Americane pentru Inteligență Artificială în 1991 , al Comitetului European de Coordonare pentru Inteligență Artificială în 1999 și al Asociației pentru Mașini de Calcul în 2001 . A primit premiul IJCAI pentru excelență în cercetare, „pentru contribuțiile sale la logică pentru reprezentarea cunoștințelor și rezolvarea problemelor, inclusiv munca sa de pionierat în ceea ce privește dovedirea automatizată a teoremelor și programarea logică” în 2011 și Premiul societății japoneze. Pentru promovarea științei pentru eminent Oamenii de știință pentru 2012-2014.
Notă
- ^ Kowalski, R. și Kuehner, D., "Rezoluție liniară cu funcție de selecție", în Inteligență artificială, Vol. 2, 1971, pp. 227-260. Reeditat în Anthology of Automated Theorem-Proving Papers , Vol. 2, Springer-Verlag , 1983, pp. 542-577.
- ^ Kowalski, R. și Sergot, M., "Un calcul bazat pe evenimente logice", în New Generation Computing , Vol. 4, Nr. 1, februarie 1986, pp. 67-95. De asemenea, în Sisteme de gestionare a bazelor de cunoștințe (ed. C. Thanos și JW Schmidt), Springer-Verlag, pp. 23-51. De asemenea, în Limba timpului: un cititor (ed. Inderjeet Mani, J. Pustejovsky și R. Gaizauskas). Oxford University Press , 2005.
- ^ Kowalski, R., „Folosirea Metalogicului pentru a reconcilia reactivul cu agenții raționali”. În Meta-logică și programare logică (K. Apt și F. Turini, eds.), MIT Press , 1995.
- ^ Kowalski, R. și Sadri, F., "De la programarea logică la sisteme multi-agent", Annals of Mathematics and Artificial Intelligence , Volumul 25 (1999), pp. 391-419.
- ^ Eshghi, K. și Kowalski, R., "Răpirea prin deducție". Departamentul de Calcul , Colegiul Imperial , 1988.
- ^ Kakas, T., Kowalski, K. și Toni, F., "Programare logică abductivă". Journal of Logic and Computation , 1992, Vol. 2 Nr. 6, pp. 719–770.
- ^ Bondarenko, A., Dung, PM, Kowalski, R. și Toni, F. "O abordare teoretică abstractă de argumentare a raționamentului implicit". Journal of Artificial Intelligence , 93 (1-2), 1997, pp 63-101.
- ^ Dung, PM, Kowalski, R. și Toni, F. "Proceduri de probă dialectică pentru argumentare admisibilă bazată pe presupunere". Journal of Artificial Intelligence , 170 (2), februarie 2006, pp. 114–159.
- ^ Kowalski, RA, 1979. [1] Logică pentru rezolvarea problemelor, Elsevier, Olanda de Nord.
- ^http://lps.doc.ic.ac.uk
Controlul autorității | VIAF (EN) 164 403 553 · ISNI (EN) 0000 0001 1786 4671 · LCCN (EN) n79112883 · GND (DE) 123 879 507 · NDL (EN, JA) 00,446,226 · WorldCat Identities (EN) lccn-n79112883 |
---|