La dynamique des croyances (The Dynamics of Belief)

Habilitation à diriger des recherches (Habilitation Thesis)

Herzig, Andreas

Contenu (Contents):

Synthèse des travaux (Summary)
PostScript file in French (PostScript file in English)

I. Raisonnement et incertitude (Reasoning and Uncertainty)
1. Ordering-based nonmonotonic reasoning.

II. Mise-à-jour (Updates)
2. Logics for belief base updating.

III. Actions (Actions)
3. Formalizing action and change in modal logic I: the frame problem.

IV. Fondements de la dépendance (Foundations of Dependence)
4. Belief change and dependence.

5. Qualitative relevance and independence: a roadmap.

V. Démonstration automatique (Automated Theorem Proving)
6. Modal tableaux with propagation rules and structural rules.


  author =     "Herzig, Andreas",
  title =      "La dynamique des croyances",
  publisher =  "Universit\'e Paul Sabatier",
  year =       1999,
  month =      jan,
  note =       "Rapport d'habilitation"