Jump to content

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

zak100
in Computer Science

Featured Replies

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.

 

Archived

This topic is now archived and is closed to further replies.

Go to topic listing

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.

Configure browser push notifications
Chrome (Android)
  1. Tap the lock icon next to the address bar.
  2. Tap Permissions → Notifications.
  3. Adjust your preference.
Chrome (Desktop)
  1. Click the padlock icon in the address bar.
  2. Select Site settings.
  3. Find Notifications and adjust your preference.