Graphique conceptuel
Un graphique conceptuel (CG) de est une notation pour la logique basée sur les graphiques existentiels des ponceuses Peirce de Charles de et des réseaux sémantiques de l'intelligence artificielle . Dans le premier a édité le document sur CGs, John que F. Sowa les a employées pour représenter les schémas conceptuels utilisés dans des systèmes de base de données. Le premier livre sur CGs (Sowa 1984) les a appliqués à un éventail de matières en intelligence artificielle, de l'informatique, et à la science cognitive. Une notation linéaire, appelée le le format d'échange de graphique (CGIF) conceptuel, a été normalisée dans le projet définitif du Comité de la norme de l'OIN proposée pour la logique commune .
Le diagramme du côté droit est un exemple de la forme d'affichage de pour un graphique conceptuel. Chaque boîte s'appelle un noeud de concept de , et chacun ovale s'appelle un noeud de relation de . serait représenté par le rapport suivant :
*x d'Elsie *y (agent ? X Elsie) (endroit ? X ? y)
Dans CGIF, les parenthèses joignent l'information à l'intérieur des noeuds de concept, et les parenthèses joignent l'information à l'intérieur des noeuds de relation. Les lettres X et y, qui s'appellent les étiquettes de coreference de , montrent comment les noeuds de concept et de relation sont reliés. Dans le format commun d'échange de logique (CLIF) de , ces lettres sont tracées aux variables, comme dans le rapport suivant :
(existe ((séance de x) (natte de y)) (et (chat Elsie) (agent X Elsie) (endroit de x/y)))
Pendant que cet exemple montre, les astérisques sur le coreference marque-t-ils le *x et le *y dans la carte de CGIF aux variables dessus de façon existentielle mesurées dans CLIF, et les points d'interrogation ? X et ? carte de y pour bondir des variables dans CLIF. Un quantifier universel, le @every*z représenté dans CGIF, serait le forall représenté de (z) dans CLIF.
Voir également
carte de concept
Schéma conceptuel
Réseau sémantique
Représentation de connaissance
Diagramme d'araignée de
Cadre (RDF) de description de ressource de
.
| Random links: | Anacardium | Andrew Morton (informaticien) | Kiva (album) | Karl William Hansen | Gráfico_conceptual |