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

引入否定和析取式头部扩展常规演绎数据库或逻辑程序，这被认为是增强知识表示能力，。支持常识推理和非单调推理的有效的，重要的措施，但是该类问题的处理又是困难的，至今尚无满意的解决办法，其难点之一可表述为“如何从析取演绎数据库或逻辑程序中，推导出否定信息”首先，给出一种关于否定信息推理规则的评价准则。

Rules for Inferring Negative Information from Disjunctive Database and Deductive Database

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 negation and disjunctive clauses.However,such issues as how to derive negative information from disjunctive database or logic program,satisfactory settlement remains to be found.For evaluating the reasoning rule of negative information,the author gives firstly a criterion by which several existing correlated rules have been analysed and compared.And then,a different reasoning rule is given and some of its relevant properties are proved,these properties point out that the rule is better than the previous rules in satisfying the evalution criteria given above.