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

Move the layout table, You can select and move a layout table to other area... You can select and move a layout table to other areas in a particular document. You can't, though, move a layout table so that it overlaps another. Next you will move the table

Write-allocate and no-write-allocate policy in a cache, (a) How does a da... (a) How does a data cache take advantage of spatial locality? Give an suitable example. (b) What are the basic differences between a write-allocate and no-write-allocate po

What are the advantages of having e-commerce over extranets, What are the a... What are the advantages of having e-commerce over extranets?     Extranets are about " joining up" the supply chain-suppliers, resellers, distributors, customers, etc.-enabling

Translation look aside buffer - computer architecture, Translation Look asi... Translation Look aside Buffer :    A TLB is a cache that holds only page table mapping If there is no matching entry in the TLB for a page ,the page table have to

How many bits are required for a ladder d/a converter, How many bits are re... How many bits are required at the input of a ladder D/A converter, if it is required to give a resolution of 5mV and if the full scale output is +5V. Find the %age resolution.

How blocking and non blocking statements get executed, How blocking and non... How blocking and non blocking statements get executed? Execution of blocking assignments can be viewed just like a one-step process: 1. Evaluate RHS (right-hand side equatio

Backpropagation, Backpropagation: However Backpropagation can be seen ... Backpropagation: However Backpropagation can be seen as utilising searching a space of network configurations as weights in order to find a configuration with the least error,

Describe critical directive in fortan, Q. Describe Critical Directive in FO... Q. Describe Critical Directive in FORTAN? The critical directive permits one thread executes associated structured block. When one or more threads attain critical directive the

Write an assembly function which hides the cursor, Q. Write an assembly fun... Q. Write an assembly function which hides the cursor? Write an assembly function which hides the cursor. Call it from a C program.             . PUBLIC CUROFF

Using information in information system, Using Information in Information S... Using Information in Information System Information Systems can be thought of as being useful at three levels:  The detail level where information is used to carry out disc