Unifying default reasoning and belief revision in a modal framework

DOI10.1016/0004-3702(94)90095-7zbMath0811.68113OpenAlexW1969817391MaRDI QIDQ1330669

Craig Boutilier

Publication date: 21 July 1994

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

Full work available at URL: https://doi.org/10.1016/0004-3702(94)90095-7

zbMATH Keywords

belief revisionunary modal operators

Mathematics Subject Classification ID

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

Related Items (24)

Conditional logics of normality: A modal approach ⋮ On a rule-based interpretation of default conditionals ⋮ On the revision of probabilistic belief states ⋮ The Ramsey test and conditional semantics ⋮ Abduction to plausible causes: an event-based model of belief update ⋮ A unified model of qualitative belief change: a dynamical systems perspective ⋮ Adaptively applying modus ponens in conditional logics of normality ⋮ Modeling belief in dynamic systems. I: Foundations ⋮ A sphere world semantics for default reasoning ⋮ Parallel belief revision: revising by sets of formulas ⋮ On the Strong Completeness of Åqvist’s Dyadic Deontic Logic G ⋮ Dynamic logics of evidence-based beliefs ⋮ An epistemic and dynamic approach to abductive reasoning: abductive problem and abductive solution ⋮ Preference-based belief operators ⋮ Iterated Belief Revision in the Face of Uncertain Communication ⋮ Some contributions to nonmonotonic consequence ⋮ Conditional indifference and conditional preservation ⋮ Artificial explanations: The epistemological interpretation of explanation in AI ⋮ Default reasoning and belief revision: A syntax-independent approach ⋮ Default reasoning from conditional knowledge bases: Complexity and tractable cases ⋮ Abduction as belief revision ⋮ Systematic withdrawal ⋮ Modal logics for qualitative possibility theory ⋮ A consistency-based approach for belief change

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Counterfactuals and comparative possibility
• Semantical considerations on nonmonotonic logic
• Two modellings for theory change
• An approach to default reasoning based on a first-order conditional logic: Revised report
• A logical framework for default reasoning
• On probabilistic representation of non-probabilistic belief revision
• Nonmonotonic reasoning, preferential models and cumulative logics
• Epistemic entrenchment and possibilistic logic
• Propositional knowledge base revision and minimal change
• On the consistency of defeasible databases
• The logic of conditionals. An application of probability to deductive logic
• Modal logics for qualitative possibility theory
• Nonmonotonic inference based on expectations
• Conditional logics of normality: A modal approach
• Updates and subjunctive queries
• All I know: A study in autoepistemic logic
• On the logic of theory change: Partial meet contraction and revision functions
• What should a database know?
• On the existence and properties of periodic solutions of discrete difference equations
• Counterfactuals

This page was built for publication: Unifying default reasoning and belief revision in a modal framework