第17章 推演功能的拓展