扩展性推理主要有两种主要类型：归纳推理和（）推理。