[1]余金山.析取演绎数据库否定信息的推理规则[J].华侨大学学报(自然科学版),1999,20(3):303-307.[doi:10.11830/ISSN.1000-5013.1999.03.0303]
　Yu Jinshan.Rules for Inferring Negative Information from Disjunctive Database and Deductive Database[J].Journal of Huaqiao University(Natural Science),1999,20(3):303-307.[doi:10.11830/ISSN.1000-5013.1999.03.0303]
点击复制

析取演绎数据库否定信息的推理规则()
分享到：

《华侨大学学报（自然科学版）》[ISSN:1000-5013/CN:35-1079/N]

卷:
第20卷
期数:
1999年第3期
页码:
303-307
栏目:
出版日期:
1999-07-20

文章信息/Info

Title:
Rules for Inferring Negative Information from Disjunctive Database and Deductive Database
作者:
余金山
华侨大学计算机科学系
Author(s):
Yu Jinshan
关键词:
演绎数据库;  析取数据库;  否定;  推理;  逻辑程序
Keywords:
deductive database;  disjunctive database;  negation;  reasoning;  logic program
分类号:
TP311.13
DOI:
10.11830/ISSN.1000-5013.1999.03.0303
摘要:
引入否定和析取式头部扩展常规演绎数据库或逻辑程序,这被认为是增强知识表示能力、支持常识推理和非单调推理的有效的、重要的措施.但是该类问题的处理又是困难的,至今尚无满意的解决办法.其难点之一可表述为“如何从析取演绎数据库或逻辑程序中,推导出否定信息”.首先,给出一种关于否定信息推理规则的评价准则,并用该准则分析比较已有的若干相关规则.然后,再给出一种不同的推理规则,并证明它的一些重要性质.这些性质指出,该规则能更好地满足给出的评价准则
Abstract:
It is the effective and important measure for strengthening the capability of knowledge representation and for supporting common sense reasoning and non monotonous reasoning to extend conventional deductive database or logic programs by introducing negati

备注/Memo

备注/Memo:
福建省自然科学基金
更新日期/Last Update: 2014-03-22