Overcoming Misleads In Logic Programs by Redefining Negation
Artificial Intelligence
2013-03-06 v2
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.
Cite
@article{arxiv.1105.6148,
title = {Overcoming Misleads In Logic Programs by Redefining Negation},
author = {M. A. El-Dosuky and T. T. Hamza and M. Z. Rashad and A. H. Naguib},
journal= {arXiv preprint arXiv:1105.6148},
year = {2013}
}
Comments
8 pages, 1 figure