Belief revision and projection in the epistemic situation calculus

DOI10.1016/J.ARTINT.2017.07.004MaRDI QIDQ1680698zbMATH OpenOpenAlexFDO

Authors 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

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

Recommendations

• Prolegomena to dynamic logic for belief revision
• Iterated belief change in the situation calculus
• scientific article; zbMATH DE number 108002
• scientific article; zbMATH DE number 6747990
• Consistency-based revision of structured belief bases

Cites work

• scientific article; zbMATH DE number 67495 (Why is no real title available?)
• scientific article; zbMATH DE number 89002 (Why is no real title available?)
• scientific article; zbMATH DE number 140403 (Why is no real title available?)
• scientific article; zbMATH DE number 1820675 (Why is no real title available?)
• scientific article; zbMATH DE number 795590 (Why is no real title available?)
• scientific article; zbMATH DE number 6747990 (Why is no real title available?)
• A Semantical Account of Progression in the Presence of Defaults
• A qualitative theory of dynamic interactive belief revision
• A semantic characterization of a useful fragment of the situation calculus with knowledge
• A unified model of qualitative belief change: a dynamical systems perspective
• Admissible and restrained revision
• Belief revision: A critique
• Coherence and Conservatism in the Dynamics of Belief II: Iterated Belief Change without Dispositional Coherence
• Conditionals in nonmonotonic reasoning and belief revision. Considering conditionals as agents
• Counterfactuals.
• Decidable reasoning in a first-order logic of limited conditional belief
• Dynamic Epistemic Logic and Knowledge Puzzles
• Dynamic belief revision operators
• Dynamic logic for belief revision
• Foundations of a functional approach to knowledge representation
• From situation calculus to fluent calculus: State update axioms as a solution to the inferential frame problem
• How to progress a database
• How to progress a database. III
• Intelligent Agents and Multi-Agent Systems
• Irrevocable belief revision in dynamic doxastic logic
• Iterated belief change in the situation calculus
• Iterated belief revision, revised
• Iterated revision and minimal change of conditional beliefs
• Knowledge in flux. Modeling the dynamics of epistemic states
• Knowledge, action, and the frame problem
• On the logic of iterated belief revision
• On the logic of theory change: Partial meet contraction and revision functions
• Parallel belief revision: revising by sets of formulas
• Prolegomena to dynamic logic for belief revision
• Reasoning about noisy sensors and effectors in the situation calculus
• Shifting Priorities: Simple Representations for Twenty-Seven Iterated Theory Change Operators
• The logic of knowledge bases
• Two modellings for theory change

Cited in

(4)

• Revising event calculus theories to recover from unexpected observations
• Situation calculus for controller synthesis in manufacturing systems with first-order state representation
• scientific article; zbMATH DE number 6747990 (Why is no real title available?)
• On the progression of belief

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

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