Relevant bibliographies by topics / Logiques modales floues

Contents

  1. Dissertations / Theses

Academic literature on the topic 'Logiques modales floues'

Author: Grafiati
Published: 8 June 2024
Last updated: 31 July 2025

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Logiques modales floues.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Dissertations / Theses on the topic "Logiques modales floues"

1

Salhi, Yakoub. "Structures Multi-contextuelles et Logiques Modales Intuitionnistes et Hybrides." Phd thesis, Université Henri Poincaré - Nancy I, 2010. http://tel.archives-ouvertes.fr/tel-00607933.

Full text
Abstract:
En informatique, les logiques formelles ont une place centrale dans la représentation et le traitement des connaissances. Elles sont utilisées pour la modélisation et la vérification de systèmes informatiques et de leurs propriétés ainsi que pour la formalisation de différents types de raisonnement. Dans ce contexte il existe un large spectre de logiques non-classiques parmi lesquelles les logiques modales jouent un rôle important. Alors que les logiques modales classiques ont été largement étudiées, nous nous focalisons dans cette thèse sur les logiques modales intuitionnistes et aussi hybrid
APA, Harvard, Vancouver, ISO, and other styles
2

KOZHEMIACHENKO, Daniil. "Paraconsistent and fuzzy modal logics for reasoning about uncertainty." Electronic Thesis or Diss., Bourges, INSA Centre Val de Loire, 2023. http://www.theses.fr/2023ISAB0014.

Full text
Abstract:
Ce manuscrit est dédié à l'étude des logiques modales floues qui formalisent le raisonnement (paraconsistant) sur l'incertitude. Ici, l'interprétation d'«information (données) incertain(es)» inclut toute combinaison des trois propriétés suivantes. Premièrement, l'information peur être quantifiée, i.e., la proposition est associée à un degré de vérité plutôt qu'une valeur de vérité. Deuxièmement, l'information peut être incomplète. Troisièmement, l'information peut être contradictoire.Toutes les logiques étudiees se divisent en deux groupes. Les plus «traditionnelles» dont la sémantique est con
APA, Harvard, Vancouver, ISO, and other styles
3

Pereira, Gonzalez Wilmer. "Une logique modale pour le raisonnement dans l'incertain." Rennes 1, 1992. http://www.theses.fr/1992REN10098.

Full text
Abstract:
Traditionnellement, l'imperfection dans les bases de connaissances peut provenir de trois facteurs différents: l'incompétude, l'imprécision et l'incertitude. Tout ceci peut se combiner pour influencer la qualité des informations et les mécanismes de raisonnement. Ce travail de recherche porte sur la conception d'un traitement de nature symbolique pour deux de ces sources d'imperfection: l'incertitude et l'incompétude. A cet effet, le formalisme conçu, appelé logique des suppositions graduée, permet, d'une part, de s'attaquer au problème de l'incompétude par des raisonnements dépendants de règl
APA, Harvard, Vancouver, ISO, and other styles
4

Legastelois, Bénédicte. "Extension pondérée des logiques modales dans le cadre des croyances graduelles." Electronic Thesis or Diss., Paris 6, 2017. http://www.theses.fr/2017PA066516.

Full text
Abstract:
Dans le domaine de la modélisation du raisonnement, plusieurs approches se basent sur les logiques modales qui permettent de formaliser le raisonnement sur des éléments non factuels, comme la croyance, le savoir ou encore la nécessité. Une extension pondérées de ces logiques modales permet de moduler les éléments non factuels qu'elle décrit. En particulier, nous nous intéressons à l'extension pondérée des logiques modales qui permet de formaliser des croyances graduelles : nous traitons des aspects sémantiques et axiomatiques ainsi que des aspects syntaxiques liés à la manipulations de telles
APA, Harvard, Vancouver, ISO, and other styles
5

Legastelois, Bénédicte. "Extension pondérée des logiques modales dans le cadre des croyances graduelles." Thesis, Paris 6, 2017. http://www.theses.fr/2017PA066516/document.

Full text
Abstract:
Dans le domaine de la modélisation du raisonnement, plusieurs approches se basent sur les logiques modales qui permettent de formaliser le raisonnement sur des éléments non factuels, comme la croyance, le savoir ou encore la nécessité. Une extension pondérées de ces logiques modales permet de moduler les éléments non factuels qu'elle décrit. En particulier, nous nous intéressons à l'extension pondérée des logiques modales qui permet de formaliser des croyances graduelles : nous traitons des aspects sémantiques et axiomatiques ainsi que des aspects syntaxiques liés à la manipulations de telles
APA, Harvard, Vancouver, ISO, and other styles
6

Chevallet, Jean-Pierre. "Un modèle logique de recherche d'informations appliqué au formalisme des graphes conceptuels : le prototype ELEN et son expérimentation sur un corpus de composants logiciels." Grenoble 1, 1992. http://www.theses.fr/1992GRE10059.

Full text
Abstract:
Que ce soit pour la maintenance de programmes, la réutilisation de codes ou simplement pour l'utilisation de gros logiciels comme les systèmes d'exploitation, un utilisateur est conformé à un problème qui apparaît comme appartenant au domaine de la Recherche d'Informations: trouver le module, les procédures ou les commandes qui réalisent une certaine fonctionnalité. Pour permettre cette recherche, il est nécessaire de décrire chaque composant dans un formalisme suffisamment complexe pour exprimer avec précision leur fonctionnalité, mais permettant également des évaluations de distance sémantiq
APA, Harvard, Vancouver, ISO, and other styles
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography