论文部分内容阅读
该文完善了全局焦点和局部焦点的移动规则，使规则适合更广泛的应用领域。所提出的新算法以Ｍｃｋｅｏｗｎ的焦点算法为基础，将原来的栈式控制结构改进树型控制结构，可以同时控制全局焦点和局部焦点的移动。新算法改进了Ｓｃｈｅｍａ的扩充转移网络表示，为弧增加了重复特性和优先级的信息，还加入了对Ｓｃｈｅｍａ进行递归的控制和回溯机制，并由知识库决定Ｓｃｈｅｍａ的填充和递归。又增加了对Ｓｃｈｅｍａ可交换符号的处理。在