Logique de la détermination d'objets : concepts de base et mathématisation en vue d'une modélisation-objet

L'utilisation des modelisations-objets pour representer a connu un important developpement en informatique. Cette evolution provoque un regain d'interet 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 Determination d'Objets (LDO). La LDO est un systeme de categorisation comprenant une theorie de la quantification. Du point de vue formel, la LDO est une logique applicative typee dans le sens de Curry. Il s'agit d'une contribution theorique a la notion d'objet par une nouvelle approche logique constructive, fondee sur l'operation de determination. Cette logique rend compte des problemes cognitifs et deductifs rencontres par l'heritage de proprietes par des objets typiques et atypiques. La quantification de la LDO prend en compte la typicalite. Notre travail presente notamment le systeme conceptuel de la LDO, sa formalisation comme logique applicative, le systeme d'operateurs de quantification, une semantique en termes de classes d'objets et une comparaison entre la LDO et les reseaux semantiques. Ce travail represente les bases conceptuelles et la mathematisation d'une logique applicable a la modelisation-objet.