首页> 中文期刊> 《华侨大学学报:自然科学版》 >析取演绎数据库否定信息的推理规则

析取演绎数据库否定信息的推理规则

         

摘要

引入否定和析取式头部扩展常规演绎数据库或逻辑程序,这被认为是增强知识表示能力、支持常识推理和非单调推理的有效的、重要的措施.但是该类问题的处理又是困难的,至今尚无满意的解决办法.其难点之一可表述为“如何从析取演绎数据库或逻辑程序中,推导出否定信息”.首先,给出一种关于否定信息推理规则的评价准则,并用该准则分析比较已有的若干相关规则.然后,再给出一种不同的推理规则,并证明它的一些重要性质.这些性质指出。

著录项

相似文献

  • 中文文献
  • 外文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号