Gestion de l'évolutif et de l'incertain en logiques pondérées

par Florence Dupin de Saint-Cyr

Thèse de doctorat en Informatique

Sous la direction de Didier Dubois.

Soutenue en 1996

à Toulouse 3 .


  • Résumé

    Le sujet de cette thèse est l'étude de modèles logiques pour la gestion des croyances dans un système evolutif. Plus précisément, il s'agit, à partir de connaissances plus ou moins certaines et plus ou moins précises sur l'état d'un système évolutif et sur son comportement dynamique, de modéliser son évolution dans un formalisme logique. Les outils de représentation et de raisonnement que nous utilisons sont des logiques dites "pondérées" où l'on associe à des formules de la logique propositionnelle des degrés de priorité. Cette étude se compose de trois parties. Dans la première partie, nous présentons des logiques de l'incertain en particulier la logique possibiliste développée dans mon équipe, et une nouvelle logique que nous introduisons: la logique des pénalités. La deuxième partie est consacrée aux différentes approches de représentation et de raisonnement dans un système évolutif: la notion de système évolutif, le raisonnement sur les actions et le changement dans les bases de connaissances. Dans la troisième partie, nous abordons la gestion simultanée de l'évolutif et de l'incertain. Nous montrons comment construire et utiliser un graphe de transition pondéré (par des possibilités ou par des coûts) à partir des connaissances générales sur le système. Et, pour finir, nous abordons la notion d'érosion des croyances.

  • Titre traduit

    Dealing with dynamicity and uncertainty in weighted logics


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (247 p.)
  • Annexes : Bibliogr. p. 239-247

Où se trouve cette thèse ?

  • Bibliothèque :
  • Disponible sous forme de reproduction pour le PEB
  • Cote : THE 96 DUP
  • Bibliothèque :
  • Disponible pour le PEB
  • Cote : 1996TOU30327
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.