logo librairie

CONNEXION



Mot de passe oublié?
Inscription
image mon panier
image TangenteMag

image Tangente Education
image Jouer Bridge
image logo Club Tangente


POLE
Thématiques

5,10 €

Hors-série 15 - La logique 2eme partie

Collectif Tangente

Présentation

SOMMAIRE


De 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