abductive inference models for diagnostic problem-solving peng | DealShopping France