On the Relationship Between Abduction and Deduction

DOI10.1093/logcom/1.5.661zbMath0734.68085OpenAlexW2092911568WikidataQ60304764 ScholiaQ60304764MaRDI QIDQ3361915

Luca Console, Daniele Theseider Dupré, Pietro Torasso

Publication date: 1991

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/8029cb7f6da4c6d5d50d721f673c027c6ddb91a1

zbMATH Keywords

abductive reasoningabduction through deductionpredicate completion

Mathematics Subject Classification ID

Related Items (34)

Abduction in logic programming: A new definition and an abductive procedure based on rewriting ⋮ Executable specifications for hypothesis-based reasoning with Prolog and Constraint Handling Rules ⋮ Solving abduction by computing joint explanations. Logic programming formalization, applications to P2P data integration, and complexity results ⋮ Outlier detection using default reasoning ⋮ Contextual Abductive Reasoning with Side-Effects ⋮ Representing diagnosis knowledge ⋮ Consistency-based and abductive diagnoses as generalised stable models ⋮ Diagnosing time-varying misbehavior: An approach based on model decomposition ⋮ Causes for query answers from databases: datalog abduction, view-updates, and integrity constraints ⋮ Abduction from logic programs: Semantics and complexity ⋮ Complexity results for abductive logic programming ⋮ A terminological interpretation of (abductive) logic programming ⋮ Outlier detection for simple default theories ⋮ Semantics and complexity of abduction from default theories ⋮ A Logical Approach to Experience-Based Reasoning ⋮ Combining Forward and Backward Propagation ⋮ Patterns of abduction ⋮ On some tractable classes in deduction and abduction ⋮ Three-valued completion for abductive logic programs ⋮ Characterizing diagnoses and systems ⋮ Logic programming, abduction and probability. A top-down anytime algorithm for estimating prior and posterior probabilities ⋮ On strongest necessary and weakest sufficient conditions ⋮ The hardness of resilience for nested aggregation query ⋮ Implementing Probabilistic Abductive Logic Programming with Constraint Handling Rules ⋮ Logical foundations of knowledge-based recommender systems: a unifying spectrum of alternatives ⋮ A spectrum of definitions for temporal model-based diagnosis ⋮ Analysis of notions of diagnosis ⋮ The CIFF proof procedure for abductive logic programming with constraints: Theory, implementation and experiments ⋮ Abductive reasoning through filtering ⋮ Knowledge assimilation in domains of actions: a possible causes approach ⋮ Nested abnormality theories ⋮ Probabilistic Horn abduction and Bayesian networks ⋮ On the duality of abduction and model generation in a framework for model generation with equality ⋮ A causal approach to nonmonotonic reasoning

This page was built for publication: On the Relationship Between Abduction and Deduction