Predicates, functions and constant symbols, Computer Engineering

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







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
Related Questions
The logic 0 level of a CMOS logic device is approximately ? Ans. The low level is 0 volts approx in CMOS logic device.

a) Briefly describe the relationship between distributed computing, mobile computing and pervasive computing. b) Suppose the following scenario, which demonstrate the possibili

How exceptions are handled in java? Exception handing In Java: A java exception is an object which describes an exceptional condition which has occurred in a piece of code.

What does the swapping system do if it identifies the illegal page for swapping? If the disk block descriptor does not have any record of the faulted page, then this causes the

Q. Explain about Interrupt Cycle? On completion of execute cycle the current instruction execution gets completed. At this point a test is made to conclude whether any enabled

Data, information and knowledge - Information System The nature of information can most easily be defined in the context of its relationship to data and knowledge. Bohn (1994)

What is the advantage of doubly linked list over singly linked list?       Ans: Benefits of the doubly linked list over singly linked list 1. A doubly linked list can be pas

Storing a word in Memory: That is similar process with fetching a word from memory. The required address is loaded into the MAR After that data to be written are lo


Q. Define Interrupts in assembly language? An interrupt causes interruption of an ongoing program. A number of the common interrupts are: printer, monitor, keyboard, an error c