Téléchargement au format .pdf

278 Conclusions
Notre opinion est que la LDO et son systeme de quantication est un outil
puissant en tant que logique non-classique et en tant qu'instrument d'analyse du
langage.
Nous considerons que l'importance de la LDO est double:
comme logique elle represente un modele theorique pour la modelisation {
objet en intelligence articielle, concurrent aux autres logiques non-classiques.
comme systemedecategorisation elle permet de denir une nouvelle theorie
de la quantication beaucoup plus adequate pour les langues naturelles que la
quantication du calcul des predicats.
Le rapport de la LDO avec d'autres logiques non-classiques du point de vue
formel merite d'^etre approfondi.
Cette etude represente une premiere etape en ce qui concerne la formalisation
vers une implementation informatique. La deuxieme etape est d'ecrire des
algorithmes bases sur la LDO pour l'analyse des reseaux semantiques et de les
englober dans un outil informatique qui realise une telle analyse. Le travail de
cette these est continue dans ce sens par une autre these en cours de redaction (J.
Cardot) elaboree au sein de l'equipe Logique, Langage, Informatique et Cognition
(LALIC) de l'Institut de Sciences Humaines Appliquees (ISHA) de l'Universite
de Paris-Sorbonne.