English
Related papers

Related papers: Uncertainty About Evidence

200 papers

Recent advancements in machine learning have emphasized the need for transparency in model predictions, particularly as interpretability diminishes when using increasingly complex architectures. In this paper, we propose leveraging…

Machine Learning · Computer Science 2025-07-18 Chenrui Zhu , Louenas Bounia , Vu Linh Nguyen , Sébastien Destercke , Arthur Hoarau

Outside-knowledge visual question answering is a challenging task that requires both the acquisition and the use of open-ended real-world knowledge. Some existing solutions draw external knowledge into the cross-modality space which…

Computer Vision and Pattern Recognition · Computer Science 2023-05-12 Qingyi Si , Yuchen Mo , Zheng Lin , Huishan Ji , Weiping Wang

Communication facilitates coordination, but coordination might fail if there's too much uncertainty. I discuss a scenario in which vagueness-driven uncertainty undermines the possibility of publicly sharing a belief. I then show that…

Computer Science and Game Theory · Computer Science 2021-06-23 Giorgio Sbardolini

That an agent's possible evidential states form a Boolean algebra (on which it is natural to define a probability measure) is an assertion that ideally should be proved, rather than assumed, in justifying rational choice as a representation…

Statistics Theory · Mathematics 2018-03-06 Fatemeh Borhani , Edward J. Green

Traditionally, an agent's beliefs would come from what the agent can see, hear, or sense. In the modern world, beliefs are often based on the data available to the agents. In this work, we investigate a dynamic logic of such beliefs that…

Logic in Computer Science · Computer Science 2025-11-04 Junli Jiang , Pavel Naumov , Wenxuan Zhang

Supervised machine learning models boast remarkable predictive capabilities. But can you trust your model? Will it work in deployment? What else can it tell you about the world? We want models to be not only good, but interpretable. And yet…

Machine Learning · Computer Science 2017-03-07 Zachary C. Lipton

Standard models of multi-agent modal logic do not capture the fact that information is often ambiguous, and may be interpreted in different ways by different agents. We propose a framework that can model this, and consider different…

Artificial Intelligence · Computer Science 2012-03-06 Joseph Y. Halpern , Willemien Kets

Is knowledge definable as justified true belief ("JTB")? We argue that one can legitimately answer positively or negatively, depending on whether or not one's true belief is justified by what we call adequate reasons. To facilitate our…

Logic in Computer Science · Computer Science 2021-12-28 Paul Égré , Paul Marty , Bryan Renne

Inferring from inconsistency and making decisions are two problems which have always been treated separately by researchers in Artificial Intelligence. Consequently, different models have been proposed for each category. Different…

Artificial Intelligence · Computer Science 2012-07-09 Leila Amgoud

When we work with information from multiple sources, the formalism each employs to handle uncertainty may not be uniform. In order to be able to combine these knowledge bases of different formats, we need to first establish a common basis…

Artificial Intelligence · Computer Science 2013-02-18 Choh Man Teng

We present a propositional logic to reason about the uncertainty of events, where the uncertainty is modeled by a set of probability measures assigning an interval of probability to each event. We give a sound and complete axiomatization…

Artificial Intelligence · Computer Science 2014-08-08 Joseph Y. Halpern , Riccardo Pucella

Dynamic evidence logics are logics for reasoning about the evidence and evidence-based beliefs of agents in a dynamic environment. In this paper, we introduce a family of logics for reasoning about relational evidence: evidence that…

Logic in Computer Science · Computer Science 2017-06-20 Alexandru Baltag , Andrés Occhipinti Liberman

Recently, it has been emphasized that the possibility theory framework allows us to distinguish between i) what is possible because it is not ruled out by the available knowledge, and ii) what is possible for sure. This distinction may be…

Artificial Intelligence · Computer Science 2013-01-07 Salem Benferhat , Didier Dubois , Souhila Kaci , Henri Prade

By 'informational entropy', we understand an inherent boundary to knowability, due e.g. to perceptual, theoretical, evidential or linguistic limits. In this paper, we discuss a logical framework in which this boundary is incorporated into…

Consider the following belief change/merging scenario. A group of information sources gives a sequence of reports about the state of the world at various instances (e.g. different points in time). The true states at these instances are…

Artificial Intelligence · Computer Science 2022-05-03 Joseph Singleton , Richard Booth

The form and justification of inductive inference rules depend strongly on the representation of uncertainty. This paper examines one generic representation, namely, incomplete information. The notion can be formalized by presuming that the…

Artificial Intelligence · Computer Science 2013-04-15 Norman C. Dalkey

In science and medicine, model interpretations may be reported as discoveries of natural phenomena or used to guide patient treatments. In such high-stakes tasks, false discoveries may lead investigators astray. These applications would…

Machine Learning · Statistics 2020-08-18 Collin Burns , Jesse Thomason , Wesley Tansey

We examine how causal beliefs affect an agent's choices and how feedback on those choices leads to updated causal beliefs. Building on the structural-equations framework for modeling causality, we first examine the general problem of…

Theoretical Economics · Economics 2026-03-11 Joseph Y. Halpern , Evan Piermont , Marie-Louise Vierø

The process of doing Science in condition of uncertainty is illustrated with a toy experiment in which the inferential and the forecasting aspects are both present. The fundamental aspects of probabilistic reasoning, also relevant in real…

History and Overview · Mathematics 2018-02-07 Giulio D'Agostini

In this paper, we present two methods to provide explanations for reasoning with belief functions in the valuation-based systems. One approach, inspired by Strat's method, is based on sensitivity analysis, but its computation is simpler…

Artificial Intelligence · Computer Science 2013-02-21 Hong Xu , Philippe Smets