Contribution au traitement logico-symbolique des quantificateurs proportionnels vagues

par MOHAMED YASSER KHAYATA

Thèse de doctorat en Sciences biologiques et fondamentales appliquées. Psychologie

Sous la direction de Daniel Pacholczyk.

Soutenue en 1999

à Nantes .

    mots clés mots clés


  • Résumé

    Dans ce travail, nous proposons une modelisation logico-symbolique adaptee a la representation et l'exploitation d'enonces exprimes en langage naturel et comportant des quantificateurs. Ces enonces repondent au schema q a sont b dans lequel designe q un quantificateur linguistique, et a et b sont des elements de langage faisant reference a des ensembles d'individus au sens classique du terme. Dans notre approche, la quantification introduite dans un schema d'enonce du type precedent est interpretee en termes de proportion des elements de b dans a. Cette proportion est decrite de facon qualitative. La representation adoptee est fondee sur une generalisation symbolique des notions de probabilite statistique (proportion) et des operateurs arithmetiques associes. De facon plus formelle, nous avons adopte une logique symbolique des predicats multivalents dediee au traitement des connaissances vagues introduite par pacholczyk. Notre formalisation s'appuie sur l'utilisation d'un predicat particulier prenant en compte la notion de proportion evaluee de facon qualitative. Ainsi une echelle graduee de quantificateurs symboliques est associee a une echelle de degres symboliques de verite de ce predicat. La validation de notre approche passe par l'exploitation de ces enonces quantifies au travers de raisonnement utilisant des regles d'inference appelees des syllogismes. Afin de concilier la tenue de raisonnements portant aussi bien sur des individus particuliers que sur des ensembles d'individus correspondant a des enonces quantifies, nous avons enrichi notre modelisation par une formalisation symbolique basee sur le principe de l'inference directe et les syllogismes proposes. Le modele ainsi etendu permet, a partir d'enonces quantifies et de faits certains, de deriver des degres symboliques de croyance attaches a des proprietes sur des individus particuliers. Une implementation utilisant les deux raisonnements proposes a ete realisee en prolog.


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 217 p.
  • Annexes : 109 ref.

Où se trouve cette thèse ?

  • Bibliothèque : Université de Nantes. Service commun de la documentation. Section Sciences.
  • Disponible pour le PEB
  • Cote : 99 NANT 2071
  • Bibliothèque : Université de Nantes. Service commun de la documentation. Section Sciences.
  • Disponible pour le PEB
  • Cote : 99 NANT 2071
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.