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

DOI10.1016/j.artint.2010.11.002zbMath1216.68262OpenAlexW2135940805MaRDI 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 revisiontemporal reasoningbelief changereasoning about change

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Related Items (7)

Generalized DEL-Sequents ⋮ Confluence Operators ⋮ Confluence operators and their relationships with revision, update and merging ⋮ 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 ⋮ Actions, Belief Update, and DDL

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

This page was built for publication: Belief extrapolation (or how to reason about observations and unpredicted change)