Le concept de preuve à la lumière de l'intelligence artificielle
zoom_out_map
chevron_left chevron_right

Le concept de preuve à la lumière de l'intelligence artificielle

Editions PUF
Format Broché

Auteur : Jean Sallantin, Jean-Jacques Szczeciniarz
32,68 €
TTC Livraison sous 15 jours
 Notes et avis clients
personne n'a encore posté d'avis
sur cet article

Description

La preuve est partout à l'oeuvre dans les activités pratiques mais aussi théoriques, elle reste très difficile à définir, ses formes sont très variées. La preuve est l'expression de la persévérance de l'être que Spinoza a mise à la base de sa philosophie. Dans la recherche scientifique, on recourt à la preuve pour faire admettre une déccouverte à une communauté donnée. Une preuve s'administre dans un conflit. Toute preuve apparaît ainsi comme une conséquence de la tension qui règne entre l'intérieur et l'extérieur de la science. Cette tension se révèle essentielle à la démarche scientifique en tant que telle. L'un des intérêts majeurs de la recherche en intelligence artificielle tient à ce qu'elle permet de soumettre cette tension même à un examen approfondi. Elle mobilise à cette fin toutes les ressources de l'automatisation et de la formalisation. Les différents textes ici rassemblés montrent que l'intelligence artificielle permet de poser différemment le problème de la preuve de trois façons : elle interroge directement ce qui dans la preuve relève d'une autoréférence, elle suppose un examen continu de ce par quoi toutes les formes de connaissances sont à même de s'exposer, enfin elle fait de la question de la technique des connaissances une question philosophique qui nous ramène à celle que posent toutes les formes d'automatisation des processus de pensée. L'ouvrage se divise en quatre parties : -- réflexion philosophique sur le formalisme et l'activité de preuve-- logique-- problèmes des formes d'automatisation de la preuve-- activités probatoires dans les sciences humainesTexte de couverture

Caractéristiques

9782130501046
15 cm
21.70 cm
2.50 cm
0.52 kg
10 Produits
Caractéristiques
Date de parution
17/11/1999

Livraison à la Martinique

Notre priorité est votre satisfaction et nous mettons tout en œuvre pour vous apporter un service irréprochable.

la Guadeloupe

  • Isleden livre chez vous en Martinique !

Grâce à sa logistique ultra-performante, grâce à ses partenaires locaux, Isleden apporte votre commande directement chez vous ou dans votre boîte aux lettres si vous n'êtes pas là.

Si la valeur est importante, le colis sera remis contre signature. En cas d'absence, si votre colis est trop volumineux, il sera mis en instance dans votre bureau de Poste le plus proche.

Commandez depuis votre canapé et faites vous livrer à domicile. C'est aussi simple que ça !

Livreur avec un colis pour son client
  • Livraison en moins de 15 jours sur plus d'1 million d'articles disponibles !

Chaque jour, Isleden ajoute à son catalogue de nouveaux fournisseurs et des milliers de produits. Revenez régulièrement pour trouver la perle rare.

Dès la commande passée, nous mettons tout en œuvre afin de réduire le temps de livraison. Nos transporteurs et partenaires locaux font le maximum pour vous apporter rapidement votre commande, dans les meilleures conditions.

Que vous commandiez un téléphone mobile, une perceuse ou  un ordinateur portable, nous attachons une grande importance à ce que vous profitiez rapidement de votre achat.

Drapeau de la Martinique
  • Un service Exclusif pour les martiniquais !

Fini la galère des achats sur les sites qui ne livrent pas directement, rapatriés comme on peut, sans retour possible ni SAV, et parfois avec une ardoise à l'arrivée qu'on avait pas prévu.

Chez Isleden il n'y a pas de taxes ni de frais de douane. Nos prix sont tout compris et vous n'avez rien à payer à l'arrivée. Vous avez la possibilité de nous retourner votre produit sous 14 jours et le SAV est bien sûr pris en charge.

Tous nos produits sont garantis et bénéficient du service premium Isleden. en cas de panne, le formulaire disponible sur le site permet faciemnt d'enregistrer son SAV qui sera alors traité dans les meilleurs délais.

 Avis

Soyez le premier à donner votre avis !