Belief revision and projection in the epistemic situation calculus

DOI10.1016/j.artint.2017.07.004zbMath1419.68148OpenAlexW2739885649MaRDI QIDQ1680698

Christoph Schwering, Gerhard Lakemeyer, Maurice Pagnucco

Publication date: 16 November 2017

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

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

zbMATH Keywords

belief revisionknowledge representationreasoning about actions

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Knowledge representation (68T30)

Related Items (3)

On the progression of belief ⋮ Revising event calculus theories to recover from unexpected observations ⋮ Situation calculus for controller synthesis in manufacturing systems with first-order state representation

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• How to progress a database. III
• Parallel belief revision: revising by sets of formulas
• A semantic characterization of a useful fragment of the situation calculus with knowledge
• Iterated belief change in the situation calculus
• Foundations of a functional approach to knowledge representation
• Prolegomena to dynamic logic for belief revision
• Knowledge, action, and the frame problem
• Dynamic belief revision operators
• Iterated belief revision, revised
• Two modellings for theory change
• A unified model of qualitative belief change: a dynamical systems perspective
• On the logic of iterated belief revision
• How to progress a database
• Reasoning about noisy sensors and effectors in the situation calculus
• From situation calculus to fluent calculus: State update axioms as a solution to the inferential frame problem
• Iterated revision and minimal change of conditional beliefs
• Belief revision: A critique
• Shifting Priorities: Simple Representations for Twenty-Seven Iterated Theory Change Operators
• Dynamic Epistemic Logic and Knowledge Puzzles
• A Semantical Account of Progression in the Presence of Defaults
• Dynamic logic for belief revision
• On the logic of theory change: Partial meet contraction and revision functions
• Coherence and Conservatism in the Dynamics of Belief II: Iterated Belief Change without Dispositional Coherence
• Decidable Reasoning in a First-Order Logic of Limited Conditional Belief.
• Intelligent Agents and Multi-Agent Systems
• Irrevocable belief revision in dynamic doxastic logic
• Conditionals in nonmonotonic reasoning and belief revision. Considering conditionals as agents

This page was built for publication: Belief revision and projection in the epistemic situation calculus