Téléchargement au format .pdf

276 Conclusions
{ Le systeme formel (les operateurs primitifs).
{ Les regles de deduction.
{ Les axiomes des operateurs.
{ Dans le chapitre 6 nous avons fait une discussion critique sur le choix des
axiomes et sur leur apport informationnel.
{ Une analyse de la notion de \propriete" d'un objet par rapport a deux
notions sous-jacentes : \^etre un..." (^etre engendre a partir de ...) et \avoir
la popriete de ..." est realisee dans le chapitre 6.
{ La comparaison entre la LDO et les reseaux semantiques, en ce qui concerne
la typicalite, est faite dans le chapitre 10.
{ Quelques tentatives, plus techniques, sur la structure concept-objet sont
presentees dans le chapitre 9 : l'etude du rapport entre les notions de ltre,
espace topologique, espace locologique et Etendue(f) l'etude de la notion
d'ideal pour modeliser la classe Int f.
{ Une semantique du type Kripke pour la LDO est construite dans le chapitre
9.
{ Les regles d'introduction et d'elimination des operateurs de quantication
typique et leurs proprietes formelles sont donnes dans le chapitre 7.
{ D'autres operateurs de quantication (les operateurs fort
2
et faible
2
) et leur
signication cognitive sont presentes dans le chapitre 7.
{ Nous proposons une denition pour la quantication qui delimite les operateurs
de quantication des autres operateurs comme ceux de \denombrement
ou de mesure" dans le chapitre 7.
{ Nous presentons des exemples sur l'encodage en francais des operateurs de
typcation () etdedetermination () et sur la construction des objets
determines dans le chapitre 6.
{ Nous presentons des exemples sur l'encodage en francais des operateurs de
quantication dans le chapitre 7.
Nous croyons que le but de cette etude, tel qu'il a ete enonce dans l'introduction,
a ete accompli. Mais beaucoup de problemes restent du domaine des
recherches futures. Nous allons en citer quelques-uns, en les regroupant par
categorie.