Thèse soutenue

Contribution au traitement logico-symbolique des quantificateurs proportionnels vagues
FR
Accès à la thèse
Auteur / Autrice : Mohamed Yasser Khayata
Direction : Daniel Pacholczyk
Type : Thèse de doctorat
Discipline(s) : Sciences biologiques et fondamentales appliquées. Psychologie
Date : Soutenance en 1999
Etablissement(s) : Nantes
Ecole(s) doctorale(s) : École doctorale Sciences pour l'ingénieur, Géosciences, Architecture (Nantes)
Partenaire(s) de recherche : Laboratoire : Laboratoire d'Etudes et de Recherche en Informatique d'Angers
Jury : Examinateurs / Examinatrices : Daniel Pacholczyk, Michel De Glas, Herman Akdag
Rapporteurs / Rapporteuses : Michel De Glas, Herman Akdag

Résumé

FR

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.