Anzeige
Erschienen in:
2013 | OriginalPaper | Buchkapitel
Explain: A Tool for Performing Abductive Inference
verfasst von : Isil Dillig, Thomas Dillig
Erschienen in: Computer Aided Verification
Verlag: Springer Berlin Heidelberg
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
This paper describes a tool called
Explain
for performing abductive inference. Logical abduction is the problem of finding a simple explanatory hypothesis that explains observed facts. Specifically, given a set of premises Γ and a desired conclusion
φ
, abductive inference finds a simple explanation
ψ
such that
$\Gamma \land \psi \models \phi$
, and
ψ
is consistent with known premises Γ. Abduction has many useful applications in verification, including inference of missing preconditions, error diagnosis, and construction of compositional proofs. This paper gives a brief tutorial introduction to
Explain
and describes the basic inference algorithm.