Unifying default reasoning and belief revision in a modal framework

DOI10.1016/0004-3702(94)90095-7zbMATH Open0811.68113OpenAlexW1969817391MaRDI QIDQ1330669FDOQ1330669

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

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

Cites Work

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

Cited In (25)

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

Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Belief Revision in Structured Probabilistic Argumentation 👍 👎
• Default reasoning and belief revision: A syntax-independent approach 👍 👎
• A modal logic for subjective default reasoning 👍 👎
• A simple modal logic for belief revision 👍 👎
• Interrogative belief revision in modal logic 👍 👎
• The modal logic of Bayesian belief revision 👍 👎
• Dynamic Tractable Reasoning 👍 👎

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

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