Session 6 Theorem Proving and Logic: I I ON THE MECHANIZATION OF ABDUCTIVE LOGIC

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

Explanation in Artificial Intelligence: Insights from the Social Sciences (2017, background): “The necessity to encode the process in a suitable computational form led to axiomatisations, with Pople [144] seeming to be the first to do this, and characterisations of how to implement such axiomatisations; e.”
Watson: Beyond Jeopardy! (2013, unknown): “Pople proposed applying abduction to medical diagnosis and provided algorithms for computing explanations of data (like symptoms) in the context of a collection of axioms (medical knowledge) [27].”
Implicit Communication of Actionable Information in Human-AI teams (2019, background): “Abduction has been studied in AI [13, 15, 30, 36, 41, 50, 58, 63, 65] and employed to solve a variety of real-world problems [36, 57, 66, 81, 82] and to perform plan recognition [5, 21, 85].”