Reasoning with belief functions over Belnap-Dunn logic
Ce travail porte sur la représentation d'informations incertaines et potentiellement contradictoires et sur la manière de raisonner avec ces informations. Ici, nous considérons les informations probabilistes. Nous nous appuyons sur les travaux de Klein et al (2021) où les auteurs définissent de...
保存先:
| 第一著者: | |
|---|---|
| その他の著者: | , , , , , , |
| フォーマット: | Thèse numérique |
| 言語: | Anglais |
| 出版事項: |
2022.
|
| 主題: | |
| オンライン･アクセス: | Accès au texte intégral http://www.theses.fr/2022ISAB0008/abes |
| 注記: |
Titre provenant de l'écran-titre Ecole(s) Doctorale(s) : École doctorale Mathématiques, Informatique, Physique Théorique et Ingénierie des Systèmes (Centre-Val de Loire ; 2012-....) Partenaire(s) de recherche : Laboratoire d'informatique fondamentale d'Orléans (Orléans ; 1987-....) (Laboratoire) Autre(s) contribution(s) : Benjamin Nguyen, Pierre Senellart, Marie-Christine Rousset, Sabine Frittella, Nathalie Pernelle, Henri Prade, Tommaso Flaminio (Membre(s) du jury) ; Pierre Senellart, Marie-Christine Rousset (Rapporteur(s)) |
| Autres localisations: | Voir dans le Sudoc |
| Variante du titre: | Raisonner avec les fonctions de croyance sur la logique de Belnap-Dunn |
| LEADER | 05862nam a22003857a 4500 | ||
|---|---|---|---|
| 001 | 1211086 | ||
| 008 | 240515s2022 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN277657547 | ||
| 041 | 0 | |a eng |b fre |b eng | |
| 084 | |a 004 | ||
| 100 | 1 | |a Nazari, Sajad, |d 1983- | |
| 240 | 1 | 0 | |a Raisonner avec les fonctions de croyance sur la logique de Belnap-Dunn |
| 245 | 1 | 0 | |a Reasoning with belief functions over Belnap-Dunn logic |c Sajad Nazari ; sous la direction de Benjamin Nguyen. |
| 256 | |a Données textuelles | ||
| 260 | |c 2022. | ||
| 500 | |a Titre provenant de l'écran-titre | ||
| 500 | |a Ecole(s) Doctorale(s) : École doctorale Mathématiques, Informatique, Physique Théorique et Ingénierie des Systèmes (Centre-Val de Loire ; 2012-....) | ||
| 500 | |a Partenaire(s) de recherche : Laboratoire d'informatique fondamentale d'Orléans (Orléans ; 1987-....) (Laboratoire) | ||
| 500 | |a Autre(s) contribution(s) : Benjamin Nguyen, Pierre Senellart, Marie-Christine Rousset, Sabine Frittella, Nathalie Pernelle, Henri Prade, Tommaso Flaminio (Membre(s) du jury) ; Pierre Senellart, Marie-Christine Rousset (Rapporteur(s)) | ||
| 502 | |a Thèse de doctorat. Informatique. Bourges, INSA Centre Val de Loire. 2022 | ||
| 520 | |a Ce travail porte sur la représentation d'informations incertaines et potentiellement contradictoires et sur la manière de raisonner avec ces informations. Ici, nous considérons les informations probabilistes. Nous nous appuyons sur les travaux de Klein et al (2021) où les auteurs définissent des probabilités dites non-standards sur la logique de Belnap Dunn. Belnap, dans "How a computer should think" (1977), propose une logique propositionnelle pour modéliser les informations qu'un ordinateur pourrait avoir à sa disposition à propos d'un énoncé : l'énoncé peut être vrai - c'est-à-dire étayé par les informations à disposition -, faux - c'est-à-dire contredit par les informations -, ni étayé ni contredit, à la fois étayé et contredit. En nous appuyant sur Klein et al (2021), nous proposons un cadre logique modulaire pour formaliser un raisonnement probabiliste basé sur des informations incohérentes (Bílková et al, 2020). Puis nous généralisons ces travaux aux fonctions de croyance (Bílková et al 2022). Les fonctions de croyance sont une généralisation des probabilités qui permet de représenter des informations incomplètes sur une distribution de probabilité. Les fonctions de croyance sont largement utilisées pour représenter des éléments de preuve. La théorie de Dempster-Shafer propose une règle pour agréger les fonctions de croyance, c'est-à-dire pour obtenir une fonction de croyance qui encode les informations véhiculées par de nombreux éléments de preuve. De nombreuses variantes de la règle de Dempster Shafer ont été proposées, mais elle reste une référence à laquelle ces propositions sont comparées. Par conséquent, nous étudions comment l'application de la règle de Dempster-Shafer à la croyance fonctionne sur la logique de Belnap-Dunn plutôt que sur la logique classique. Enfin, nous poursuivons dans cette voie de recherche en étudiant les moyens de mettre à jour les fonctions de croyance sur la logique de Belnap-Dunn (Frittella et al 2022). | ||
| 520 | |a This work focuses on the representation of uncertain and potentially contradictory information and on how to reason with them. Here we consider crisps and probabilistic information. We build on the work of [KMR21] where the authors define so called non-standard probabilities over Belnap Dunn logic. Belnap, in How a computer should think [Bel19], proposes this propositional logic to model the information a computer might have at its disposal about a statement: the statement might be true - that is supported by the evidence -, false - that is contradicted by the evidence -, neither supported nor contradicted, both supported nor contradicted. Building on [KMR21], we propose a modular logical framework to formalize probabilistic reasoning based on inconsistent information [B´ıl+20]. Then we generalise their proposal from probabilities to belief functions [B´ıl+22]. Belief functions are a generalisation of probabilities that allows to represent incomplete information about a probability distribution.Belief functions are used extensively in order to represent pieces of evidence. Dempster Shafer theory proposes a rule to aggregate belief functions that is, to obtain a belief function that encodes the information conveyed by many pieces of evidence. Many variations of Dempster Shafer rule have been proposed, however it remains a benchmark to which these proposals are compared. Therefore, we study the impact of applying Dempster Shafer rule to belief functions over Belnap Dunn logic rather than over classical logic. Finally, pursue on that line of research by studying ways to update belief functions over Belnap Dunn logic [FMN22]. | ||
| 538 | |a Configuration requise : un logiciel capable de lire un fichier au format : PDF | ||
| 650 | |a Thèses et écrits académiques | ||
| 700 | 1 | |a Nguyen, Benjamin, |d 1976- |4 ths |4 opn | |
| 700 | 1 | |a Senellart, Pierre, |d 1981- |4 opn | |
| 700 | 1 | |a Rousset, Marie-Christine, |d 19..-...., |c auteur en informatique. |4 opn | |
| 700 | 1 | |a Frittella, Sabine, |d 1988- |4 opn | |
| 700 | 1 | |a Pernelle, Nathalie, |d 19..-...., |c chercheuse en informatique. |4 opn | |
| 700 | 1 | |a Prade, Henri, |d 1953-...., |c chercheur en informatique. |4 opn | |
| 700 | 1 | |a Flaminio, Tommaso, |d 19..- |4 opn | |
| 710 | 2 | |a Institut national des sciences appliquées. |4 dgg | |
| 856 | 4 | |q PDF |s 1114831 |u http://www.theses.fr/2022ISAB0008/document |z Accès au texte intégral | |
| 856 | 4 | |u http://www.theses.fr/2022ISAB0008/abes | |
| 997 | |0 1211086 |1 Thèse numérique |a Ressource numérique |b INSA |b ENSA |c 0/Bibliothèque numérique/ |c 1/Bibliothèque numérique/Autre ressource numérique/ | ||