福建省重点科技计划项目(2001J001)
- 作品数：1 被引量：1H指数：1
- 相关作者：张敏邓安生更多>>
- 相关机构：厦门大学更多>>
- 发文基金：福建省重点科技计划项目福建省自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 对基于约束条件的缺省逻辑扩充的注记被引量：1
- 2006年
- 基于带约束条件的缺省理论,给出了缺省理论Δ=(D,W,C)的新约束、约束反驳、C-重构和C-认识进程的概念及其意义,主要讨论当约束条件C发生变化(如遇到新的约束或出现与原来约束相矛盾的约束)时扩充E的性质和变化规律,提出了获取新扩充的较简单的求解方法,并证明了相关的定理.在此基础上,本文建立了缺省理论的关于约束的一个动态描述过程,证明了当缺省理论遇到新约束时扩充呈单调变化,遇到约束反驳时呈现非单调性,进一步讨论了当不断添加新约束和约束反驳时,扩充的最终结果为某一特定问题的经验公式集.
- 张敏邓安生
