
Le concept de preuve à la lumière de l'intelligence artificielle
La preuve est à l'?uvre dans toutes les activités théoriques et pratiques. Dans la recherche scientifique, on recourt à la preuve pour faire admettre une découverte à 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. Celle-ci 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. Ce livre, fruit de plusieurs années de recherche collective et internationale, propose les analyses qui permettent de caractériser l'activité probatoire dans l'unité de son projet et la diversité de ses manifestations. L'ouvrage se divise en quatre parties. La première est constituée par une réflexion philosophique sur le formalisme et l'activité de preuve, la seconde est plus particulièrement consacrée à la logique, la troisième pose les problèmes des formes d'automatisation de la preuve et déborde sur la quatrième qui traite des activités probatoires dans les sciences humaines.
| Nombre de pages | 370 |
|---|---|
| Date de parution | 17/11/1999 |
| Poids | 520g |
| Largeur | 150mm |
| EAN | 9782130501046 |
|---|---|
| Titre | Le concept de preuve à la lumière de l'intelligence artificielle |
| Auteur | Szczeciniarz Jean-Jacques ; Sallantin Jean |
| Editeur | PUF |
| Largeur | 150 |
| Poids | 520 |
| Date de parution | 19991117 |
| Nombre de pages | 370,00 € |
| Disponibilité | Sur commande en 4-6 jours |
Pourquoi choisir Molière ?
Du même auteur
-

Copernic et le mouvement de la Terre
Szczeciniarz Jean-JacquesIl est peu de découvertes scientifiques qui aient suscité autant de fascination et de commentaires que celle de Copernic: la Terre n'est pas située au centre de l'univers et elle est en mouvement autour du Soleil. S'interrogeant sur les raisons de cette postérité exceptionnelle qui vit Copernic devenir un paradigme philosophique, Jean-Jacques Szczeciniarz analyse les relations entre ce que l'on appelle la révolution copernicienne et la réalité des résultats acquis par Copernic, et propose un parcours détaillé des textes de l'astronome. On y voit se dessiner un itinéraire jalonné d'hésitations et de contradictions. Hétérogène, l'oeuvre de Copernic hésite entre l'archaïque et le nouveau: au prix d'un gigantesque effort, Copernic a tenté d'adapter ses hypothèses à l'astronomie médiévale et renaissante. Il n'en a pas moins produit une nouvelle conception, véritablement philosophique, de l'apparence. Parce que Copernic invente l'idée d'un observateur en mouvement, pris dans l'objet même qu'il étudie, la philosophie se voit dès lors contrainte de penser sur de nouvelles bases ce qu'il en est de la connaissance. Mieux encore, la révolution copernicienne nous montre que nos grandes conquêtes scientifiques passent par le renoncement aux situations privilégiées que nous croyons légitimement occuper.EpuiséVOIR PRODUIT26,30 € -

La Terre immobile. Aristote, Ptolémée, Husserl
Szczeciniarz Jean-Jacques ; Damour ThibaultTous les commencements sont grands ! Le bel essai de Jean-Jacques Szczeciniarz sur le géocentrisme vient à point nous le rappeler. Et contrairement aux apparences, la réflexion de Jean-Jacques Szczeciniarz sur la signification profonde du géocentrisme antique pourrait bien être d'une brûlante actualité pour la science actuelle, laquelle cherche confusément un nouveau paradigme global. La myopie intellectuelle d'une certaine histoire des sciences tendrait à nous faire accroire que le géocentrisme aristotélicien était une erreur de parcours de la science, fondée sur une généralisation abusive de témoignage des sens. Jean-Jacques Szczeciniarz démontre de façon convaincante que le géocentrisme a joué un rôle clé dans la fondation de la scientificité chez les grecs en étant une condition nécessaire de la conceptualisation globale de l'Univers sous le mode de la sphère. On découvre dans ce livre un profond jeu d'inversion par lequel la place du regard central est en dualité avec le tout systématisé sous la figure de la sphère. L'univers antique est tout autant cosmocentrique que géocentrique. Et c'est là une des leçons majeures que je retiens de ce livre car j'y vois un message d'une grande actualité. La science grecque n'a pu commencer à décrire rationnellement la physique du monde local que quand elle a réussi à penser la globalité en termes géométriques (sphère). D'où la prégnance de la description sphérique (puis circulaire, puis épicyclique) des mouvements planétaires.Sur commande en 4-6 joursCOMMANDER35,50 € -

