Counterfactuals
From MaRDI portal
Publication:5903759
DOI10.1016/0004-3702(86)90067-6zbMath0655.03011OpenAlexW4239069293MaRDI QIDQ5903759
Publication date: 1986
Published in: Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0004-3702(86)90067-6
Other nonclassical logic (03B60) Philosophical and critical aspects of logic and foundations (03A05) Artificial intelligence (68T99) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)
Related Items (48)
Nonmonotonic reasoning: From finitary relations to infinitary inference operations ⋮ Unifying default reasoning and belief revision in a modal framework ⋮ Conditional logics of normality: A modal approach ⋮ In All, but Finitely Many, Possible Worlds: Model-Theoretic Investigations on ‘Overwhelming Majority’ Default Conditionals ⋮ A Standard Internal Calculus for Lewis’ Counterfactual Logics ⋮ Counterfactual reasoning by (means of) defaults ⋮ Diagnosing multiple faults ⋮ A theory of diagnosis from first principles ⋮ Reasoning about action. I: A possible worlds approach ⋮ Reasoning about action. II: The qualification problem ⋮ Nested Sequent Calculi for Conditional Logics ⋮ Sequent Systems for Lewis’ Conditional Logics ⋮ Belief contraction in the context of the general theory of rational choice ⋮ Circumscriptive semantics for updating knowledge bases ⋮ In all but finitely many possible worlds: model-theoretic investigations on `\textit{overwhelming majority}' default conditionals ⋮ Another perspective on default reasoning ⋮ Modeling belief in dynamic systems. I: Foundations ⋮ ALX, an action logic for agents with bounded rationality ⋮ Toward credible belief base revision ⋮ Reducing belief revision to circumscription (and vice versa) ⋮ Situated conditional reasoning ⋮ Fast algorithms for revision of some special propositional knowledge bases ⋮ Causality and maximum entropy updating ⋮ Nonmonotonic reasoning, preferential models and cumulative logics ⋮ Weak AGM postulates and strong Ramsey test: A logical formalization ⋮ Redundancy in logic. I: CNF propositional formulae ⋮ The size of a revised knowledge base ⋮ EXPRESSIBLE SEMANTICS FOR EXPRESSIBLE COUNTERFACTUALS ⋮ What does a conditional knowledge base entail? ⋮ On the complexity of propositional knowledge base revision, updates, and counterfactuals ⋮ AN ARGUMENT FOR CONJUNCTION CONDITIONALIZATION ⋮ Revision algebra semantics for conditional logic ⋮ A Gentzen- or Beth-type system, a practical decision procedure and a constructive completeness proof for the counterfactual logics VC and VCS ⋮ Belief revision and update: Complexity of model checking ⋮ Reasoning under inconsistency: a forgetting-based approach ⋮ Iterated belief revision ⋮ Approximate coherence-based reasoning ⋮ A solver for QBFs in negation normal form ⋮ Reaching agreements through argumentation: a logical model and implementation ⋮ Standard Sequent Calculi for Lewis’ Logics of Counterfactuals ⋮ Instance-Level Update in DL-Lite Ontologies through First-Order Rewriting ⋮ Non monotonic reasoning and belief revision: syntactic, semantic, foundational and coherence approaches ⋮ Explanations, belief revision and defeasible reasoning. ⋮ Abduction as belief revision ⋮ Systematic withdrawal ⋮ A theory of measurement in diagnosis from first principles ⋮ \(\text{DA}^2\) merging operators ⋮ Conditional probability and defeasible inference
Cites Work
- Diagnosing multiple faults
- A logic for default reasoning
- Circumscription - a form of non-monotonic reasoning
- Incidence calculus: A mechanism for probabilistic reasoning
- STRIPS: A new approach to the application of theorem proving to problem solving
- On Cores and Prime Implicants of Truth Functions
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Counterfactuals
