解释学习的可操作性

OPERATIONALITY IN EXPLANATION-BASED LEARNING

本文对解释学习(EBL)中可操作性的形式化描述进行了初步探讨.强调了执行系统在学习中的作用,并将它形式化为一个公理系统;提出了等价置换概念,给出了可操作性的数学描述,最后验证了一个路线规划系统PLAN.

In this paper, a preliminary formal description of operationality in Explanation-Based Learning is presented. The performance system is formalized as an axiom system, emphasizing its importance in learning. The concept of equivalent substitution is proposed, and the mathematical description of operationality is given. Finally, a path plan system PLAN is designed to verify the correctness of our description.