Concept

Graphe conceptuel

Résumé
Un graphe conceptuel est un formalisme de représentation de connaissances et de raisonnements. Ce formalisme a été introduit par en 1984. Depuis cette date, ce formalisme a été développé suivant trois directions principales : interface graphique de la logique du premier ordre, système diagrammatique pour la logique du premier ordre, formalisme de représentation de connaissances et de raisonnement basé sur les graphes. Une interface graphique de la logique du premier ordre Dans cette approche les graphes conceptuels servent d'interface graphique pour la logique du premier ordre (calcul des prédicats). Une formule logique est représentée par un graphe biparti étiqueté, les sommets d'une des deux classes représentant les prédicats et les sommets de l'autre classe représentant les arguments de ces prédicats. À ce titre, les graphes conceptuels constituent l'un des formats proposés par l'ISO dans le cadre de la Common Logic. Dans cette approche le modèle n'a pas de mécanismes
À propos de ce résultat
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.
Publications associées

Chargement

Personnes associées

Chargement

Unités associées

Chargement

Concepts associés

Chargement

Cours associés

Chargement

Séances de cours associées

Chargement