Search Results for author:
Found 9 papers, 0 papers with code
Iterated Belief Change, Computationally
Iterated Belief Change is the research area that investigates principles for the dynamics of beliefs over (possibly unlimited) many subsequent belief changes.
A Conditional Perspective on the Logic of Iterated Belief Contraction
For all these principles, we provide semantic characterization theorems and provide formulations by postulates which highlight how the change of beliefs and of conditional beliefs is constrained, whenever that is possible.
AGM Belief Revision, Semantically
As our second core contribution, we provide a characterization of all logics for which our result can be strengthened to assignments producing transitive preference relations (as in K&M's original work).
Conditional Inference and Activation of Knowledge Entities in ACT-R
Activation-based conditional inference applies conditional reasoning to ACT-R, a cognitive architecture developed to formalize human reasoning.
On Limited Non-Prioritised Belief Revision Operators with Dynamic Scope
In this paper, we contribute to this line of research by introducing the concept of dynamic-limited revision, which are revisions expressible by a total preorder over a limited set of worlds.
A General Katsuno-Mendelzon-Style Characterization of AGM Belief Base Revision for Arbitrary Monotonic Logics
The AGM postulates by Alchourr\'{o}n, G\"{a}rdenfors, and Makinson continue to represent a cornerstone in research related to belief change.
Descriptor Revision for Conditionals: Literal Descriptors and Conditional Preservation
Descriptor revision by Hansson is a framework for addressing the problem of belief change.
A Conditional Perspective for Iterated Belief Contraction
According to Boutillier, Darwiche, Pearl and others, principles for iterated revision can be characterised in terms of changing beliefs about conditionals.
Decrement Operators in Belief Change
While research on iterated revision is predominant in the field of iterated belief change, the class of iterated contraction operators received more attention in recent years.
