Hors-série 15 - La logique 2eme partie
Collectif Tangente
Présentation
SOMMAIREDe la logique humaine à l'intelligence artificielle
Pour accomplir une tâche, une machine ne peut se fonder sur la logique humaine, celle que nous utilisons pour les actions de la vie quotidienne. Le logique mathématique est nécessaire, c'est pourquoi l'informatique en est née et a poussé à mieux discerner l'aspect syntaxique traitable par ordinateur et l'aspect sémantique réservé aux seuls être humains. Bien entendu, les tâches mécanisables sont alors strictement limités. Mathématiquement, elles correspondent aux fonctions tout à la fois calculables et de complexité " raisonnable".
Pour contourner ces limitations - et pouvoir en particulier traiter des problèmes d'intelligence artificielle - on a essayé de créer des logiques plus proches de notre façon de raisonner. Ces idées ont débouchés sur les réseaux de neurones et la logique floue.
Ces apports de la logique à l'informatique l'ont fécondée en retour et ont permis en particulier de préciser la notion de preuve avec la correspondance de Curry-Howard.
Dossier
L'intelligence artificielle
Les circuits logiques
Calculabilité, décidabilité et complexité
Programmer la logique : le Prolog
Géométrie automatique
La logique floue
Les logiques non classiques
La correspondance de Curry-Howard
Syntaxe et sémantique