Caractérisation algébrique du calcul d'influence dans les cartes cognitives
Résumé
Les cartes cognitives offrent un modèle graphique pour représenter
des connaissances. Une carte cognitive est un graphe orienté où les sommets
sont étiquetés par des concepts et les arcs par des influences. L'interrogation
d'une carte se fait par le biais de requêtes qui se fondent sur deux opérations
de calcul d'influence : la propagation et l'agrégation. Nous montrons que ces
opérations répondent, en pratique, à une structure de semi-anneau commutatif.
Cette caractérisation permet d'envisager une approche déclarative et symbolique
du calcul d'influence et de l'interrogation des cartes cognitives.