对基于约束条件的缺省逻辑扩充的注记

• 作者: 张敏 邓安生
• 来源期刊: 厦门大学学报（自然科学版）
• 学科: 工学
• 关键词: 新约束 约束反驳 C-缺省理论 C-扩充 C-认识进程
• 年，卷（期）: 2006,（3）
• 所属期刊栏目: 研究论文
• 页码范围: 338-341
• 页数: 4页
• 分类号: TP18
• 字数: 4429字
• 语种: 中文
• DOI: 10.3321/j.issn:0438-0479.2006.03.010

摘要

基于带约束条件的缺省理论,给出了缺省理论Δ=(D,W,C)的新约束、约束反驳、C-重构和C-认识进程的概念及其意义,主要讨论当约束条件C发生变化(如遇到新的约束或出现与原来约束相矛盾的约束)时扩充E的性质和变化规律,提出了获取新扩充的较简单的求解方法,并证明了相关的定理.在此基础上,本文建立了缺省理论的关于约束的一个动态描述过程,证明了当缺省理论遇到新约束时扩充呈单调变化,遇到约束反驳时呈现非单调性,进一步讨论了当不断添加新约束和约束反驳时,扩充的最终结果为某一特定问题的经验公式集.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张敏	厦门大学计算机科学系	32	118	6.0	10.0
2	邓安生	厦门大学计算机科学系	10	54	3.0	7.0