Topic outline

  • General

    Collapse all Expand all

  • Chapitre 1 : Logique

    Une proposition est une construction syntaxique censée parler de vérité.  En logique mathématique, le calcul des propositions est la première étape dans la définition de la logique et du raisonnement. Il définit les règles de déduction qui relient les propositions entre elles, sans en examiner le contenu ; il est ainsi une première étape dans la construction du calcul des prédicats, qui lui s'intéresse au contenu des propositions et qui est une formalisation achevée du raisonnement mathématique. Le calcul des propositions, ou calcul propositionnel est encore appelé logique des propositions, logique propositionnelle ou calcul des énoncés.

  • Chapitre 2 : Notions de probabilités, possibilités, Incertitude et imprécision

    La théorie des possibilités suscite actuellement un intérêt général de la part des chercheurs qui éprouvent les besoins : de généraliser des modes de raisonnement naturels, d'automatiser la prise de décision dans leur domaine et de construire de systèmes artificiels effectuant les tâches habituellement prise en charge par les humains. Nos connaissances sont souvent imparfaites, soit parce qu'elles sont incertaines (il y a un doute sur leur validité) ou imprécises (il y a une difficulté à les exprimer clairement). Ainsi, le monde réel apparaît à la fois imprécis et incertain, les limites des états de la nature ne sont pas toujours très nettes, même les données bien connues de l'univers sont parfois approximatives.

  • Chapitre 3 : Les logiques modales pour la représentation du temps, des connaissances épistémiques, déontiques

  • Chapitre 4 : Raisonnement probabiliste et possibiliste