合情推理公开课ppt课件