1. Consistency-Based Reliability Assessment
- Author
-
Laurent Perrussel, Laurence Cholvy, Jean-Marc Thévenin, William Raynaut, Centre National de la Recherche Scientifique - CNRS (FRANCE), Institut National Polytechnique de Toulouse - INPT (FRANCE), Office National d'Etudes et Recherches Aérospatiales - ONERA (FRANCE), Université Toulouse III - Paul Sabatier - UT3 (FRANCE), Université Toulouse - Jean Jaurès - UT2J (FRANCE), Université Toulouse 1 Capitole - UT1 (FRANCE), Institut de Recherche en Informatique de Toulouse - IRIT (Toulouse, France), ONERA - The French Aerospace Lab [Toulouse], ONERA, Logique, Interaction, Langue et Calcul (IRIT-LILaC), Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées, Systèmes d’Informations Généralisées (IRIT-SIG), and Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE)
- Subjects
Logique en informatique ,Relative reliability ,Theoretical computer science ,business.industry ,Preorder ,Axiomatic system ,[INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO] ,Informatique et langage ,Consistency (knowledge bases) ,Intelligence artificielle ,16. Peace & justice ,[INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL] ,Apprentissage ,[INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI] ,[INFO.INFO-LG]Computer Science [cs]/Machine Learning [cs.LG] ,Logics and meanings of programs ,Belief function theory ,Artificial intelligence ,business ,H- INFORMATIQUE ,Reliability (statistics) ,Mathematics - Abstract
International audience; This paper addresses the question of assessing the relative reliability of unknown information sources. We propose to consider a phase during which the consistency of information they report is analysed, whether it is the consistency of each single report, or the consistency of a report w.r.t. some trusted knowledge or the consistency of different reports together. We adopt an axiomatic approach by first giving postulates which characterize how the resulting reliability preorder should be; then we define a family of operators for building this preorder and demonstrate that it satisfies the proposed postulates.
- Published
- 2015