This paper summarizes preliminary results on the implementation and convergence of an inductive learning algorithm used to identify optimal logical DES controllers. The algorithm is a modification of Angluin's L* procedure. It uses queries to an equivalence oracle and incomplete membership oracle to learn a minimal deterministic finite automaton consistent with the supremal controllable sublanguage of a known specification language and unknown plant. This paper shows how the proposed algorithm is implemented, provides results on the procedure's convergence properties, and presents an example illustrating its use.
展开▼
机译:本文总结了用于识别最佳逻辑DES控制器的归纳学习算法的实现和收敛的初步结果。该算法是对Angluin L *过程的修改。它使用对等价oracle和不完全隶属oracle的查询来学习与确定的规范语言和未知工厂的最高可控子语言一致的最小确定性有限自动机。本文说明了所提出的算法是如何实现的,并提供了该过程的收敛性结果,并提供了一个示例说明其用法。
展开▼