A formal explication of the search for explanations: the adaptive logics approach to abductive reasoning

@article{Lycke2012AFE,
  title={A formal explication of the search for explanations: the adaptive logics approach to abductive reasoning},
  author={H. Lycke},
  journal={Log. J. IGPL},
  year={2012},
  volume={20},
  pages={497-516}
}
  • H. Lycke
  • Published 2012
  • Computer Science, Mathematics
  • Log. J. IGPL
  • Most logic–based approaches characterize abduction as a kind of backwards deduction plus additional conditions, which means that a number of conditions is specified that enable one to decide whether or not a particular abductive inference is sound (one of those conditions may e.g. be that abductive consequences have to be compatible with the background theory). Despite the fact that these approaches succeed in specifying which formulas count as valid consequences of abductive inference steps… CONTINUE READING
    Combining Inductive Generalization and Factual Abduction
    A conditional logic for abduction
    17
    Abduction logics illustrating pitfalls of defeasible methods
    1
    Modeling hypothetical reasoning by formal logics
    1
    Hierarchic adaptive logics
    9

    References

    Publications referenced by this paper.
    SHOWING 1-10 OF 31 REFERENCES
    First order abduction via tableau and sequent calculi
    94
    Seeking explanations: abduction in logic, philosophy of science and artificial intelligence
    130
    Logic-Based Abductive Inference
    23
    A Formal Logic for Abductive Reasoning
    54
    Abductive reasoning
    99