Brève description / annotation

TABLE DES MATIÈRES Introduction, La preuve à la lumière (?) de l'intelligence artificielle, par Jean Sallatin et Jean-Jacques Szczeciniarz De la connaissance au calcul : implications épistémologiques du cognitivisme, par Claude Imbert Descartes et Euclide : Le cogito comme ultime preuve, par Jean-Jacques Szczeciniarz Le programme de Hilbert, par Kosta Dosen La logique paraconsistante, par Newton C. A. da Costaz et Jean-Yves Béziau Vers un métamathématicien artificiel, par Jacques Pitrat Sur les preuves non déductives en intelligence artificielle, par Pierre Marquis Vers un démonstrateur adaptatif, par Catherine Belleannée, Jacques Nicolas et Raoul Vorc'h Appendre la preuve, par Nicolas Balacheff Preuves de la déduction automatique et analogie, par Régis Curien Les cadres probatoires, par Jean Sallantin Règles, déduction, grammaire et langage, par Ricard Zuber Des régimes de preuves en langues et discours, par Georges Vignaux La preuve et le contrat, par Didier Ferrier Le raisonnement historique à l'épreuve de l'IA, par Jean-Claude Gardin, Monique Renaud et Marie-Salomé Lagrange

Détails