Jump to content

Proof using deduction backward reasoning ( same as backward chaining and goal driven search)


zak100

Recommended Posts

Hi,

I have to proof using backward reasoning. Wikipedia says its same as backward chaining and book says that it is same as goal driven search. I don't then why we call it "backward". Any way my question is:

I have gt(5,2) and I have to prove it. For this purpose I am given a tree and some assumptions:

 

1249377848_deductionbybwardreasoning.thumb.png.51cb9f07727e46c64f78cf489271882d.png

 

Somebody please guide me. Sorry I don't have any idea. Should I try by doing the replacements provided at the end of each level of the tree?

Linked concepts and Questions: By goal driven search it means that we have to start at the current state. How is it different from resolution proof?

 

Zulfi.

 

Link to comment
Share on other sites

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
×
×
  • Create New...

Important Information

We have placed cookies on your device to help make this website better. You can adjust your cookie settings, otherwise we'll assume you're okay to continue.