Counterfactuals
From MaRDI portal
Publication:5903759
DOI10.1016/0004-3702(86)90067-6zbMath0655.03011MaRDI 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
03B60: Other nonclassical logic
03A05: Philosophical and critical aspects of logic and foundations
68T99: Artificial intelligence
68T20: Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)
Related Items
Belief contraction in the context of the general theory of rational choice, Approximate coherence-based reasoning, Belief revision and update: Complexity of model checking, Iterated belief revision, \(\text{DA}^2\) merging operators, Conditional probability and defeasible inference, Causality and maximum entropy updating, Reasoning under inconsistency: a forgetting-based approach, A solver for QBFs in negation normal form, 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, Nonmonotonic reasoning, preferential models and cumulative logics, What does a conditional knowledge base entail?, On the complexity of propositional knowledge base revision, updates, and counterfactuals, Revision algebra semantics for conditional logic, Reaching agreements through argumentation: a logical model and implementation, A theory of measurement in diagnosis from first principles, 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, Counterfactual reasoning by (means of) defaults, Circumscriptive semantics for updating knowledge bases, Modeling belief in dynamic systems. I: Foundations, Reducing belief revision to circumscription (and vice versa), Fast algorithms for revision of some special propositional knowledge bases, Explanations, belief revision and defeasible reasoning., Abduction as belief revision, Systematic withdrawal, Another perspective on default reasoning, The size of a revised knowledge base, Weak AGM postulates and strong Ramsey test: A logical formalization, Redundancy in logic. I: CNF propositional formulae, A Gentzen- or Beth-type system, a practical decision procedure and a constructive completeness proof for the counterfactual logics VC and VCS, Non monotonic reasoning and belief revision: syntactic, semantic, foundational and coherence approaches
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