Public ciblé : Tout public  Dernière mise à jour : 05/10/2021 Fabien Gandon, chercheur INRIA, nous explique ce qu'est un graphe de connaissance, sujet très important en intelligence artificielle!  Merci à lui pour ce partage à destination du grand public. Cet article est également co-publié sur le Blog Binaire blog de médiation autour du numérique du journal le Monde.fr Comment représenter des connaissances de manière formelle pour que des logiciels puissent les utiliser ? Plein de trucs ont été essayés et... Lire la suite

L'informatique est une science, soit. Mais alors quel est son lien avec la logique cette étude des règles formelles de tout raisonnement ? « C’est peut-être pas très logique, mais il n’y a pas qu’une seule logique ! Selon ce qu’on accepte comme mécanisme de raisonnement, on peut définir différentes logiques. Parmi elles, il y a la logique dite classique des mathématiciens ou la logique dite intuitionniste des informaticiens. Enfin pas tout à fait non plus : les deux sciences informatiques et... Lire la suite

J'ai le plaisir et privilège d'inviter, Patrice Leterrier, celui qui depuis le début à l'immense gentillesse de compléter, améliorer les petits billets de ce blog. À son tour de prendre la parole. Il nous raconte une belle histoire : celle du mot « ordinateur ». ... Lire la suite