|
|||||
|
|
| 一种基于场合、方法的推理方法 | |
| 引用本文： | 夏洁,陈云录,刘群. 一种基于场合、方法的推理方法[J]. 哈尔滨理工大学学报, 2001, 6(2): 31-35 |
| 作者姓名： | 夏洁 陈云录 刘群 |
| 作者单位： | 1. 黑龙江省供销学校, 2. 北华大学, 3. 哈尔滨工程大学, |
| 摘 要： | 提出了用场合、方法描述知识的分类、推理方式和规则中求值方式，再将场合、方法嵌入规则中，在某种程度上能将符号推理与智能模拟行为的算法结合在一起；又得出了规则动态例化的方法，局部上能将推理的时间复杂度从指数级降到多项式级。 |
| 关 键 词： | 人工智能 自动推理 时间复杂度 场合 方法 规则动态例化法 符号推理 智能模拟 知识描述 |
| 文章编号： | 1007—2683(2001)02—0031—05 |
| 修稿时间： | 2000-12-25 |
A Reasoning Method Based on Means and Occasions |
|
| XIA Jie,CHEN Yun-lu,LIU Qun. A Reasoning Method Based on Means and Occasions[J]. Journal of Harbin University of Science and Technology, 2001, 6(2): 31-35 | |
| Authors: | XIA Jie CHEN Yun-lu LIU Qun |
| Abstract: | This artic1e has proposed a method to use means and occasions to describe the classification, reasoning patterns and rule-based evaluation of knowledge. By inserting means and occasions into rules, symbolic reasoning and intelligently simulated actions could be combined to some extent. This article has also suggested a method which could dynamically exemplify rules. As a result, the complexity of reasoning time could be reduced from exponential level to polynomial level in certain part. |
| Keywords: | artificial intelligence automatic reasoning complexity of time |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |