| 缺省理论的简化 |
| |
| 引用本文： | 吴茂康. 缺省理论的简化[J]. 计算机学报, 1991, 14(12): 942-945 |
| |
| 作者姓名： | 吴茂康 |
| |
| 作者单位： | 上海科学技术大学计算机系 上海 |
| |
| 摘 要： | 缺省理论△=(D,W)中的缺省规则集D,是该理论的不确定因素.如果能去掉一些缺省规则而又不影响该理论的延伸,则就在一定程度上简化了该理论.本文证明了关于规范缺省理论的延伸的若干性质,利用这些性质,我们可以把某些规范缺省理论在一定条件下得以化简,有的甚至可以把它们化为一阶逻辑理论.
|
| 关 键 词： | 缺省理论 缺省推理 人工智能 |
SIMPLIFICATION OF DEFAULT THEORY |
| |
| Wu Maokang. SIMPLIFICATION OF DEFAULT THEORY[J]. Chinese Journal of Computers, 1991, 14(12): 942-945 |
| |
| Authors: | Wu Maokang |
| |
| Abstract: | The set of default rules in a default theory is the uncertain factor of thetheory. If some default rules can be deleted without affecting the original extension, the theory is considered to be simplified- In this paper, some properties of extension in a default theory are proved. Through these properties, some default theories under certain conditions can become simpler ones, even become first order theories. |
| |
| Keywords: | Non-monotonicity default reasoning normal default theory default proof theory extension. |
| 本文献已被 CNKI 维普 等数据库收录！ |
|
