季卫华
- 作品数:3 被引量:6H指数:1
- 供职机构:武汉大学计算机学院软件工程国家重点实验室更多>>
- 发文基金:国家自然科学基金更多>>
- 相关领域:自动化与计算机技术更多>>
- 逻辑程序的标识更新
- 2005年
- 逻辑程序的优势在于它的自动更新,文章明确提出了丰富更新和替换更新的两种方法,通过重新标识的方法实现Extended logicprogram的自动更新,并生成更新程序,最后提出更新以后程序的求解方法。
- 季卫华梁意文董红斌
- 关键词:EXTENDEDLOGICPROGRAM
- 逻辑程序的稳定模型与标识更新
- 随着逻辑程序研究的不断深入,逻辑程序的语义和更新已经成为研究的热门,各种语义模型和更新方法层出不穷,尤其是更新方法中优先级别的研究.该文通过对现有稳定模型语义介绍,结合实例化和非实例化的更新方法在稳定模型(也叫做稳定模型...
- 季卫华
- 文献传递
- 基于免疫的专家系统动态克隆更新算法被引量:6
- 2003年
- 文章基于人工免疫系统培育识别器的原理,在现有的专家系统的基础上,提出了专家系统推理机动态克隆更新的算法,初步解决了已有专家系统知识库动态更新复杂的问题。
- 刘海波季卫华吴泽俊
- 关键词:专家系统人工免疫系统人工智能识别器