Overcoming Misleads In Logic Programs by Redefining Negation

Details Overcoming Misleads In Logic Programs by Redefining Negation Overcoming Misleads In Logic Programs by Redefining Negation

2011-05-31

arxiv.org/abs/1105.6148v1

Computer Science

Artificial Intelligence

8 pages, 1 figure

Scientific paper

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.

Affiliated with

Also associated with

No associations

Rating

Overcoming Misleads In Logic Programs by Redefining Negation does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Overcoming Misleads In Logic Programs by Redefining Negation, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Overcoming Misleads In Logic Programs by Redefining Negation will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-337415