Téléchargement au format .pdf

22 Introduction
le niveau cognitif { le niveau d'abstraction qui construit le sens a partir de
certaines primitives.
Cette theorie vise a creer des outils theoriques pour la linguistique informatique.
La theorie de J.-P. Descles est construite avec la logique combinatoire comme
outil logique de base. Son systeme de categorisation a comme point de depart le
systeme conceptuel de Frege. Mais, il en diere par une autre notion \d'objet"
qui recouvre l'objet fregeen et l'objet de Curry. La notion de concept est celle
de Frege. Une notion tres importante, celle de \determination" est comprise
dans le systeme categoriel constitue par la Logique de la Determination d'Objets
(LDO). C'est l'equivalent formel de l'operation cognitive de \qualication". La
theorie de la quantication, basee sur ce systeme categoriel est une extension de
la quantication classique, elle prend en compte une autre dimension cognitive
dans la \mesure des choses"{ la typicalite.
Le but de notre etude est de :
Realiser une analyse de la quantication et la categorisation sous-jacente
dans la logique et la linguistique.
Recenser les avantages et les desavantages des approches analysees par rapport
aux problemes souleves par la logique et la linguistique.
Presenter l'approche uniee de la categorisation et de la quantication de
J.-P. Descles (la LDO) par rapport aux autres approches.
Realiser une formalisation de la LDO comme systeme de categorisation (la
LDO { chapitres 6 et 8) qui contienne un systeme d'operateurs de quanti-
cation (chapitre 7).
Cette etude releve de la logique informatique :
Les constructions faites representent une forme d'application de la logique
a l'informatique.
Les constructions faites gr^ace a l'operation de determination visent une
ecacite plus grande des modelisations en se situant dans le cadre des langages
applicatifs de la logique combinatoire. Elles visent une modelisation
informatique. Le travail realise dans cette these represente les fondements
theoriques pour une modelisation et une implementation informatique. Cette
premiere etape sera suivie d'applications, notamment la these (en cours) de
J. Cardot ou la LDO est appliquee dans un algorithme qui gere l'heritage
des proprietes dans un reseau semantique (modelisation et implementation
dans un langage objet).