Cyc

Cyc est un projet d’intelligence artificielle (« IA ») qui cherche à développer une ontologie globale et une base de connaissance générale, dans le but de permettre à des applications d’intelligence artificielle de raisonner d’une manière similaire à l’être humain. Le projet a été lancé en 1984 par Douglas Lenat, de la société Microelectronics and Computer Technology Corporation. Le nom « Cyc » (dérivé de « encyclopédie », et prononcé saïk, est une marque déposée par Cycorp, Inc. à Austin (Texas), cette société étant gérée par Lenat et dédiée au développement de Cyc. La base de connaissances originale est propriétaire, mais une version limitée, réalisée dans le but de mettre au point un vocabulaire courant pour le raisonnement automatique, a été publiée sous licence Open Source sous le nom d’OpenCyc. Plus récemment, Cyc a été mis à la disposition de chercheurs en IA sous une licence destinée à la recherche, sous le nom de ResearchCyc. On peut présenter comme exemples-types de connaissances représentées dans la base de données : « Tout arbre est une plante » et « Les plantes finissent par mourir ». Lorsqu’on lui demande si les arbres meurent, le moteur d'inférence est en mesure de tirer la conclusion évidente et de répondre correctement à la question. La base de connaissances (KB, pour Knowledge Base) contient plus d’un million d’assertions, de règles et d’idées relevant du sens commun, définies par des êtres humains. Elles sont formulées dans le langage CycL, qui est basé sur le calcul des prédicats et dont la syntaxe est similaire à celle du langage Lisp. Les utilisateurs de CycL se présentent de façon humoristique, comme des « cyclistes ». Une grande partie des travaux en cours sur le projet Cyc continue à relever de l’ingénierie des connaissances, la formalisation manuelle d’informations (« facts ») sur le monde, et la mise au point de mécanismes d’inférence efficaces appliqués à ces connaissances.