Fred, Barney and Ralph belong to the La Trobe Mountain Club. Every member of the Club is either a skier or a hiker. Anyone that doesn't like snow does not like skiing. No hikers like rain. Ralph dislikes whatever Fred likes, and likes whatever Fred dislikes. Fred likes rain and snow.  

(a)  Choose a suitable set of predicates, functions and constant symbols for representing the above knowledge in First Order Logic, and provide a glossary where you indicate their intended meaning.

(b)  Using only the predicates, functions and constant symbols you have described above, write sentences in first-order logic that represent this knowledge. 

(c)  Convert the sentences into clausal form and give the resulting set of clauses. 

(d)  Use resolution refutation to find the member of the Mountain Club who is a hiker but not a skier. Show the complete resolution derivation (in sequence or tree form), clearly indicating which clauses are resolved, and the unifier used.

Posted Date: 2/20/2013 8:01:02 AM | Location : United States

Ask an Expert

Related Discussions:- Predicates, functions and constant symbols, Assignment Help, Ask Question on Predicates, functions and constant symbols, Get Answer, Expert's Help, Predicates, functions and constant symbols Discussions

Write discussion on Predicates, functions and constant symbols
Your posts are moderated

Write your message here..

Related Questions

By which analog signal combine with a carrier frequency, Analog signals can... Analog signals can be              by combining them with a carrier frequency (A)  Carried                                      (B)  Transported (C)  Multiplexed

Artificial intelligence software, Artificial Intelligence Software A... Artificial Intelligence Software Artificial Intelligence (AI) software employs non numerical algorithms to resolve complex problems that are not amenable to computation or s

Mpi communications, We have to use 3 MPI communications: Plz the code in C+... We have to use 3 MPI communications: Plz the code in C++     1.  MPI_Scatter 2.  MPI_Alltoall 3.  MPI_Gather     **The length of the array will be determined by the user Fir

Determine the uses of defparam, Using defparam Parameter values can be ... Using defparam Parameter values can be changed in any module instance in the design with keyword defparam. Hierarchical name of the module instance can be used to override para

Why did some plug-ins disappear for 0.99.19, Some of the plug-ins have prov... Some of the plug-ins have proven unstable. These have been moved into a split download, which should be available anywhere you got the GIMP, in the file gimp-plugins-unstable-VERSI

Design principles, The usability and user experience goalsprovidet heintera... The usability and user experience goalsprovidet heinteraction designer with high-level goals for the interactivep roduct. Thenextissueis how to design a product that satisfies thes

What is requisitepro, Rational RequisitePro is a needed management tool tha... Rational RequisitePro is a needed management tool that helps project teams control the development process. RequisitePro organizes your requirements by linking Microsoft Word to a

Baic electrical, Ask question #Minimumstate and explain thevenins theorem a... Ask question #Minimumstate and explain thevenins theorem as applicable to electrical circuits 100 words accepted#

What is class invariant in c++, A class invariant is a condition that descr... A class invariant is a condition that describes all valid states for an object. It is a logical condition to make sure the correct working of a class. Class invariants must hold wh

Explain what is a macro and why is it important, Question 1: Spreadshee... Question 1: Spreadsheet packages are widely used in Business. a) Explain why spreadsheets are so useful. b) Spreadsheet files are sometimes saved for use by other software p