A kinematics principle for iterated revision

DOI10.1016/J.ARTINT.2022.103827MaRDI QIDQ2680799zbMATH OpenOpenAlexFDO

Authors Gabriele Kern-Isberner, Meliha Sezgin, C. Beierle

Publication date 4 January 2023

Published in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.artint.2022.103827

zbMATH Keywords

kinematicstotal preordersiterated belief revisionSpohn's ranking functions

Mathematics Subject Classification ID

Artificial intelligence (68Txx)

Cites work

• A framework for iterated belief revision using possibilistic counterparts to Jeffrey's rule
• A thorough axiomatization of a principle of conditional preservation in belief revision
• A transformation system for unique minimal normal forms of conditional knowledge bases
• Admissible and restrained revision
• Axiomatic derivation of the principle of maximum entropy and the principle of minimum cross-entropy
• Conditionals in nonmonotonic reasoning and belief revision. Considering conditionals as agents
• Iterated revision and minimal change of conditional beliefs
• On the logic of iterated belief revision
• On the logic of theory change: Partial meet contraction and revision functions
• Properties and interrelationships of skeptical, weakly skeptical, and credulous inference induced by classes of minimal models
• Qualitative probabilities for default reasoning, belief revision, and causal modeling
• Ranking kinematics for revising by contextual information

Cited in

(5)

• Representing nonmonotonic inference based on c-representations as an SMT problem
• Representing states in iterated belief revision
• An implementation of nonmonotonic reasoning with c-representations using an SMT solver
• Mixed Iterated Revisions: Rationale, Algorithms, and Complexity
• Natural revision is contingently-conditionalized revision

This page was built for publication: A kinematics principle for iterated revision

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2680799)