solution

34,025 views

Skip to first unread message

fathima shemim

unread,

Apr 21, 2014, 9:16:20 AM4/21/14

to asiet...@googlegroups.com, asietit2...@googlegroups.com

Consider the following KB:

• John likes all kinds of food.

• Apples are food.

• Chicken is food.

• Anything anyone eats and isn’t killed by is food.

• Bill eats peanuts and is still alive.

• Sue eats everything Bill eats.

i. Translate these sentences into formulas in FOPC.

ii. Convert the formulas into clause form.

iii. Use resolution to prove that John likes peanuts.

iv. Use resolution to answer the question, “What food does Sue eat?”

(a) Translate these sentences into formulas in FOPC.

1. ∀x F ood(x) → Likes(John, x)

2. F ood(Apples)

3. F ood(Chicken)

4. ∀x∃y Eats(y, x) ∧ ¬KilledBy(y, x) → F ood(x)

5. Eats(Bill, P eanuts) ∧ ¬KilledBy(Bill, P eanuts)

6. ∀x Eats(Bill, x) → Eats(Sue, x)

(c) Convert the formulas of part (a) into clause form.

1. ¬F ood(x) ∨ Likes(John, x)

2. F ood(Apples)

3. F ood(Chicken)

4. ¬Eats(y, x) ∨ KilledBy(y, x) ∨ F ood(x)

5. Eats(Bill, P eanuts)

6. ¬KilledBy(Bill, P eanuts)

7. ¬Eats(Bill, x) ∨ Eats(Sue, x)

(d) Use resolution to prove that John likes peanuts.

8. ¬Likes(John, P eanuts) negated conclusion

9. ¬F ood(P eanuts) 1 and 8

10. ¬Eats(y, P eanuts) ∨ KilledBy(y, P eanuts) 4 and 9

11. KilledBy(Bill, P eanuts) 5 and 10

12. ⊥ 6 and 11

(e) Use resolution to answer the question, “What food does Sue eat?”

13. ¬Eats(Sue, x) negated query

14. ¬Eats(Bill, x) 7 and 13

15. ⊥ 5 and 14, unifying P eanuts/x

Thanks and Regards

Fathima Shemim KS ,

Assistant Professor ,

Department of Computer Science and Engineering,

Adi Shankara Institute of engineering and Technology, Kalady

Ph : 9745304681

lucasraf...@gmail.com

unread,

Jul 25, 2016, 9:54:44 PM7/25/16

to asietit2010_2014, asiet...@googlegroups.com, fathima...@gmail.com

Thank you so much! You saved my day with ur answer.

vigneshw...@gmail.com

unread,

Nov 24, 2016, 10:41:26 PM11/24/16

to asietit2010_2014, asiet...@googlegroups.com, fathima...@gmail.com, groupm...@googlegroups.com

pravi...@gmail.com

unread,

Nov 7, 2019, 5:17:02 AM11/7/19

to asietit2010_2014

My Oral got Successfull with your answers

ad.jay...@gmail.com

unread,

Dec 8, 2019, 3:49:25 AM12/8/19

to asietit2010_2014

can anyone prove that John likes peanuts. by backword chaining..

On Monday, April 21, 2014 at 6:46:20 PM UTC+5:30, fathima shemim wrote:

Mohammed Fuzail

unread,

Aug 23, 2020, 7:40:17 AM8/23/20

to asietit2010_2014

Use backward chaining:

1. Need to prove likes(John,Peanuts) so substitute Peanuts for x in

a.1 giving food(Peanuts) implies likes(John,Peanuts)

2. Now we need to prove food(Peanuts) so substitute Peanuts for y in

a.4 giving {exists(z): [eats(z,Peanuts) and not killed-by(z,Peanuts)]} implies food(Peanuts)

3. Now we need a z that will make both eats(z,Peanuts) and not killed-by(z,Peanuts) true, so substitute Bill for z in the above, and we get [eats(Bill,Peanuts) and not killed-by(Bill,Peanuts)]} implies food(Peanuts)

4. Now we have the left hand side in our original assertions, so we have completed the proof.

Jitender Saini

unread,

Jun 3, 2021, 12:04:10 AM6/3/21

to asietit2010_2014

1. Use Prolog for the following:

a. John likes all kind of food.

b. Apple and vegetable are food

c. Anything anyone eats and not killed is food.

d. Anil eats peanuts and still alive

e. Harry eats everything that Anil eats.

Prove by resolution that:

John likes peanuts

sakshi singh

unread,

Jul 7, 2022, 8:06:18 AM7/7/22

to asietit2010_2014

If you are looking for help with addiction, then you should visit De Addiction Centre. This centre is dedicated to helping people get the help they need to overcome their addiction. They offer a variety of services, including drug rehab, alcohol rehab, and behavioral therapy. They also offer support groups that are designed to help people learn how to live without drugs or alcohol. If you are looking for a place that will help you get your life back on track, then De Addiction Centre should be your first choice.

https://bit.ly/3NIjsxa
https://bit.ly/3P81zZz
https://bit.ly/3ypNaBt
https://bit.ly/3IiB3e5
https://bit.ly/3aj7agW
https://bit.ly/3Ax5DhX
https://bit.ly/3anB4Rm
https://bit.ly/3yreGi5
https://bit.ly/3yKo9lR
https://bit.ly/3apDiQg
https://bit.ly/3AybpzX
https://bit.ly/3ABuJwe
https://bit.ly/3NPl7AU
https://bit.ly/3NNQyvI
https://bit.ly/3NJimBe

deepak Singh

unread,

Jan 12, 2023, 6:35:35 AM1/12/23

to asietit2010_2014

https://bit.ly/3XdAMiH
https://bit.ly/3W00y90
https://bit.ly/3CB9XNE
https://bit.ly/3X7gNlM
https://bit.ly/3XdXdEy
https://bit.ly/3XdQbQ7
https://bit.ly/3jURogF
https://bit.ly/3jZhorm
https://bit.ly/3Czh6hd
https://bit.ly/3GrhrDR
https://bit.ly/3WXTs6e
https://bit.ly/3WW355z
https://bit.ly/3GrBT7N
https://bit.ly/3Xc4pS5
https://bit.ly/3WW38yh
https://bit.ly/3Gjn9aU
https://bit.ly/3CBXdWT
https://bit.ly/3ZxrsIy
https://bit.ly/3k66fVy
https://bit.ly/3irK7EY
https://bit.ly/3GPM1bF
https://bit.ly/3VXgYzd
https://bit.ly/3VWGynT
https://bit.ly/3k0GMgt
https://bit.ly/3CxQRYL
https://bit.ly/3VQUsYt
https://bit.ly/3GRjrH8
https://bit.ly/3GQuzUw
https://bit.ly/3ZoUOZB
https://bit.ly/3ioUsRX
https://bit.ly/3k1pAHI
https://bit.ly/3vM9t3t
https://bit.ly/3vNE6p3
https://bit.ly/3GQnDa3
https://bit.ly/3vLu8EL
https://bit.ly/3vMzVK7
https://bit.ly/3WXOIO1
https://bit.ly/3WW3PYp
https://bit.ly/3jZhMWQ
https://bit.ly/3vLVbzG
https://bit.ly/3ilOe5e

satya chahar

unread,

Jan 13, 2023, 12:41:50 AM1/13/23

to asietit2010_2014

deepak Singh

unread,

Feb 2, 2023, 8:06:51 AM2/2/23

to asietit2010_2014

Reply all

Reply to author

Forward

0 new messages