用否定的重新定义克服逻辑程序中的误区
Overcoming Misleads In Logic Programs by Redefining Negation
Faculty of Computers and Information sciences, Mansoura University（曼苏拉大学计算机与信息科学学院）；Faculty of Sciences, Mansoura University（曼苏拉大学理学院）
摘要：
逻辑程序中的否定作为失败和不完全信息已被许多研究者所研究。为了解释否定结论是如何得出的，我们介绍并证明了一种克服逻辑程序中误导的否定事实的不同方法。否定事实可以通过向用户询问知识库中其他地方没有出现的常量来实现。
英文摘要：
Negation as failure and incomplete information in logic programs have been studied by many researchers In order to explains HOW a negated conclusion was reached, we introduce and proof a different way for negating facts to overcoming misleads in logic programs. Negating facts can be achieved by asking the user for constants that do not appear elsewhere in the knowledge base.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
