Robert Kowalski - Robert Kowalski
Robert Kowalski | |
|---|---|
 | |
| Née |
15 mai 1941
Bridgeport , Connecticut, États-Unis
|
| Nationalité | Britanique |
| mère nourricière |
Université de Chicago Université de Bridgeport Université de Stanford Université de Varsovie Université d'Édimbourg |
| Connu pour |
Programmation logique Calcul d'événement |
| Récompenses | Prix IJCAI pour l'excellence en recherche (2011) |
| Carrière scientifique | |
| Des champs |
Logique Informatique |
| Établissements |
Université d'Édimbourg Imperial College de Londres |
| Thèse | Études sur l'exhaustivité et l'efficacité de la preuve de théorème par résolution (1970) |
| Conseiller de doctorat | Bernard Meltzer |
| Doctorants |
David HD Warren Keith Clark |
Robert Anthony Kowalski (né le 15 mai 1941) est un logicien et informaticien américano-britannique , dont les recherches portent sur le développement de modèles informatiques orientés vers l'homme et de modèles informatiques de la pensée humaine. Il a passé la majeure partie de sa carrière au Royaume-Uni.
Éducation
Il a fait ses études à l' Université de Chicago , à l' Université de Bridgeport (BA en mathématiques, 1963), à l'Université de Stanford (MSc en mathématiques, 1966), à l' Université de Varsovie et à l' Université d'Édimbourg (doctorat en informatique , 1970).
Carrière
Il a été chercheur à l' Université d'Édimbourg (1970-1975) et travaille au Département d'informatique de l'Imperial College de Londres depuis 1975, obtenant une chaire en logique informatique en 1982 et devenant professeur émérite en 1999.
Il a commencé ses recherches dans le domaine de la preuve automatisée de théorèmes , développant à la fois la résolution SL avec Donald Kuehner et la procédure de preuve de graphe de connexion. Il a développé la résolution SLD et l'interprétation procédurale des clauses de Horn , qui sous-tendent la sémantique opérationnelle du raisonnement à rebours dans la programmation logique . Avec Maarten van Emden., il a également développé le modèle minimal et la sémantique des points fixes des clauses de Horn, qui sous-tendent la sémantique logique de la programmation logique.
Avec Marek Sergot, il a développé à la fois le calcul des événements et l'application de la programmation logique au raisonnement juridique . Avec Fariba Sadri, il a développé un modèle d'agent dans lequel les croyances sont représentées par des programmes logiques et les objectifs sont représentés par des contraintes d'intégrité .
Kowalski était l'un des développeurs de la programmation logique abductive , dans laquelle les programmes logiques sont augmentés de contraintes d'intégrité et de prédicats abductibles indéfinis. Ce travail a conduit à la démonstration avec Phan Minh Dung et Francesca Toni que la plupart des logiques de raisonnement par défaut peuvent être considérées comme des cas particuliers d' argumentation fondée sur des hypothèses .
Dans son livre de 1979, Logic for Problem Solving , Kowalski soutient que l'inférence logique fournit un modèle simple et puissant de résolution de problèmes qui peut être utilisé à la fois par les humains et les ordinateurs. Dans son livre de 2011, Computational Logic and Human Thinking - How to be Artificially Intelligent , il soutient que l'utilisation de la logique computationnelle peut aider les gens ordinaires à améliorer leurs compétences en communication en langage naturel et qu'en combinaison avec la théorie de la décision, elle peut être utilisée pour améliorer leurs capacités pratiques de résolution de problèmes.
Plus récemment, en collaboration avec Fariba Sadri, il a développé le langage logique et informatique LPS (Logic Production Systems), qui intègre une grande partie de ses travaux antérieurs sur la logique computationnelle.
Honneurs et récompenses
Kowalski a été élu membre de l' American Association for Artificial Intelligence en 1991, du European Co-ordinating Committee for Artificial Intelligence en 1999 et de l' Association for Computing Machinery en 2001. En 2011, il a reçu le IJCAI Award for Research Excellence , " pour ses contributions à la logique pour la représentation des connaissances et la résolution de problèmes, y compris ses travaux pionniers sur la démonstration automatisée de théorèmes et la programmation logique ». En 2012, il a reçu le Japan Society for the Promotion of Science Award for Eminent Scientists pour 2012-2014. En 2021, il a reçu le Prix Inaugural CodeX pour son travail avec Fariba Sadri et Marek Sergot « en reconnaissance de leur travail révolutionnaire sur l'application de la programmation logique à la formalisation et à l'analyse du British Nationality Act. L'article fondateur des auteurs, « The British Nationality Act as a Logic Program », publié en 1986 dans la revue Communications of the ACM, est l'un des premiers et des plus connus travaux en droit informatique, et l'un des articles les plus cités dans le domaine. » [4]
Livres
- Logic for Problem Solving , Hollande du Nord, Elsevier, 1979.
- Logique computationnelle et pensée humaine : comment être artificiellement intelligent , Cambridge University Press, 2011.