In the steps of Galois. Proceedings of the Evarist Galois Bicentenary Meeting
Szczeciniarz Jean-Jacques ; Cifuentes José-CarlosSur commande en 2-4 joursCOMMANDER42,65 € -

Hommage à Jean Cavaillès
Szczeciniarz Jean-Jacques ; Mélès BaptisteSur commande en 2-4 joursCOMMANDER27,15 €
Du même éditeur
-

Droit des aides publiques aux entreprises
Cartier-Bresson Anémone ; Labrusse-Riou CatherineApproche transversale des règles d'encadrementPREMIÈRE PARTIE : L'appréhension des aides 1 ? Logiques variables et enjeux communs 2 ? L'approche extensive de l'aide d'État 3 ? Approches plus partielles de la notion d'aide aux entreprises DEUXIÈME PARTIE : La mise en ?uvre des aides 1 ? Dérogations à la prohibition des aides d'État 2 ? La mise en ?uvre des aides européennes 3 ? La mise en ?uvre des aides en droit interne TROISIÈME PARTIE : Le contrôle des aides 1 ? Le contrôle de la compatibilité des aides d'État 2 ? Le contrôle des financements européens 3 ? Les contrôles découlant du droit interne 4 ? La régulation internationale des subventions QUATRIÈME PARTIE : La remise en cause des aides 1 ? La suppression des aides 2 ? Le contentieux des aides aux entrepriseSur commande en 4-6 joursCOMMANDER32,00 € -

Les crises du logement
Driant Jean-Claude ; Madec PierreLe marché du logement n'est pas un marché comme un autre. L'accès au logement, malgré son statut de droit opposable, est rendu de plus en plus difficile, notamment pour les jeunes générations, du fait de la progression importante des dépenses en logement des ménages. Pour des raisons similaires, l'accession à la propriété des ménages modestes est rendue de plus en plus en complexe. Le logement, premier actif du patrimoine des ménages, est devenu l'un des principaux vecteurs de transmissions intergénérationnelles. Le mal-logement et les situations d'exclusion continuent de progresser en France et la question se pose de la capacité de notre société à enrayer ces phénomènes aux facettes multiples. Les divergences observées entre les différents marchés du logement ont eu pour conséquence la rupture du parcours résidentiel d'un grand nombre de ménages. Apprendre à identifier et à vaincre les crises du logement qui traversent la France devrait constituer l'une des problématiques centrales du débat public pour les prochaines années.Sur commande en 4-6 joursCOMMANDER9,50 € -

L'engagement rationaliste
Bachelard Gaston ; Bontems Vincent ; Canguilhem GePour une révolution permanente de la raisonRecueil d'articles dont la première édition a été publiée en 1972 dans la collection Bibliothèque française contemporaine. L'Engagement rationaliste suit l'intégralité de la trajectoire de Gaston Bachelard. Composé, titré et préfacé par Georges Canguilhem, ce recueil s'ouvre avec un manifeste épistémologique révolutionnaire (« Le surrationalisme ») rédigé en soutien au Front populaire, et s'achève avec l'éloge de Jean Cavaillès, l'ami chef de la Résistance assassiné par les nazis, manifestant ainsi le caractère engagé de l'épistémologie. Cet engagement consiste en premier lieu à suivre la science dans ses progrès : « il faut que le rationaliste soit de son temps, et j'appelle de son temps, du temps scientifique, de la science du temps que nous vivons actuellement ». Un tel rationalisme révise ses connaissances, ses méthodes et jusqu'à ses principes. Il ne lutte pas seulement contre le sens commun, mais aussi contre des normes de scientificité héritées du passé. Cette posture résolument progressiste résonne avec d'autres positions avant-gardistes. La présente édition, présentée et commentée par Vincent Bontems, précise l'origine des textes, restitue leur contexte, et identifie la source des citations et des concepts, afin d'éclairer le sens des engagements de la pensée et de l'existence de Bachelard.Sur commande en 4-6 joursCOMMANDER16,00 € -

