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