中文
相关论文

相关论文: On Definite Iterated Belief Revision with Belief A…

200 篇论文

Belief revision is an operation that aims at modifying old beliefs so that they become consistent with new ones. The issue of belief revision has been studied in various formalisms, in particular, in qualitative algebras (QAs) in which the…

人工智能 · 计算机科学 2014-05-06 Valmi Dufour-Lussier , Alice Hermann , Florence Le Ber , Jean Lieber

AGM's belief revision is one of the main paradigms in the study of belief change operations. In this context, belief bases (prioritised bases) have been largely used to specify the agent's belief state - whether representing the agent's…

计算机科学中的逻辑 · 计算机科学 2019-02-19 Marlo Souza , Álvaro Moreira , Renata Vieira

Belief revision is an operation that aims at modifying old be-liefs so that they become consistent with new ones. The issue of belief revision has been studied in various formalisms, in particular, in qualitative algebras (QAs) in which the…

人工智能 · 计算机科学 2014-12-15 Valmi Dufour-Lussier , Alice Hermann , Florence Le Ber , Jean Lieber

Iterated Belief Change is the research area that investigates principles for the dynamics of beliefs over (possibly unlimited) many subsequent belief changes. In this paper, we demonstrate how iterated belief change is connected to…

人工智能 · 计算机科学 2022-02-21 Kai Sauerwald , Christoph Beierle

The research on non-prioritized revision studies revision operators which do not accept all new beliefs. In this paper, we contribute to this line of research by introducing the concept of dynamic-limited revision, which are revisions…

人工智能 · 计算机科学 2021-08-18 Kai Sauerwald , Gabriele Kern-Isberner , Christoph Beierle

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.…

人工智能 · 计算机科学 2025-07-04 Paolo Liberatore

AGM's belief revision is one of the main paradigms in the study of belief change operations. In this context, belief bases (prioritised bases) have been primarily used to specify the agent's belief state. While the connection of iterated…

计算机科学中的逻辑 · 计算机科学 2019-12-24 Marlo Souza , Álvaro Moreira

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…

人工智能 · 计算机科学 2014-01-17 Aaron Hunter , James P. Delgrande

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…

人工智能 · 计算机科学 2020-09-25 Raïda Ktari , Mohamed Ayman Boujelben

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…

人工智能 · 计算机科学 2007-05-23 Michael Freund , Daniel Lehmann

Choice revision is a sort of non-prioritized multiple revision, in which the agent partially accepts the new information represented by a set of sentences. We investigate the construction of choice revision based on a new approach to belief…

逻辑 · 数学 2018-05-02 Li Zhang

Understanding how humans revise their beliefs in light of new information is crucial for developing AI systems which can effectively model, and thus align with, human reasoning. While theoretical belief revision frameworks rely on a set of…

人工智能 · 计算机科学 2025-06-12 Stylianos Loukas Vasileiou , Antonio Rago , Maria Vanina Martinez , William Yeoh

According to Boutillier, Darwiche, Pearl and others, principles for iterated revision can be characterised in terms of changing beliefs about conditionals. For iterated contraction a similar formulation is not known. This is especially…

人工智能 · 计算机科学 2022-02-03 Kai Sauerwald , Gabriele Kern-Isberner , Christoph Beierle

Several forms of iterable belief change exist, differing in the kind of change and its strength: some operators introduce formulae, others remove them; some add formulae unconditionally, others only as additions to the previous beliefs;…

人工智能 · 计算机科学 2021-04-09 Paolo Liberatore

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…

计算机科学中的逻辑 · 计算机科学 2018-05-04 Li Zhang

A belief base revision is developed. The belief base is represented using Unified Answer Set Programs which is capable of representing imprecise and uncertain information and perform nonomonotonic reasoning with them. The base revision…

人工智能 · 计算机科学 2020-11-24 Kumar Sankar Ray , Sandip Paul , Diganta Saha

AGM's belief revision is one of the main paradigms in the study of belief change operations. Recently, several logics for belief and information change have been proposed in the literature and used to encode belief change operations in rich…

计算机科学中的逻辑 · 计算机科学 2021-01-06 Marlo Souza , Álvaro Moreira , Renata Vieira

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…

人工智能 · 计算机科学 2016-04-05 Zhiqiang Zhuang , James Delgrande , Abhaya Nayak , Abdul Sattar

Traditional belief revision frameworks often rely on the principle of minimalism, which advocates minimal changes to existing beliefs. However, research in human cognition suggests that people are inherently driven to seek explanations for…

人工智能 · 计算机科学 2024-08-23 Stylianos Loukas Vasileiou , William Yeoh

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.…

人工智能 · 计算机科学 2016-04-08 Gavin Rens , Thomas Meyer , Giovanni Casini
‹ 上一页 1 2 3 10 下一页 ›