| 在一类缺省理论中关于证明理论的完备性问题 |
| |
| 引用本文： | 吴茂康 缪淮扣. 在一类缺省理论中关于证明理论的完备性问题[J]. 计算机学报, 1993, 16(11): 837-843 |
| |
| 作者姓名： | 吴茂康 缪淮扣 |
| |
| 作者单位： | 上海科学技术大学计算机系，上海科学技术大学计算机系 上海 201800，上海 201800 |
| |
| 摘 要： | 缺省推理是各种非单调推理系统中最在影响的系统之一。Ｒ。Ｒｅｉｔｅｒ对规范缺省理论作了一系列的研究。他还提出了证明理论，并证明了这一证明理论对于规范缺省理论来说是完备的。Ｗ。Ｅｔｈｅｒｉｎｇｔｏｎ则提出了应用范围更为广泛的有序半规范缺省理论。本文先证明了这类缺省理论具有半单调性等各种性质，然后证明了Ｒ。Ｒｅｉｔｅｒ的证明理论对于有序半规范缺省理论也是完备的。
|
| 关 键 词： | 缺省理论 证明理论 完备性 |
COMPLETENESS OF PROOF THEORY FOR A TYPE OF DEFAULT THEORY |
| |
| Wu Maokang and Miao HuaikouDept. of Computer,Shanghai University of Science and Technology,Shanghai. COMPLETENESS OF PROOF THEORY FOR A TYPE OF DEFAULT THEORY[J]. Chinese Journal of Computers, 1993, 16(11): 837-843 |
| |
| Authors: | Wu Maokang Miao HuaikouDept. of Computer Shanghai University of Science Technology Shanghai |
| |
| Affiliation: | Wu Maokang and Miao HuaikouDept. of Computer,Shanghai University of Science and Technology,Shanghai 201800 |
| |
| Abstract: | Default reasoning is one of the most significant reasoning sys-tem.R.Reiter proposed a proof theory and proved its completeness for normal default theory.W.Etherington developed another type of default theory,which is much more useful than the former.This paper proves that Reiter's proof theory is still complete for ordered seminormal default theory. |
| |
| Keywords: | Nonmonotonic reasoning default theory extension proof theory. |
| 本文献已被 CNKI 维普 等数据库收录！ |
