Téléchargement au format .pdf

174 La categorisation
{ x c occupe la position d'operateur dans une expression applicative tandis
que x c occupe la position d'un operande
Cette dierence de statut est lexicalisee dans les langues naturelles par un
syntagme nominal , respectivement par l'expression \^etre syntagme nominal "
x := une autruche
x c := ^etre une autruche
Dans les langues naturelles les objets auxquels il leurs correspond des concepts
sont lexicalises, par exemple \une autruche", les autres (ceux auquels il ne leurs
correspond pas de concepts) ne sont pas lexicalises, comme \un homme aux yeux
bleus qui habite Brest".
Nous n'avons pas d'autre test epistemique (sauf celui de la langue) pour
decider a partir de quel niveau a unobjetx correspond un concept x c . Pour
une implementation informatique de la LDO il faut rajouter des hypotheses
supplementaires.
Nous avancons l'hypothese suivante :
Cette distinction qui se fait au niveau cognitif et qui est eacee par
les reseaux semantiques (de l'I.A.) est tres importante. La LDO met
face a face les deux ensembles F et O et elle les manipule en parallele.
Elle retraduit ainsi le parallelisme entre inferentiel et constructiviste,
entre ensembliste et fonctionnel. Ce qui est beaucoup plus facile d'obtenir
en O est obtenu en O et, ensuite retraduit en F et inversement,
ce qui est beaucoup plus facile a obtenir en F est obtenu en F et
retraduit en O La classe O est beaucoup plus riche que la classe F.
Parmi d'autres problemes les trois suivants sont tres importants :
{ etant donne un concept f et son intension Intf =Essf [ Ness f [ Ness f
quelle est la distribution des concepts f i i =1:::n entre Int f, Essf,
Ness f,Ness f ?
{ Cette distribution est-elle donnee avec le concept f en faisant partie de la
structure de F ?
{ Peut-on donner des regles qui decrivent cette distribution?
Supposons que : x =((f)),=(g 1 )g 2 ) :::g n )) et x c soit un concept.
Alors g 1 :::g n se distribuent entre Ess x c ,Ness x c et Ness x c d'une facon purement
aleatoire. Les deux exemples suivants illustrent ce fait:
Exemple 1. (Cf. gure 6.11) Soit x := un europeen.