Gotowa bibliografia na temat „Logiques modales floues”
Utwórz poprawne odniesienie w stylach APA, MLA, Chicago, Harvard i wielu innych
Spis treści
Zobacz listy aktualnych artykułów, książek, rozpraw, streszczeń i innych źródeł naukowych na temat „Logiques modales floues”.
Przycisk „Dodaj do bibliografii” jest dostępny obok każdej pracy w bibliografii. Użyj go – a my automatycznie utworzymy odniesienie bibliograficzne do wybranej pracy w stylu cytowania, którego potrzebujesz: APA, MLA, Harvard, Chicago, Vancouver itp.
Możesz również pobrać pełny tekst publikacji naukowej w formacie „.pdf” i przeczytać adnotację do pracy online, jeśli odpowiednie parametry są dostępne w metadanych.
Rozprawy doktorskie na temat "Logiques modales floues"
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.
Pełny tekst źródłaKOZHEMIACHENKO, 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.
Pełny tekst źródłaThis dissertation is devoted to the study of fuzzy modal logics that formalise (paraconsistent) reasoning about uncertainty. The understanding of ‘uncertain information (data)’ here includes any combination of the following three characteristics. First, the information can be graded, i.e., the statement is equipped with a truth degree rather than a truth value. Second, the information can be incomplete. Third, the information can be contradictory.All the logics in question can be divided into two kinds. First, the more ‘traditional’ modal logics defined on [0,1]-valued Kripke models (possibly, with fuzzy accessibility relations) whose language includes modal operators interpreted as infima and suprema of values in the accessible states.The second kind of logics contains so-called ‘two-layered’ logics. In this framework, the language is divided into three parts: the inner layer, the outer layer, and the non-nesting modality. The idea is to use the inner-layer language to describe events, interpret the modality as a measure on the set of events (e.g., as a probability function, belief function, plausibility, etc.) corresponding to the degree of the agent's (un)certainty in a given event, and then reason about this (un)certainty in the outer-layer language. A frame in a two-layered logic is, thus, a set with a measure defined thereon.These two kinds of logics correspond to two ways of interpreting uncertainty. In the less formal one, we will be using the logics with the Kripke-frame semantics. In the more formal case where the degree of one's certainty or belief is assumed to behave as a concrete uncertainty measure, we will use the two-layered logics
Pereira, Gonzalez Wilmer. "Une logique modale pour le raisonnement dans l'incertain". Rennes 1, 1992. http://www.theses.fr/1992REN10098.
Pełny tekst źródłaLegastelois, 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.
Pełny tekst źródłaIn the field of reasoning models, many approaches are based on modal logics, which allow to formalise the non-factual reasoning, as belief, knowledge or necessity reasoning. A weighted extension for these modal logics aims at modulating the considered non-factual elements. In particular, we examine the weighted extension of modal logics for graded beliefs: we study their semantical and axiomatical issues related to manipulating such modulated beliefs. Therefore, this thesis works are organised in three parts. We first propose a proportional semantics which extends the Kripke semantics, classically used for modal logics. We also study modal axioms regarding the proposed semantics. Then, we propose a fuzzy set model for representing and manipulating belief degrees. We finally use these two formal models in two different applications: a model checking tool for weighted modal formulae and an artifical player for a cooperative game called Hanabi in which decision making is based on graded belief reasoning
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.
Pełny tekst źródłaIn the field of reasoning models, many approaches are based on modal logics, which allow to formalise the non-factual reasoning, as belief, knowledge or necessity reasoning. A weighted extension for these modal logics aims at modulating the considered non-factual elements. In particular, we examine the weighted extension of modal logics for graded beliefs: we study their semantical and axiomatical issues related to manipulating such modulated beliefs. Therefore, this thesis works are organised in three parts. We first propose a proportional semantics which extends the Kripke semantics, classically used for modal logics. We also study modal axioms regarding the proposed semantics. Then, we propose a fuzzy set model for representing and manipulating belief degrees. We finally use these two formal models in two different applications: a model checking tool for weighted modal formulae and an artifical player for a cooperative game called Hanabi in which decision making is based on graded belief reasoning
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.
Pełny tekst źródła