Actuel Marx N° 68, deuxième semestre 2020 : Nation(s)
Marx, Engels et nombre de marxistes ont été confrontés à la question nationale. Faut-il défendre la nation ? Sous quelles conditions et dans quel contexte ? Les plus célèbres figures du marxisme (Lénine, Rosa Luxemburg) ont proposé des solutions divergentes voire profondément contradictoires, et suggéré de soutenir certaines causes nationales (notamment celles des peuples opprimés) ou bien au contraire parfois de répudier toute appartenance à un territoire ou une culture. Récemment, la crise de l'Union européenne et l'implosion de plusieurs Etats-nations au Moyen-Orient ont remis sur le devant de la scène les problématiques nationales, que d'aucuns estimaient dépassé à l'heure de la mondialisation et de l'effacement (présumé) des frontières et des espaces nationaux. Ce numéro propose ainsi à la fois de revenir sur les définitions de la nation et du nationalisme proposées par les marxistes mais également sur des enjeux plus contemporains, à travers des études de cas concernant plusieurs continents.Sur commande en 4-6 joursCOMMANDER24,99 €
De la même catégorie
-

Balthazar et "Comment sont faits les bébés ?"
Place Marie-Hélène ; Fontaine-Riquier CarolinePrésentation de l'éditeur Pippa et Martin promènent leur petite soeur Cécilia.D'où vient-elle ? demande Cassandre.C'est papa et maman qui l'ont faite, répond Pippa.J'aimerais bien savoir comment sont faits les bébés ! dit Balthazar.Ça, c'est facile, dit Martin, papa nous a tout raconté...La merveilleuse aventure de la vie racontée par des enfants, avec leur sensibilité et leurs questionnements. Ce livre laisse libre d'approfondir certains sujets au rythme de l'enfant : faites-lui confiance, laissez-vous guider.EpuiséVOIR PRODUIT16,75 € -

Drôles d'animaux à compter
DOLINAR MOJCAUn livre à toucher qui stimule la vision grâce à des couleurs très contrastées et éveille les sens des tout-petits en mettant en scène des animaux à pois et à rayures que les enfants doivent s'amuser à compter.Sur commande en 6-10 joursCOMMANDER8,16 € -

L'inspecteur Petit et l'Aimant infernal
Iturbe Antonio G. - Adenis LouiseL'inspecteur Petit et son fidèle assistant chinois Chan San Peur sont deux policiers très malins : c'est pour cela qu'on leur confie toujours des enquêtes super-difficiles ! Surveiller le transport d'un aimant géant, voilà une mission facile ! Et pourtant... Lorsque l'aimant disparaît subitement, les enquêteurs devront faire preuve d'astuce et de ténacité pour le retrouver. La seconde énigme est encore plus bizarre... Pourquoi a-t-on dérobé la perruque de M. Montana ? L'inspecteur Petit sera presque obligé de sauter un repas pour résoudre cette mystérieuse disparition ! En plus : une loupe pour décrypter les réponses !Sur commande en 6-10 joursCOMMANDER5,30 € -

Le mystère du château. Edition 2019
Wich HenrietteBen, Zoé, Antoine et leur chien Watson forment une jeune équipe de détectives rusés et tenaces. Ils disposent en plus d'un formidable atout : le pouvoir d'invisibilité ! Voici pourquoi ils ont choisi pour nom : les 4 Invisibles ! Cette aventure les mène au château de Quérifond où il se passe des choses bizarres : des bruits étranges montent des oubliettes et le châtelain a l'air bien nerveux... Heureusement que les 4 Invisibles sont là pour enquêter ! En plus : une loupe pour décrypter les réponses !Sur commande en 6-10 joursCOMMANDER5,30 €
