|
|||||
|
|
| β-PSML中混合推理算法的正确性证明 | |
| 作者姓名： | 苏依拉 |
| 作者单位： | 内蒙古工业大学信息工程学院,呼和浩特,010051 |
| 基金项目： | 内蒙古自治区自然科学基金资助项目，内蒙古自治区高等学校科学研究资助项目 |
| 摘 要： | 根据已经给出的β-PSML中的混合推理算法,通过结合产生规则,给出了β-PSML中混合推理算法的正确性证明及其复杂性分析.结果表明,在描述逻辑是可确定的情况下,无递归的β-PSML知识库可以提供一个正确和完备的推理算法. |
| 关 键 词： | 分布式问题解决 问题解决标记语言 混合推理 |
| 本文献已被 CNKI 万方数据 等数据库收录！ | |