随着定理机器证明的发展,自动推理技术在智能教育领域的应用日趋频繁。本文以智能教育物理平台为基础,结合前人已有的研究成果,在智能教育物理平台已有的动态构图子系统和问题自动动态生成子系统的基础上,研究了基于产生式规则的前向推理方法在物理问题自动求解领域的应用,并在问题自动求解的基础上设计了可读求解过程的生成算法。以初中物理范围内力和机械知识为例,设计和实现了基于前向推理方法的智能教育物理平台解题子系统。本文的主要工作和研究成果如下:(1)设计了谓词逻辑和框架知识表示相结合的物理知识表示体系。(2)设计了基于产生式规则的物理规则表示体系。(3)以面向对象程序设计技术为基础,运用前向推理方法理论,分析、设计、实现了智能教育物理平台解题子系统。(4)以动态链接技术为基础,解决了智能教育物理平台各子系统间的对接问题。使物理教育智能平台成为一个有机整体。