Belief revision and projection in the epistemic situation calculus

DOI10.1016/J.ARTINT.2017.07.004zbMATH Open1419.68148OpenAlexW2739885649MaRDI QIDQ1680698FDOQ1680698

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

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

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)

Cites Work

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

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
• On the progression of belief
• Title not available (Why is that?)

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)