English
Related papers

Related papers: Imaginary Kinematics

200 papers

We propose a method for an agent to revise its incomplete probabilistic beliefs when a new piece of propositional information is observed. In this work, an agent's beliefs are represented by a set of probabilistic formulae -- a belief base.…

Artificial Intelligence · Computer Science 2016-04-08 Gavin Rens , Thomas Meyer , Giovanni Casini

Imaging is a form of probabilistic belief change which could be employed for both revision and update. In this paper, we propose a new framework for probabilistic belief change based on imaging, called Expected Distance Imaging (EDI). EDI…

Artificial Intelligence · Computer Science 2017-05-04 Gavin Rens , Thomas Meyer

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 introduce dynamic probability kinematics (DPK), a method for an agent to mechanically update subjective beliefs in the presence of partial information. We then generalize DPK to dynamic imprecise probability kinematics (DIPK), which…

Statistics Theory · Mathematics 2023-02-21 Michele Caprio , Ruobin Gong

Belief revision has been studied mainly with respect to background logics that are monotonic in character. In this paper we study belief revision when the underlying logic is non-monotonic instead--an inherently interesting problem that is…

Artificial Intelligence · Computer Science 2016-04-05 Zhiqiang Zhuang , James Delgrande , Abhaya Nayak , Abdul Sattar

The belief revision field is opulent in new proposals and indigent in analyses of existing approaches. Much work hinge on postulates, employed as syntactic characterizations: some revision mechanism is equivalent to some properties.…

Artificial Intelligence · Computer Science 2025-07-04 Paolo Liberatore

We present a semantics for adding uncertainty to conditional logics for default reasoning and belief revision. We are able to treat conditional sentences as statements of conditional probability, and express rules for revision such as "If A…

Artificial Intelligence · Computer Science 2013-03-08 Craig Boutilier

Traditional logic-based belief revision research focuses on designing rules to constrain the behavior of revision operators. Frameworks have been proposed to characterize iterated revision rules, but they are often too loose, leading to…

Artificial Intelligence · Computer Science 2025-05-13 Hua Meng , Zhiguo Long , Michael Sioutis , Zhengchun Zhou

We propose a new paradigm for Belief Change in which the new information is represented as sets of models, while the agent's body of knowledge is represented as a finite set of formulae, that is, a finite base. The focus on finiteness is…

Logic in Computer Science · Computer Science 2023-09-13 Ricardo Guimarães , Ana Ozaki , Jandson S. Ribeiro

I propose a framework for an agent to change its probabilistic beliefs when a new piece of propositional information $\alpha$ is observed. Traditionally, belief change occurs by either a revision process or by an update process, depending…

Artificial Intelligence · Computer Science 2016-04-08 Gavin Rens

In this contribution we explore choice revision, a sort of belief change in which the new information is represented by a set of sentences and the agent could accept some of the sentences while rejecting the others. We propose a generalized…

Logic in Computer Science · Computer Science 2018-05-04 Li Zhang

This paper deals with belief base revision that is a form of belief change consisting of the incorporation of new facts into an agent's beliefs represented by a finite set of propositional formulas. In the aim to guarantee more reliability…

Artificial Intelligence · Computer Science 2020-09-25 Raïda Ktari , Mohamed Ayman Boujelben

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

The theory of belief functions manages uncertainty and also proposes a set of combination rules to aggregate opinions of several sources. Some combination rules mix evidential information where sources are independent; other rules are…

Artificial Intelligence · Computer Science 2015-03-18 Mouna Chebbah , Arnaud Martin , Boutheina Ben Yaghlane

We discuss conditionalisation for Accept-Desirability models in an abstract decision-making framework, where uncertain rewards live in a general linear space, and events are special projection operators on that linear space. This abstract…

Artificial Intelligence · Computer Science 2025-12-23 Kathelijne Coussement , Gert de Cooman , Keano De Vos

The study of belief change has been an active area in philosophy and AI. In recent years two special cases of belief change, belief revision and belief update, have been studied in detail. In a companion paper, we introduce a new framework…

Artificial Intelligence · Computer Science 2007-05-23 Nir Friedman , Joseph Y. Halpern

In action domains where agents may have erroneous beliefs, reasoning about the effects of actions involves reasoning about belief change. In this paper, we use a transition system approach to reason about the evolution of an agents beliefs…

Artificial Intelligence · Computer Science 2014-01-17 Aaron Hunter , James P. Delgrande

The (extended) AGM postulates for belief revision seem to deal with the revision of a given theory K by an arbitrary formula, but not to constrain the revisions of two different theories by the same formula. A new postulate is proposed and…

Artificial Intelligence · Computer Science 2007-05-23 Michael Freund , Daniel Lehmann

We study belief revision when information is represented by a set of probability distributions, or general information. General information extends the standard event notion while including qualitative information (A is more likely than B),…

Theoretical Economics · Economics 2025-02-04 Adam Dominiak , Matthew Kovach , Gerelt Tserenjigmid

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
‹ Prev 1 2 3 10 Next ›