完备化算法相关论文
在分析现有的完备化策略的基础上提出了关键规则分组优先提取策略,介绍了基于此策略的完备化算法及其具体实现,初步探讨了策略的选......
期刊
随着信息技术的不断发展和自动化水平的不断提高,许多领域都出现了拥有海量数据的信息系统.这些数据信息系统中通常隐藏着大量对决......
在分析现有的完备化策略的基础上提出了关键规则分组优先提取策略，介绍了基于此策略的完备化算法及其具体实现，初步探讨了策略的选择......
1.引言项重写系统是一种受到广泛研究和应用的形式计算模型.一个项重写系统由一组称为重写规则的定向等式组成.它的计算基于代入、......
