Université Lille1 - Sciences et Technologies Modèles et calcul du raisonnement dynamique Théorie de la révision de la connaissance Logique préférentielle Fusion de l'information 511.3 Raisonnement non-monotone Connaissance, Théorie de la Abduction (logique) Lambda-calcul Lorsque les informations sont incomplètes, incertaines ou changeantes les modèles classiques du raisonnement sont inadéquats pour rendre compte de façon fidèle des mécanismes qui sont mis en jeux pour faire des inférences. Dans le but de résoudre ce problème d'inadéquation ont surgi des logiques non classiques : d'une part les logiques dites non monotones et d'autre part la théorie de la révision de la connaissance. Notre travail est une contribution à ces deux domaines. Nous étudions des extensions de la logique préférentielle d'un point de vue syntaxique et sémantique. Nous introduisons de nouvelles techniques de preuve pour des théorèmes de représentation ainsi que des approches topologiques qui dans le cas infini s'avèrent très fructueuses. Une étude systématique de l'abduction, c'est-à-dire de la recherche des explications, est proposée. Des liens étroits avec la logique préférentielle sont montrés. Ces liens suggèrent des mécanismes de calcul pour la recherche des explications. Par ailleurs un théorème de représentation de relations abductives en termes d'ordres est donné. Concernant notre approche de la théorie de la révision de la connaissance notre contribution présente deux aspects. D'abord une approche pragmatique : pour des raisons d'efficacité dans le traitement nous restreignons la logique à essentiellement le chaînage avant. Dans ce cadre nous proposons plusieurs opérateurs de changement et donnons une méthodologie inspirée de l'approche d'Alchourron, Gärdenfors et Makinson pour analyser le comportement de nos opérateurs. L'autre contribution à la théorie de la révision est une extension de celle-ci au cas où il y a des sources d'information multiples et sans priorités. Il s'agit d'une logique pour la fusion de l'information. Ceci est particulièrement important pour extraire de l'information lorsque plusieurs agents ayant le même degré de confiance coopèrent. Plusieurs méthodes de fusion sont proposées et une analyse de leurs propriétés structurelles est donnée. Electronic Thesis or Dissertation Text en fr application/pdf 1 : 10750 Ko https://pepite-depot.univ-lille.fr/LIBRE/HDR/1999/50376-1999-73.pdf Pino Pérez Ramón 1956-06-12 BO 059881011 1999-02-04 Sciences mathématiques Université Lille1 - Sciences et Technologies thesis.degree.grantor_1 026404184 HDR non oui Delahaye Jean-Paul intervenant_1 029008247 École doctorale Sciences pour l'Ingénieur (Lille) ecoleDoctorale_1 147297028 Laboratoire d'informatique fondamentale de Lille (LIFL) partenaireRecherche_1 077703553 ddc:510 Delahaye Jean-Paul Université Lille1 - Sciences et Technologies École doctorale Sciences pour l'Ingénieur (Lille) Laboratoire d'informatique fondamentale de Lille (LIFL) ASCII PDF 11007598 restriction 2012-01-01 9999-01-01