Belief extrapolation (or how to reason about observations and unpredicted change)

DOI10.1016/j.artint.2010.11.002zbMath1216.68262MaRDI QIDQ543623

Florence Dupin de Saint-Cyr, Jérôme Lang

Publication date: 17 June 2011

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

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

zbMATH Keywords

belief revision; temporal reasoning; belief change; reasoning about change

Mathematics Subject Classification ID

68T27: Logic in artificial intelligence

68T30: Knowledge representation

Related Items

Actions, Belief Update, and DDL, AGM 25 years. Twenty-five years of research in belief change, Logic based merging, Probabilistic spatio-temporal knowledge bases: capacity constraints, count queries, and consistency checking, Confluence operators and their relationships with revision, update and merging, Generalized DEL-Sequents, Confluence Operators

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Knowledge, action, and the frame problem
• A unified model of qualitative belief change: a dynamical systems perspective
• Propositional knowledge base revision and minimal change
• A spectrum of definitions for temporal model-based diagnosis
• On the logic of iterated belief revision
• Reconstructing an Agent's Epistemic State from Observations about its Beliefs and Non-beliefs
• Dynamic logic for belief revision
• On the logic of theory change: Partial meet contraction and revision functions
• The complexity of logic-based abduction
• Diagnostic reasoning with A-Prolog
• Belief Revision From the Point of View of Doxastic Logic
• Preferred history semantics for iterated updates