Les graphes conceptuels sont un système de logique basé sur les graphes existentiels de Charles Sanders Peirce et les réseaux sémantiques de l'intelligence artificielle. L'objectif de ce système est d'exprimer le sens sous une forme qui soit logiquement précise, humainement lisible et calculable. Grâce à leur correspondance directe avec le langage, les graphes conceptuels peuvent servir de langage intermédiaire pour la traduction des formalismes informatiques vers et depuis les langues naturelles. Grâce à leur représentation graphique, ils peuvent servir de langage de conception et de spécification lisible, mais aussi de langage de spécification.
Auteur:
Info:
Commentaires: 0