Uncategorized

 

Dessine-moi un graphe de connaissances !

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 du magazine "Pour la Science"  Comment représenter des connaissances de manière formelle pour que des logiciels puissent les utiliser ? Plein de trucs ont été essayés et ce qui... Lire la suite

L’informatique est-elle logique ?

19.05.2014 | par Thierry Vieville | 2 Commentaires

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