Logiques non standards dans la représentation qualitative de systèmes physiques

  • Bernard Dendalle

Thèse de l'étudiant: Master typesMaster en sciences informatiques

Résumé

Ce mémoire a pour principal objectif de montrer en quoi certaines logiques non standards, comme les logiques multivaluées, la logique floue, ainsi que les logiques modale et temporelle, permettent de représenter le fonctionnement de systèmes physiques, d'une manière plus intuitive et donc plus compréhensible à chacun que la logique bivalente du 1er ordre. A cet effet, la représentation utilisée n'est plus du tout numérique ou quantitative mais bien qualitative. Les quelques applications implémentées, présentées dans ce travail, constituent un essai pratique de la méthodologie développée de construction de modèles qualitatifs; elles montrent également que parfois un modèle qualitatif peut avoir une puissance d'expression beaucoup plus grande qu'un modèle quantitatif numérique.
la date de réponse1987
langue originaleFrançais
L'institution diplômante
  • Universite de Namur
SuperviseurMonique FRAITURE (Promoteur)

Contient cette citation

'