Robert Kowalski
![](http://178.128.105.246/cars-http-upload.wikimedia.org/wikipedia/commons/thumb/6/6f/Robert_Kowalski.jpg/220px-Robert_Kowalski.jpg)
Robert Anthony Kowalski (Bridgeport, 15 maggio 1941) è un informatico e logico statunitense.
La sua ricerca si orienta allo sviluppo sia di modelli di calcolo orientati all'uomo che di modelli computazionali del pensiero umano. Ha trascorso la maggior parte della sua carriera nel Regno Unito.
Formazione scolastica
[modifica | modifica wikitesto]Ha studiato presso l'Università di Chicago, l'Università di Bridgeport (laurea in matematica nel 1963), la Stanford University (master in matematica, 1966), l'Università di Varsavia e l'Università di Edimburgo (dottorato di ricerca in informatica, 1970).
Carriera
[modifica | modifica wikitesto]È stato ricercatore presso l'Università di Edimburgo (1970-75) e dal 1975 al Dipartimento di informatica dell'Imperial College di Londra, conseguendo una cattedra in logica computazionale nel 1982 e diventando professore emerito nel 1999.
Ha iniziato la sua ricerca nel campo della dimostrazione automatizzata di teoremi, sviluppando sia la risoluzione SL[1] con Donald Kuehner che la procedura di dimostrazione del grafo di connessione. Ha sviluppato la risoluzione SLD e l'interpretazione procedurale delle clausole di Horn, che sono alla base della semantica operativa del ragionamento all'indietro nella programmazione logica. Con Maarten van Emden, ha anche sviluppato il modello minimo e la semantica del punto fisso delle clausole di Horn, che sono alla base della semantica logica della programmazione logica.
Con Marek Sergot, ha sviluppato sia il calcolo degli eventi[2] che l'applicazione della programmazione logica al ragionamento giuridico. Con Fariba Sadri, ha sviluppato un modello agente[3][4] in cui le credenze sono rappresentate da programmi logici e gli obiettivi sono rappresentati da vincoli di integrità.
Kowalski è stato uno degli sviluppatori di Abductive Logic Programming, in cui i programmi logici sono aumentati con vincoli di integrità e con predicati abducibili indefiniti[5][6]. Questo lavoro ha portato alla dimostrazione con Phan Minh Dung e Francesca Toni che la maggior parte delle logiche per il ragionamento predefinito possono essere considerate casi speciali di argomentazione basata su ipotesi[7][8].
Nel suo libro del 1979, Logic for Problem Solving[9], Kowalski sostiene che l'inferenza logica fornisce un modello semplice e potente di risoluzione dei problemi che può essere utilizzato sia dagli esseri umani che dai computer. Nel suo libro del 2011, Computational Logic and Human Thinking - How to be Artificially Intelligent, sostiene che l'uso della logica computazionale può aiutare le persone comuni a migliorare le proprie capacità di comunicazione in linguaggio naturale e che, in combinazione con la teoria delle decisioni, può essere utilizzato per migliorare le loro capacità pratiche di problem solving.
Più recentemente, in collaborazione con Fariba Sadri, ha sviluppato la logica e il linguaggio informatico LPS[10] (Logic Production Systems), che integra gran parte del suo precedente lavoro sulla logica computazionale.
Onorificenze e premi
[modifica | modifica wikitesto]Kowalski è stato eletto Fellow dell'American Association for Artificial Intelligence nel 1991, dell'European Co-ordinating Committee for Artificial Intelligence nel 1999 e dell'Association for Computing Machinery nel 2001. Ha ricevuto il IJCAI Award for Research Excellence, "per i suoi contributi alla logica per la rappresentazione della conoscenza e la risoluzione dei problemi, compreso il suo lavoro pionieristico sulla dimostrazione automatizzata di teoremi e sulla programmazione logica" nel 2011, e il premio Japan Society for the Promotion of Science per Eminent Scientists per il 2012-2014.
Note
[modifica | modifica wikitesto]- ^ Kowalski, R. and Kuehner, D., "Linear Resolution with Selection Function", in Artificial Intelligence, Vol. 2, 1971, pp. 227–260. Reprinted in Anthology of Automated Theorem-Proving Papers, Vol. 2, Springer-Verlag, 1983, pp. 542–577.
- ^ Kowalski, R. and Sergot, M., "A Logic-based Calculus of Events", in New Generation Computing, Vol. 4, No. 1, February 1986, pp. 67–95. Also in Knowledge Base Management-Systems, (eds. C. Thanos and J. W. Schmidt), Springer-Verlag, pp. 23–51. Also in The Language of Time: A Reader (eds. Inderjeet Mani, J. Pustejovsky, and R. Gaizauskas). Oxford University Press, 2005.
- ^ Kowalski, R., "Using Metalogic to Reconcile Reactive with Rational Agents". In Meta-Logics and Logic Programming (K. Apt and F. Turini, eds.), MIT Press, 1995.
- ^ Kowalski, R. and Sadri, F., "From Logic Programming towards Multi-agent Systems", Annals of Mathematics and Artificial Intelligence, Volume 25 (1999), pp. 391–419.
- ^ Eshghi, K.,and Kowalski, R., "Abduction through deduction". Department of Computing, Imperial College, 1988.
- ^ Kakas, T., Kowalski, K. and Toni, F., "Abductive Logic Programming". Journal of Logic and Computation, 1992, Vol. 2 No. 6, pp. 719–770.
- ^ Bondarenko, A., Dung, P. M., Kowalski, R., and Toni, F. " An Abstract Argumentation-theoretic Approach to Default Reasoning". Journal of Artificial Intelligence, 93(1–2), 1997, pp 63–101.
- ^ Dung, P. M., Kowalski, R., and Toni, F. "Dialectic proof procedures for assumption-based, admissible argumentation". Journal of Artificial Intelligence, 170(2), February 2006, pp. 114–159.
- ^ Kowalski, R.A., 1979. [1] Logic for Problem Solving, Elsevier, North Holland.
- ^ http://lps.doc.ic.ac.uk
Collegamenti esterni
[modifica | modifica wikitesto]- Kowalski, in Enciclopedia della Matematica, Istituto dell'Enciclopedia Italiana, 2013.
- (EN) Robert Kowalski, su Mathematics Genealogy Project, North Dakota State University.
Controllo di autorità | VIAF (EN) 164403553 · ISNI (EN) 0000 0001 1786 4671 · LCCN (EN) n79112883 · GND (DE) 123879507 · J9U (EN, HE) 987007425232805171 · NDL (EN, JA) 00446226 |
---|