Voir la notice de l'article provenant de la source Numdam
À travers l'étude d'un modèle de représentation des connaissances comme catégorie de faisceaux de traits localement définis ; ce texte montre que la théorie des topoï permet de décrire formellement l'émergence d'une logique intrinsèque à partir d'une approche relationnelle, qu'elle soit structurale ou cognitive. On peut alors caractériser mathématiquement le défaut d'intensionnalité des modèles classiques, et montrer qu'une solution est dans la mathématisation de structures entièrement relationnelles.
Through the study of a knowledge representation model as a sheaf category of locally defined features ; this paper shows that topos theory enables us to describe formally the emergence of an intrinsic logic from a relational approach, whatever it may be, structural or cognitive. Then we can mathematically characterize the lack of intensionality in classical models, and show that a solution is the mathematization of fully relational structures.
@article{MSH_1993__121__49_0,
author = {Boldini, Pascal},
title = {Structuration cognitive et logique intrins\`eque},
journal = {Math\'ematiques informatique et sciences humaines},
pages = {49--70},
publisher = {Ecole des hautes-\'etudes en sciences sociales},
volume = {121},
year = {1993},
mrnumber = {1217028},
zbl = {0793.03080},
language = {fr},
url = {http://geodesic.mathdoc.fr/item/MSH_1993__121__49_0/}
}
TY - JOUR AU - Boldini, Pascal TI - Structuration cognitive et logique intrinsèque JO - Mathématiques informatique et sciences humaines PY - 1993 SP - 49 EP - 70 VL - 121 PB - Ecole des hautes-études en sciences sociales UR - http://geodesic.mathdoc.fr/item/MSH_1993__121__49_0/ LA - fr ID - MSH_1993__121__49_0 ER -
Boldini, Pascal. Structuration cognitive et logique intrinsèque. Mathématiques informatique et sciences humaines, Tome 121 (1993), pp. 49-70. http://geodesic.mathdoc.fr/item/MSH_1993__121__49_0/