A Knowledge-Level Account of Abduction

  title={A Knowledge-Level Account of Abduction},
  author={Hector J. Levesque},
In this paper, we consider a new definition of abduction that makes it depend on an under­ lying formal model of belief. In particular, dif­ ferent models of belief will give rise to differ­ ent forms of abductive reasoning. Based on this definition, we then prove three main the­ orems: first, that when belief is closed under logical implication, the corresponding form of abduction is precisely what is performed by the ATMS as characterized by Reiter and de Kleer; second, that with the more… CONTINUE READING
Highly Influential
This paper has highly influenced 13 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS
Highly Cited
This paper has 180 citations. REVIEW CITATIONS

From This Paper

Figures, tables, results, connections, and topics extracted from this paper.
110 Extracted Citations
11 Extracted References
Similar Papers

Citing Papers

Publications influenced by this paper.
Showing 1-10 of 110 extracted citations

181 Citations

Citations per Year
Semantic Scholar estimates that this publication has 181 citations based on the available data.

See our FAQ for additional information.

Referenced Papers

Publications referenced by this paper.
Showing 1-10 of 11 references

A methodology for using a de ­ fault and abductive reasoning system

  • D. Poole.
  • 1988

Gardenfors . Knowledge in flux : modeling the dynamics of epistemic states

  • P.
  • 1988

Knowledge retrieval as spe ­ cialized inference

  • A. Frisch.
  • 1988

Brachman . Knowledge level in ­ terfaces to informat ion systems

  • Levesque, R.
  • 1986

Foundations of assumptionbased t ru th maintenance systems : prel iminary report

  • R. Reiter.

Logic and the complex ­ i ty of reasoning

  • H. Levesque.
  • The Journal of Philosophical Logic

Massively parallel assumptionbased t r u th mainte ­ nance

  • J. de Kleer.

Similar Papers

Loading similar papers…