Considerations on Belief Revision in an Action Theory

DOI10.1007/978-3-642-30743-0_12zbMath1357.68215OpenAlexW99925727MaRDI QIDQ2900517

James P. 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

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

Uses Software

• CCalc

Cites Work

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

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