Robert Kowalski

De la Wikipedia, enciclopedia liberă.
Salt la navigare Salt la căutare

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ă

  1. ^ 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.
  2. ^ 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.
  3. ^ 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.
  4. ^ 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.
  5. ^ Eshghi, K. și Kowalski, R., "Răpirea prin deducție". Departamentul de Calcul , Colegiul Imperial , 1988.
  6. ^ Kakas, T., Kowalski, K. și Toni, F., "Programare logică abductivă". Journal of Logic and Computation , 1992, Vol. 2 Nr. 6, pp. 719–770.
  7. ^ 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.
  8. ^ 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.
  9. ^ Kowalski, RA, 1979. [1] Logică pentru rezolvarea problemelor, Elsevier, Olanda de Nord.
  10. ^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