Suppose that you have the following knowledge base: Physicists and gelogists are scientists. Vx((Physicist(x) V Geologist...

Transcribed Image Text:

Suppose that you have the following knowledge base: Physicists and gelogists are scientists. Vx((Physicist(x) V Geologist (x)) → Scientist (x)) All geologists work for Exxon or Shell. Vx(Geologist (x) → (Works-for(x,Exxon) V Works-for(x, Shell))) No physicists work for Exxon or Shell. Vx(Physicist (x) → (¬Works-for(x, Exxon) A¬Works-for (x,Shell))) If a scientist works for Exxon or Shell, then Bill has talked to them. Vx((Scientist(x) ^ (Works-for(x, Exxon) V Works-for(x,Shell))) → Talked-to(Bill,x)) Jim is a physicist. Physicist (Jim) Sue is a geologist. Geologist (Sue) (a) Translate the above predicate logic statements into clause form. Show Activate Windows ..Go to Settings to activate Wi (b) Use resolution to answer the question "Who has Bill talked to?" Show your work. your work. Suppose that you have the following knowledge base: Physicists and gelogists are scientists. Vx((Physicist(x) V Geologist (x)) → Scientist (x)) All geologists work for Exxon or Shell. Vx(Geologist (x) → (Works-for(x,Exxon) V Works-for(x, Shell))) No physicists work for Exxon or Shell. Vx(Physicist (x) → (¬Works-for(x, Exxon) A¬Works-for (x,Shell))) If a scientist works for Exxon or Shell, then Bill has talked to them. Vx((Scientist(x) ^ (Works-for(x, Exxon) V Works-for(x,Shell))) → Talked-to(Bill,x)) Jim is a physicist. Physicist (Jim) Sue is a geologist. Geologist (Sue) (a) Translate the above predicate logic statements into clause form. Show Activate Windows ..Go to Settings to activate Wi (b) Use resolution to answer the question "Who has Bill talked to?" Show your work. your work.

Answer rating: 100% (QA)

Knowledge Base xPhysicistxGeologistxScientistxxPhysicistxGeologistxScientistx Clause Form Physicistx... View the full answer