Abstract FR:

L'utilisation des modélisations-objets pour représenter a connu un important développement en informatique. Cette évolution provoque un regain d'intérêt pour la notion d'objet dans le domaine de la logique. Dans ce travail nous proposons une nouvelle approche de cette notion s'appuyant sur la Logique de la Détermination d'Objets (LDO). La LDO est un système de catégorisation comprenant une théorie de la quantification. Du point de vue formel, la LDO est une logique applicative typée dans le sens de Curry. Il s'agit d'une contribution théorique à la notion d'objet par une nouvelle approche logique constructive, fondée sur l'opération de détermination. Cette logique rend compte des problèmes cognitifs et déductifs rencontrés par l'héritage de propriétés par des objets typiques et atypiques. La quantification de la LDO prend en compte la typicalité. Notre travail présente notamment le système conceptuel de la LDO, sa formalisation comme logique applicative, le système d'opérateurs de quantification, une sémantique en termes de classes d'objets et une comparaison entre la LDO et les réseaux sémantiques. Ce travail représente les bases conceptuelles et la mathématisation d'une logique applicable à la modélisation-objet.