phil170-chSKYRMS-prob-inductive-logic-2.pdf