OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Apports de la logique mathématique dans la modélisation formelle des informations et des systèmes

Cholvy, Laurence and Garion, Christophe Apports de la logique mathématique dans la modélisation formelle des informations et des systèmes. (2009) In: Gestion de la complexité et de l'information dans les grands systèmes critiques. SEE & CNRS Editions , France, pp. 105-118. ISBN 9782271068286

[img](Document in French)

PDF (Author's version) - Depositor and staff only - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
286Kb

Abstract

Cet article a pour objectif de montrer que la logique mathématique est un outil puissant utilisable pour la modélisation des informations et des systèmes. En effet, en étant déclinée en logique propositionnelle, du premier ordre, classique ou modale, la logique propose une palette de langages dont la sémantique est formellement définie, et parfois des outils de preuve automatisables. Après avoir motivé l’utilisation de la logique et fait quelques rappels nécessaires, nous détaillons deux cas qui illustrent des contextes d’applications différents et des logiques différentes. Nous aborderons successivement la modélisation de la notion de capacité dans un système multi-agents et la définition du raisonnement multi-sources et son application dans la fusion d’informations.

Item Type:Book Section
Additional Information:CHOLVY, Laurence, GARION, Christophe. Apports de la logique mathématique dans la modélisation formelle des informations et des systèmes. In : APPRIOU, Alain. Gestion de la complexité et de l'information dans les grands systèmes critiques. Paris : CNRS éditions, 2009, pp. 105-118. ISBN 9782271068286
Uncontrolled Keywords:
Institution: Université de Toulouse > Institut Supérieur de l'Aéronautique et de l'Espace - ISAE
French research institutions > Office National d'Etudes et Recherches Aérospatiales - ONERA
Laboratory name:
Statistics:download
Deposited By:Christophe Garion

Repository Staff Only: item control page