| 子句型自相容缺省理论的扩张 |
| |
| 引用本文： | 董明楷,张明义.子句型自相容缺省理论的扩张[J].计算机研究与发展,2000,37(2):182-187. |
| |
| 作者姓名： | 董明楷 张明义 |
| |
| 作者单位： | 1. 西南师范大学电子与信息工程系,重庆,400715
2. 贵州科学院,贵阳,550001 |
| |
| 基金项目： | 国家“八六三”计划基金项目!（项目编号863－306－05－05－5A），国家自然科学基金项目!（项目编号19861002） |
| |
| 摘 要： | 自相容缺省理论是一种颇具优良性质的特殊缺省理论，从子句着手是一般逻辑揄常用的方法，文中Ｒｅｉｔｅｒ缺省理论和张明义的自相容缺省的理论的研究基础上，进一步研究了子句型闭自相容缺省理论，文中首先给出了自相容缺省理论的扩张个数的单调性定理，然后将Ｒｅｔｅｒ关于正规缺省理论的证明论推广到自相容缺省理论，得出了自相容缺省理论的缺省证明、自顶向下缺省证明和信念个性的相关定理。
|
| 关 键 词： | 缺省逻辑 子句型缺省理论 自相容 NP问题 |
THE EXTENSION OF CLAUSAL AUTO-COMPATIBLE DEFAULT THEORY |
| |
| DONG Ming-Kai,ZHANG Ming-Yi.THE EXTENSION OF CLAUSAL AUTO-COMPATIBLE DEFAULT THEORY[J].Journal of Computer Research and Development,2000,37(2):182-187. |
| |
| Authors: | DONG Ming-Kai ZHANG Ming-Yi |
| |
| Affiliation: | DONG Ming-Kai;
(Department of Electronics and Information Engineering, Southwest Normal University,
Chongqing 400715);
ZHANG Ming-Yi;
(Guizhou Academy of Sciences, Guiyang 550001) |
| |
| Abstract: | Auto\|compatible default theory is a special kind of default theory with many fine features. It is usually a good way to study logic by using clause. On the basis of Reiter's default theory and Zhang Mingyi's auto\|compatible default theory, a research into the characters of clausal auto\|compatible default theory was carried out in this paper. First, the theorem of monotonicity with the number of extension is performed. Second, the proof theory of normal default theory is extended to auto\|compatible default theory. Finally several theorems related to default proof, top\|to\|down default proof and belief modification are gained. |
| |
| Keywords: | default logic clausal default theory extension auto\|compatible |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
