L'interprétation procédurale des clauses de Horn, développée par Robert Kowalski, fournit la base opérationnelle du raisonnement arrière dans la programmation logique. Né en 1941 à Bridgeport, dans le Connecticut, ce mathématicien et informaticien a concentré sa carrière sur l'intersection de la démonstration automatique de théorèmes et des modèles informatiques orientés vers l'humain, principalement au sein d'institutions universitaires au Royaume-Uni.
Parcours académique
Kowalski a fréquenté la Fairfield College Preparatory School avant de poursuivre ses études supérieures. Il a obtenu une licence en mathématiques à l'université de Bridgeport en 1963, suivie d'une maîtrise en mathématiques à l'université de Stanford en 1966. Ses études doctorales l'ont conduit à l'université de Varsovie, puis à l'université d'Édimbourg, où il a obtenu un doctorat en informatique en 1970.
Fondements de la programmation logique
Sa carrière de chercheur a débuté en tant que boursier à l'université d'Édimbourg de 1970 à 1975. En 1975, il a rejoint le département d'informatique de l'Imperial College de Londres. Il a obtenu une chaire de logique computationnelle en 1982 et le statut de professeur émérite en 1999. Au début de cette période, il a développé la résolution SL avec Donald Kuehner et a formulé la procédure de preuve par graphes de connexion. En collaboration avec Maarten van Emden, il a établi la sémantique du point fixe et le modèle minimal des clauses de Horn, qui définissent les fondements logiques du domaine.
Applications dans le droit et la logique
Kowalski a étendu la portée de la programmation logique à des domaines complexes tels que le raisonnement juridique. Avec Marek Sergot, il a développé le calcul des événements et a appliqué la programmation logique pour créer les premiers systèmes experts juridiques. Leur étude de 1986, The British Nationality Act as a Logic Program, reste une œuvre séminale en droit informatique, valant à l'équipe le prix CodeX inaugural en 2021. En outre, ses travaux avec Fariba Sadri ont conduit à la création de systèmes de production logique et au développement du Logical English, une syntaxe restreinte conçue pour améliorer la communication et formaliser les contrats juridiques.
Vingt questions, huit minutes au chronomètre et un centile mesuré face à tous ceux qui l’ont passé. Sans inscription.
Passer le test de QI →Reconnaissance professionnelle
Ses contributions ont été marquées par d'importantes distinctions professionnelles. Il a été élu membre de l'Association for the Advancement of Artificial Intelligence en 1991 et de l'Association for Computing Machinery en 2001. En 2011, il a reçu le prix IJCAI pour l'excellence de ses recherches. Entre 2012 et 2014, il a été titulaire d'un prix de la Société japonaise pour la promotion de la science pour les scientifiques éminents.
Faits marquants
- Naissance : 1941, Bridgeport - Domaine : Logique et informatique - Doctorat : Université d'Édimbourg, 1970 - Professeur émérite : Imperial College de Londres - Membre : AAAI, ACM - Intérêt principal : Logique computationnelle - Ouvrage notable : Logic for Problem Solving, 1979 - Lauréat du prix CodeX : 2021
Questions posées par les lecteurs
### Quelle est la fonction principale du Logical English ?
Il sert de sucre syntaxique pour des langages de programmation comme Prolog, destiné à permettre aux individus de lire et de comprendre des règles logiques en utilisant une syntaxe anglaise standard.
### Comment Kowalski relie-t-il la logique à la pensée humaine ?
Il soutient que la logique computationnelle agit comme un modèle de résolution de problèmes qui, combiné à la théorie de la décision, peut améliorer la communication en langage naturel et les compétences en raisonnement pratique.
