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éponse | 1987 |
---|
langue originale | Français |
---|
L'institution diplômante | |
---|
Superviseur | Monique Fraiture (Promoteur) |
---|
Logiques non standards dans la représentation qualitative de systèmes physiques
Dendalle, B. (Auteur). 1987
Student thesis: Master types › Master en sciences informatiques