Téléchargement au format .pdf

4 Introduction
d'autres logiques { des logiques non-classiques { pour modeliser des situations
reelles ou la connaissance est incomplete et imprecise, ou il est necessaire de
faire des hypotheses plausibles, parfois refutables a posteriori, par l'acquisition
de nouvelles connaissances.
Ce travail presente les aspects theoriques et la formalisation de la Logique de
la Determination d'Objets (LDO). La Logique de la Determination d'Objets
(LDO) est une logique non-classique, un systeme de categorisation comprenant
une theorie de la quantication.
Cette logique a ete introduite pour permettre de resoudre certains problemes
en linguistique informatique et de developper des applications notamment en
traduction automatique.
1.1 Pourquoi categorisation et quantication?
Nous vivons dans un monde d'objets, nous sommes confrontes chaque jour avec
ces objets par leur \perception", par le discours a leur sujet. Notre cognition sur
les objets du monde est complexe et variee. Si on accepte que cette cognition est
basee sur un ensemble de processus, il faut accepter un premier decoupage qui se
fait selon le paradigme : qualier{quantier.
Le dictionnaire donne pour chacun sa denition :
Qualier : = caracteriser une chose en la designant de telle maniere, attribuer
une qualite.
Quantier = attribuer une mesure, attribuer une quantite a une chose.
Les entites du monde sont qualiables et quantiables. Comprendre l'organisation
du monde revient a ledecouper dans des modeles dans lesquels ces
objets sont regroupes dans des sous-ensembles. On les regroupe selon certains
criteres. On les qualie. On determine l'ordre de grandeur des sous-ensembles.
On les quantie. Il est generalement accepte que les operations cognitives de
qualication (determination) conduisent comme resultat a desclassications ou
categorisations ou encore, ontologies. Les operations de quantication conduisent
a etablir l'ordre de grandeur des classes. C'est le sens \commun", \ordinaire" de
la qualication et de la quantication. Mais il a fallu d'abord que l'humanite
decouvre le concept de \nombre" pour se rendre compte du sens de la quantication.
Les notions de quantication et de qualication comme les notions d'objet,
de classe, de categorie sont assez oues dans le sens ordinaire et assez eloignees
du sens que leur ont attribue les dierentes sciences vues comme domaines de la
connaissance. Ce sont les sciences qui ont commence a construire des categorisations
de leurs objets de travail dans le but d'etudier leurs proprietes. En m^eme