Graphes conceptuels

formalisme de représentation des connaissances*, introduit en 1984 par John Sowa, qui permet de donner une forme graphique à la représentation d’énoncés en logiquela logique, qui apparaît dans la Grèce Antique avec l’étude des syllogismes, s’intéresse à la formalisation du raisonnement. La lo- gique moderne, qui se développe à partir du XIXe siècle, a conduit à la formalisation d’un véritable calcul déductif à partir de formules logiques formées... More* du premier ordre (une logiquela logique, qui apparaît dans la Grèce Antique avec l’étude des syllogismes, s’intéresse à la formalisation du raisonnement. La lo- gique moderne, qui se développe à partir du XIXe siècle, a conduit à la formalisation d’un véritable calcul déductif à partir de formules logiques formées... More classique avec des quantificateurs universels et existentiels). Les graphes conceptuelsformalisme de représentation des connaissances*, introduit en 1984 par John Sowa, qui permet de donner une forme graphique à la représentation d’énoncés en logique* du premier ordre (une logique classique avec des quantificateurs universels et existentiels). Les graphes conceptuels permettent la description de réseaux sémantiques... More permettent la description de réseaux sémantiques entre catégories conceptuelles.