English
Related papers

Related papers: The Relationship between Knowledge, Belief and Cer…

200 papers

While belief functions may be seen formally as a generalization of probabilistic distributions, the question of the interactions between belief functions and probability is still an issue in practice. This question is difficult, since the…

Logic in Computer Science · Computer Science 2011-10-03 Frederic Dambreville

In this paper, we investigate knowledge reasoning within a simple framework called knowledge structure. We use variable forgetting as a basic operation for one agent to reason about its own or other agents\ knowledge. In our framework, two…

Logic in Computer Science · Computer Science 2014-01-16 Kaile Su , Abdul Sattar , Guanfeng Lv , Yan Zhang

By probabilistic logic I mean a normative theory of belief that explains how a body of evidence affects one's degree of belief in a possible hypothesis. A new axiomatization of such a theory is presented which avoids a finite additivity…

Artificial Intelligence · Computer Science 2013-04-10 Romas Aleliunas

When does society eventually learn the truth, or take the correct action, via observational learning? In a general model of sequential learning over social networks, we identify a simple condition for learning dubbed excludability.…

Theoretical Economics · Economics 2024-04-05 Navin Kartik , SangMok Lee , Tianhao Liu , Daniel Rappoport

This paper introduces the notion of `commonly knowing whether', a non-standard version of standard common knowledge which is defined on the basis of `knowing whether', instead of standard `knowing that'. After giving five possible…

Logic in Computer Science · Computer Science 2021-02-02 Jie Fan , Davide Grossi , Barteld Kooi , Xingchi Su , Rineke Verbrugge

There currently exists a gap between the theories proposed by the probability and uncertainty and the needs of Artificial Intelligence research. These theories primarily address the needs of expert systems, using knowledge structures which…

Artificial Intelligence · Computer Science 2013-04-12 Brian Falkenhainer

The traditional concept of knowledge is a justified true belief. The bulk of contemporary epistemology has focused primarily on that task of justification. Truth seems to be a quite obvious criterion-does the belief in question correspond…

History and Philosophy of Physics · Physics 2013-03-04 Max L. E. Andrews

Quantum uncertainty relations impose fundamental limits on the joint knowledge that can be acquired from complementary observables: perfect knowledge of a quantum state in one basis implies maximal indetermination in all other mutually…

The explicit link between Promise Theory and Information Theory, while perhaps obvious, is laid out explicitly here. It's shown how causally related observations of promised behaviours relate to the probabilistic formulation of causal…

Multiagent Systems · Computer Science 2020-04-28 Mark Burgess

We propose a belief-formation model where agents attempt to discriminate between two theories, and where the asymmetry in strength between confirming and disconfirming evidence tilts beliefs in favor of theories that generate strong (and…

General Economics · Economics 2023-10-13 Olivier Compte

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

We are concerned with the problem of introducing credibility type information into reasoning systems. The concept of credibility allows us to discount information provided by agents. An important characteristic of this kind of procedure is…

Artificial Intelligence · Computer Science 2013-04-05 Ronald R. Yager

An agent often has a number of hypotheses, and must choose among them based on observations, or outcomes of experiments. Each of these observations can be viewed as providing evidence for or against various hypotheses. All the attempts to…

Artificial Intelligence · Computer Science 2007-05-23 Joseph Y. Halpern , Riccardo Pucella

The recognition of the agency of the knower has enormously enriched our understanding of knowledge production. There is a growing realization that what we know about how we know affects our interpretation of reality. This realization…

History and Philosophy of Physics · Physics 2011-04-22 Gennady Shkliarevsky

In the Bayesian approach to probability theory, probability quantifies a degree of belief for a single trial, without any a priori connection to limiting frequencies. In this paper we show that, despite being prescribed by a fundamental…

Quantum Physics · Physics 2009-11-07 Carlton M. Caves , Christopher A. Fuchs , Ruediger Schack

In this paper, we consider one aspect of the problem of applying decision theory to the design of agents that learn how to make decisions under uncertainty. This aspect concerns how an agent can estimate probabilities for the possible…

Artificial Intelligence · Computer Science 2013-03-26 Adam J. Grove , Daphne Koller

We study notions of (virtual) group knowledge and group belief within multi-agent evidence models, obtained by extending the topological semantics of evidence-based belief and fallible knowledge from individuals to groups. We completely…

Artificial Intelligence · Computer Science 2025-09-03 Alexandru Baltag , Malvin Gattinger , Djanira Gomes

Distributed knowledge is one of the better known group knowledge modalities. While its intuitive idea is relatively clear, there is ample room for interpretation of details. We investigate 12 definitions of distributed knowledge that differ…

Logic in Computer Science · Computer Science 2025-05-13 Rustam Galimullin , Louwe B. Kuijer

This paper considers the notion of possible events which are insignificant in probabilistic analysis (i.e. events that have zero probability). The paper discusses the method of modal logic based on "possible worlds" and discusses a…

Other Statistics · Statistics 2022-11-08 Ben O'Neill

In this paper we study the interaction between logic and probability. In particular, we show that the convex hull of evaluations of a broad class of logics is always effectively axiomatizable. We define a Birkhoff-style calculus for…

Logic · Mathematics 2025-12-22 Zalán Gyenis