Iterated belief change in the situation calculus

DOI10.1016/j.artint.2010.04.003zbMath1216.68275OpenAlexW2134275439MaRDI QIDQ543588

Maurice Pagnucco, Yves Lespérance, Hector J. Levesque, Steven Shapiro

Publication date: 17 June 2011

Published in: Artificial Intelligence (Search for Journal in Brave)

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

zbMATH Keywords

belief changesituation calculusreasoning about action and changeknowledge representation and reasoning

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Related Items

Bounded situation calculus action theories ⋮ Considerations on Belief Revision in an Action Theory ⋮ Belief revision and projection in the epistemic situation calculus ⋮ On the progression of belief ⋮ Reasoning about discrete and continuous noisy sensors and effectors in dynamical systems ⋮ Incompatibilities Between Iterated and Relevance-Sensitive Belief Revision ⋮ John McCarthy's legacy ⋮ First-order logical filtering ⋮ An epistemic approach to nondeterminism: believing in the simplest course of events ⋮ Revising event calculus theories to recover from unexpected observations ⋮ A Panorama of Iterated Revision ⋮ Asynchronous knowledge with hidden actions in the situation calculus

Cites Work

• Knowledge, action, and the frame problem
• Semantical considerations on nonmonotonic logic
• Circumscription - a form of non-monotonic reasoning
• Propositional knowledge base revision and minimal change
• Modality, si! Modal logic, no!
• On the logic of iterated belief revision
• Iterated revision and minimal change of conditional beliefs
• Some contributions to the metatheory of the situation calculus
• Dynamic Epistemic Logic and Knowledge Puzzles
• Dynamic logic for belief revision
• On the logic of theory change: Partial meet contraction and revision functions
• A Unified View of Belief Revision and Update
• Belief Revision From the Point of View of Doxastic Logic
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Iterated belief change in the situation calculus