Overcoming Misleads In Logic Programs by Redefining Negation

TL;DR

This paper proposes a novel approach to negation in logic programs by involving user input to specify non-occurring constants, aiming to clarify reasoning and reduce misconceptions caused by traditional negation methods.

Contribution

It introduces a new negation method based on user-provided constants to address misunderstandings in logic programming.

Findings

Reduces misleads caused by traditional negation

Provides clearer explanations for negated conclusions

Enhances logic program reliability

Abstract

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.