Téléchargement au format .pdf

275
part des problemes linguistiques, comme la structure du syntagme nominal quantie,
et cognitifs, comme la prise en compte de la typicalite, et les formalise.
La LDO est une logique qui rend mieux compte des notions d'objet et de
concept. Elle est a la fois une ontologie formelle et un systeme logique. Elle etend
la notion fregeenne d'objet a l'objet \plus ou moins determine". La construction
de ces objets se fait a partir d'un \representant objectal" du concept { l'objet
typique totalement indetermine { par l'operation de determination. Ces notions
sont traduites dans le formalisme par des operateurs primitifs. Une autre dimension
de la connaissance prise en compte par la LDO est la typicalite : les objets
de la LDO sont typiques ou atypiques. Les inferences se font sur ces objets. C'est
ici l'aspect d'ontologie formelle de la LDO.
La LDO contient un systeme compose de quatre quanticateurs de base. Par
rapport a la quantication classique construite avec deux quanticateurs, universel
et existentiel, la LDO propose un quanticateur universel general et un
quanticateur universel typique et un quanticateur existentiel general et un
quanticateur existentiel typique. La portee de deux de ces quanticateurs est le
syntagme nominal.
La LDO represente par ses regles d'inference un systeme d'analyse de la transmission
des proprietes d'heritage dans un reseau semantique. Le parallele entre la
structure de concepts et la structure d'objets permet la construction d'algorithmes
d'heritage plus facilement qu'avec des outils existants dans la representation des
connaissances de l'I.A.
La LDO ne s'eloigne pas de la logique classique. Elle n'est pas une logique de
l'etrangete et du paradoxal. Elle explore au niveau des fondements conceptuels
de la logique sans pour autant rejeter la formalisation. Elle part du point de
vue formel d'une \prelogique" { un systeme applicatif. Elle prend en compte le
rapport syntaxe{semantique, ce que la deduction naturelle ne fait pas. La LDO
est une logique applicative typee.
Ses caracteristiques sont :
{ Elle est un systeme de categorisation et notamment le systeme de categorisation
sous-jacent a la quantication presentee dans cette etude.
{ Elle est une logique non-classique dediee a la construction des objets.
{ Elle est un systeme applicatif dans le sens de Curry.
Les contributions originales de ce travail sont :
{ Nous avons fait une analyse critique des contributions principales a la
theorie de la quantication dans les chapitres 1 a 5.
{ Nous avons formalise la LDO comme systeme logique dans le chapitre 6.