Considerations on Belief Revision in an Action Theory

DOI10.1007/978-3-642-30743-0_12zbMATH Open1357.68215OpenAlexW99925727MaRDI QIDQ2900517FDOQ2900517

James Delgrande

Publication date: 23 July 2012

Published in: Correct Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-30743-0_12

Mathematics Subject Classification ID

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

Cites Work

• Nonmonotonic causal theories
• On the logic of theory change: Partial meet contraction and revision functions
• Title not available (Why is that?)
• Representing action and change by logic programs
• Iterated belief change in the situation calculus
• Knowledge, action, and the frame problem
• Propositional knowledge base revision and minimal change
• On the logic of iterated belief revision
• Merging Information Under Constraints: A Logical Framework
• On the complexity of propositional knowledge base revision, updates, and counterfactuals
• Dynamic belief revision operators
• Formalizing sensing actions -- a transition function based approach
• Title not available (Why is that?)
• Representing actions: Laws, observations and hypotheses
• Iterated Belief Change Due to Actions and Observations

Cited In (4)

• On Action Theory Change
• Four ways in which theories of belief revision could benefit from theories of epistemic justification
• Situation Theory Reconsidered
• Towards a theory of intention revision

Uses Software

• CCalc

This page was built for publication: Considerations on Belief Revision in an Action Theory

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