实践视角下的主动自动机学习导论

作者：Bernhard Steffen, Falk Howar, and Maik Merten
摘要：在本文中，我们将介绍Mealy机的主动学习，这是一种特别适合用于建模现实反应系统行为的自动机模型。主动学习的特点是其探索阶段和测试阶段的交替。在探索阶段，所谓的成员查询（membership queries）被用来构建学习中系统的假设模型。在测试阶段，所谓的等价查询（equivalence queries）被用来比较相应的假设模型与实际系统。这两个阶段会迭代进行，直到产生目标系统的有效模型。我们将逐步详细阐述这个简单的算法模式、其背后的正确性论证、其局限性，以及特别是克服实际应用中明显障碍的方法。这应该为该领域的学生和外行人提供一个直观的描述，展示了这个具有挑战性的研究领域尤其在控制和验证不断发展的反应系统方面的高潜力。