Sign in to follow this  

predicate to clausal form

This topic is 3866 days old which is more than the 365 day threshold we allow for new replies. Please post a new topic.

If you intended to correct an error in the post then please contact us.

Recommended Posts

hi, i'm studying Logic programming at the present and I came across this question on converting predicate to clausal form: All X All Y (uncle(x,y)) <-> Exists Z (parent(z,y) & brother (x,z)) Can someone explain the steps?

Share this post


Link to post
Share on other sites
The steps? You can't prove this identity without a definition for one of the predicates in terms of the others (presumably, uncle is defined in terms of parent and brother). Judging by the names, I can't think of a better definition for uncle than exactly what you posted.

Are you sure this is a question and not a definition? If so, you won't be able to verify it without some other identity relating parenthood, brotherhood and unclehood.

Admiral

Share this post


Link to post
Share on other sites
Well the first step is to convert it to prenex normal form, which is negation normal form (where you remove all implications etc and push negations in), but you also have to move the quantifiers to the front. You then skolemize which removes the existential quantifiers, and then you can drop your universal quanitifers as they're all at the front.

So the first step for you would be to convert the iff (<->) from A <-> to A -> B & B -> A. You then convert the implications as you stated.

[edit]Actually this may not be what you want to do, this is the proceedure when you're trying to prove a formula, you start by negating it and then performing the above proceedure to get it into clausal form. This proceedure will preserve consistancy, but not validity, so it's not really giving you the exact same thing at the end, prehaps a bit more detail on what you're trying to acomplish would be useful[/edit]

Share this post


Link to post
Share on other sites

This topic is 3866 days old which is more than the 365 day threshold we allow for new replies. Please post a new topic.

If you intended to correct an error in the post then please contact us.

Create an account or sign in to comment

You need to be a member in order to leave a comment

Create an account

Sign up for a new account in our community. It's easy!

Register a new account

Sign in

Already have an account? Sign in here.

Sign In Now

Sign in to follow this