Nantilus
Contribution au traitement logico-symbolique des quantificateurs proportionnels vagues
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...
Enregistré dans:
| Auteur principal : | |
|---|---|
| Collectivités auteurs : | , , , |
| Autres auteurs : | |
| Format : | Thèse ou mémoire |
| Langue : | français |
| Titre complet : | Contribution au traitement logico-symbolique des quantificateurs proportionnels vagues / Mohamed Yasser Khayata; sous la direction de Daniel Pacholczyk |
| Publié : |
1999 |
| Description matérielle : | 217 p. |
| Note de thèse : | Thèse de doctorat : Sciences biologiques et fondamentales appliquées. Psychologie : Nantes : 1999 |
| Sujets : |
| 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. |
|---|---|
| Notes : | 1999NANT2071 Partenaire de recherche : Laboratoire d'Etudes et de Recherche en Informatique (Angers) (Laboratoire) Ecole(s) Doctorale(s) : École doctorale Sciences pour l'Ingénieur, Géosciences, Architecture (SPIGA) (Nantes) |
| Bibliographie : | 109 ref. |